Synchronous design of avionic applications based on model refinements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Embedded Computing Year : 2006

Synchronous design of avionic applications based on model refinements

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00541523 , version 1

Cite

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⟩
342 View
298 Download

Share

Gmail Facebook X LinkedIn More