Department of Mathematics, Computer Science, Control of the ISAE

Embedded System Engineering

last modified 2 October 2009

All the versions of this article: [français] [English]


Industrial, governmental and academic partnerships

  • ONERA,
  • Dassault Aviation,
  • Airbus,
  • CNES,
  • Thales-Alenia-Space,
  • TurboMeca,
  • LAAS-CNRS (Toulouse),
  • ENSEEIHT/IRIT (Toulouse),
  • Télecom Paritech (Sophia Antipolis),
  • Université Concordia (Montréal).

Researchers: J. Cardoso, F. Francès, A. Mifdaoui, P. de Saqui-Sannes, P. Siron

PhD students: R. Adeline, T. Ferrandiz, B. Fontan, A. Mifdaoui, T. Sadani

Contact:, phone: 33 (0)5 61 33 80 92

This team combines the research on the engineering of embedded systems and embedded networks of the DMIA department’s MARS research team. The goal is to develop methods and techniques making it possible to guarantee the appropriate properties of complex embedded systems (e.g. embedded systems networks), particularly to comply with real-time and safety constraints. These properties are verified in the early stages of the life cycle, using formal specification means, modeling, performance evaluations and a priori verifications. The ultimate goal is to integrate all of these techniques into a research platform on embedded systems engineering (named PRISE) which will also serve as a teaching tool.

Earlier work on tightening links between UML notation and a timed-process algebra called RT-LOTOS has continued. Formal verification performances have been improved, relying on RT-LOTOS to time Petri net translation. Requirement expression inside UML models and support of observer-guided verification make possible temporal requirement traceability. Furthermore, new avenues have been opened for automatic generation of timed test sequences.

Another theme is the multi-physical modeling of a system which takes faults into account. This work is carried out within the framework of a Cifre industrial grant in collaboration with Turbomeca/Onera and concerns the modular modeling of a turbo-engine propulsion system as a whole (mechanical part, fluid part, etc.). Safety studies of the system are necessary for the certification of the turbo-engine and they take into account the notion of «family» to easily deal with design changes.

In the field of embedded networks, two architectures for military avionics networks were proposed depending on whether the communications scheme is centralized or not. The deterministic guarantees of these architectures were analytically evaluated using the network calculus framework. Work was carried on on innovative architectures of flight computers, taking into account an optimal parallelism of SCADE code.

A thesis on end-to-end delay control in SpaceWire networks was begun, resulting in an initial proposal for a real-time mechanism to guarantee the timing of multiplexed scientific and control traffic.

Mentions légales | Plan d’accès | Site Map | Follow-up of the site's activity RSS 2.0 |