Digital Library
Close Browse articles from a journal
 
<< previous   
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 7 of 7 found articles
 
 
  Synchronous design of avionic applications based on model refinement
 
 
Title: Synchronous design of avionic applications based on model refinement
Author: GamatiƩ, Abdoulaye
Gautier, Thierry
Guernic, Paul Le
Appeared in: Journal of embedded computing
Paging: Volume 2 (2008) nr. 3-4 pages 273-289
Year: 2008-11-18
Contents: 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.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 7 of 7 found articles
 
<< previous   
 
 Koninklijke Bibliotheek - National Library of the Netherlands