From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations

Dumitru Potop-Butucaru 1 Robert De Simone 1 Yves Sorel 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Hard real-time embedded systems are often designed as automatic control systems that can include both continuous and discrete parts. The functional specification of such systems is usually done in a conditioned data-flow formalism such as Simulink or Scade. These formalisms are either quasi-synchronous or synchronous, and they go beyond the classical data-flow model by introducing a form of conditional execution allowing the description of hierarchical execution modes. Specific real-time implementation approaches have been proposed for such formalisms, which exploit the hierarchical conditions to improve the generated code. We present one such approach which takes as input data-flow synchronous specifications and uses static scheduling heuristics to automatically produce efficient distributed real-time implementations. We explain how improving the analysis of the hierarchical conditions results in better implementations.
Type de document :
Chapitre d'ouvrage
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.34, 2010, 978-1-4419-6399-4
Liste complète des métadonnées

https://hal.inria.fr/inria-00495666
Contributeur : Frédéric Mallet <>
Soumis le : lundi 28 juin 2010 - 14:48:09
Dernière modification le : lundi 5 octobre 2015 - 16:58:12

Identifiants

  • HAL Id : inria-00495666, version 1

Collections

Citation

Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel. From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations. Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.34, 2010, 978-1-4419-6399-4. <inria-00495666>

Partager

Métriques

Consultations de la notice

234