Article Dans Une Revue Journal of Embedded Computing Année : 2006

Synchronous design of avionic applications based on model refinements

Résumé

In this article, we address the design of avionic applications based on an approach, which relies on model refinement. This study is done within the synchronous framework, which has solid mathematical foundations enabling formal methods for specification, verification and analysis, transformations, etc. In the proposed approach, we first consider a functional description of a given application using the SIGNAL language. This description is independent of a specific implementation platform. Then, some transformations that fully preserve the semantics of manipulated SIGNAL programs are applied to the description such that a representation reflecting an integrated modular avionics architecture results.

Fichier principal
Vignette du fichier
jec05.pdf (382.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00541523 , version 1 (30-11-2010)

Licence

Identifiants

  • HAL Id : hal-00541523 , version 1

Citer

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Synchronous design of avionic applications based on model refinements. Journal of Embedded Computing, 2006, 2 (3-4), pp.273-289. ⟨hal-00541523⟩
539 Consultations
510 Téléchargements

Partager

  • More