Scheduling Multi Clock Real Time Systems: From Requirements to Implementation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation

Résumé

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.
Fichier principal
Vignette du fichier
isorc2011.pdf (264.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00586851 , version 1 (18-04-2011)

Identifiants

Citer

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. pp.50; 57, ⟨10.1109/ISORC.2011.16⟩. ⟨inria-00586851⟩
816 Consultations
362 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More