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

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Retour

Acte de colloque

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

Abdoulaye Gamatié, Thierry Gautier et Paul Le Guernic

10th International Conference on Real-time and Embedded Computing Systems and Applications

10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004)

08/2004

Résumé

Computer Science

Embedded 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.

Indicateurs

1 Consultations de la notice

Détails

Titre: An Example of Synchronous Design of Embedded Real-Time Systems based on IMA
Créateurs - sans rôle: Abdoulaye Gamatié - Contributions of the Data parallelism to real time
Thierry Gautier - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
Paul Le Guernic - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
Détails de publication: 10th International Conference on Real-time and Embedded Computing Systems and Applications
Colloque: 10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004)
Identifiants: 99156886409311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Conference proceeding