An Example of Synchronous Design of Embedded Real-Time Systems based on IMA

Abdoulaye Gamatié (1, 2) , Thierry Gautier (3) , Paul Le Guernic (3)

1 DART - Contributions of the Data parallelism to real time
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille
3 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

We present a study on the design of embedded real-time systems in general, and avionic systems in particular. The synchronous language Signal is used to describe a real world avionic application based on the recent Integrated Modular Avionics concept (IMA). The exposed case study shows how the synchronous technology helps for a reliable and modular design of real-time systems. One major advantage of this technology is the availability of formal tools and techniques for verification and validation, which are important for safety-critical systems such as avionics systems.

Domaines: Systèmes embarqués

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. An Example of Synchronous Design of Embedded Real-Time Systems based on IMA. 10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004. ⟨hal-00541790⟩