Polychronous design of embedded real-time applications

Abdoulaye Gamatié 1 Thierry Gautier 2 Paul Le Guernic 2 Jean-Pierre Talpin 2
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Embedded real-time systems consist of hardware and software that controls the behavior of a device or plant. They are ubiquitous in today's technological landscape and found in domains such as telecommunications, nuclear power, avionics, and medical technology. These systems are difficult to design and build because they must satisfy both functional and timing requirements to work correctly in their intended environment. Furthermore, embedded systems are often critical systems, where failure can lead to loss of life, loss of mission, or serious financial consequences. Because of the difficulty in creating these systems and the consequences of failure, they require rigorous and reliable design approaches. The synchronous approach is one possible answer to this demand. Its mathematical basis provides formal concepts that favor the trusted design of embedded real-time systems. The multiclock or polychronous model stands out from other synchronous specification models by its capability to enable the design of systems where each component holds its own activation clock as well as single-clocked systems in a uniform way. A great advantage is its convenience for component-based design approaches that enable modular development of increasingly complex modern systems. The expressiveness of its underlying semantics allows dealing with several issues of real-time design. This article exposes insights gained during recent years from the design of real-time applications within the polychronous framework. In particular, it shows promising results about the design of applications from the avionics domain.
Type de document :
Article dans une revue
ACM Transaction Software Engineering and Methodology, ACM, 2007, 16 (2), 〈10.1145/1217295.1217298〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00522799
Contributeur : Mister Dart <>
Soumis le : vendredi 1 octobre 2010 - 18:17:25
Dernière modification le : mercredi 11 avril 2018 - 01:55:09

Lien texte intégral

Identifiants

Citation

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous design of embedded real-time applications. ACM Transaction Software Engineering and Methodology, ACM, 2007, 16 (2), 〈10.1145/1217295.1217298〉. 〈inria-00522799〉

Partager

Métriques

Consultations de la notice

274