Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques

Abstract : Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of real-time constraints in the specification of these systems requires the design of ad-hoc solutions. This work considers a class of real-time systems including those developed using OASIS, a tool-chain targeting hard real-time embedded systems developed at CEA LIST. We study the notion of end-to-end delay, which we propose to model as a constraint bearing directly on the influence of the input information flow over the output information flow . In order to cope with the growing complexity of real-time embedded systems, we study the possibility to apply this new notion of delay to the incremental development of such systems, by using both stepwise refinement and composition operators. We define the necessary and sufficient conditions to the preservation of the end-to-end delay by stepwise refinement. Similarly, we give sufficient conditions to compute the end-to-end delay in a compositional fashion. Together, these results permit to establish a formalism allowing to prove end-to-end delay properties in stepwise development methodologies.
Document type :
Theses
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. French. <NNT : 2012PA112018>


https://tel.archives-ouvertes.fr/tel-00676901
Contributor : Abes Star <>
Submitted on : Tuesday, March 6, 2012 - 4:22:16 PM
Last modification on : Wednesday, March 7, 2012 - 9:55:30 AM

File

VD2_GARNIER_ILIAS_10022012.pdf
fileSource_public_star

Identifiers

  • HAL Id : tel-00676901, version 1

Collections

STAR | CEA

Citation

Ilias Garnier. Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. Other [cs.OH]. Université Paris Sud - Paris XI, 2012. French. <NNT : 2012PA112018>. <tel-00676901>

Export

Share

Metrics

Consultation de
la notice

330

Téléchargement du document

198