Scheduling Multi Clock Real Time Systems: From Requirements to Implementation

Marie-Agnès Peraldi-Frati 1 Julien Deantoni 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 : This paper presents an approach for modeling simulating and analyzing multi clocks real time systems during the different steps of a design. These steps range from the first requirements to a model allocated on a specific execution platform. The \uml \marte profile and the \ccsl language are used together to specify the causal and temporal characteristics of the software as well as the hardware parts of the system. The \tsq environment allows a simulation of such specification and the detection of potential errors and deadlocks. When the specification refinement is finished, to prove the specification correctness, the \ccsl specification is used to generate a synchronous model and some observers in Esterel. We illustrate the approach through a spark ignition control system.
Type de document :
Communication dans un congrès
International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. IEEE computer society, pp.50; 57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. <10.1109/ISORC.2011.16>
Liste complète des métadonnées

https://hal.inria.fr/inria-00586851
Contributeur : Team Aoste <>
Soumis le : lundi 18 avril 2011 - 16:11:55
Dernière modification le : lundi 5 octobre 2015 - 16:57:25
Document(s) archivé(s) le : samedi 3 décembre 2016 - 19:23:50

Fichier

isorc2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Marie-Agnès Peraldi-Frati, Julien Deantoni. Scheduling Multi Clock Real Time Systems: From Requirements to Implementation. International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. IEEE computer society, pp.50; 57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. <10.1109/ISORC.2011.16>. <inria-00586851>

Partager

Métriques

Consultations de
la notice

556

Téléchargements du document

239