Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language

This document presents a study on the modeling of architecture components for avionics applications. We consider the avionics standard ARINC 653 specifications as basis, as well as the synchronous language SIGNAL to describe the modeling. A library of APEX object models (partition, process, communication and synchronization services, etc.) has been implemented. This should allow to describe distributed real-time applications using POLYCHRONY, so as to access formal tools and techniques for architecture evaluation.

[1]  Joseph Sifakis,et al.  Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, Real-Time Systems.

[2]  Albert Benveniste,et al.  Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..

[3]  A. A. Kountouris,et al.  Profiling of SIGNAL programs and its application in the timing evaluation of design implementations , 1996 .

[4]  Paul C. Clements,et al.  A survey of architecture description languages , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[5]  Philippe Baufreton,et al.  The SACRES Approach to Embedded Systems Applied to Aircraft Engine Controllers , 1997 .

[6]  Paul Le Guernic,et al.  For a New Real-Time Methodology , 1994 .

[7]  Thomas A. Henzinger,et al.  Embedded Control Systems Development with Giotto , 2001, OM '01.

[8]  Joseph Sifakis,et al.  Modeling Real-Time Systems-Challenges and Work Directions , 2001, EMSOFT.

[9]  Paul Le Guernic,et al.  Code generation in the SACRES project , 1999 .

[10]  Edward A. Lee,et al.  What's Ahead for Embedded Software? , 2000, Computer.

[11]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[12]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[13]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[14]  Michel Poize,et al.  TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems , 2001, CAV.

[15]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[16]  Paul Le Guernic,et al.  Synthesis of Discrete-Event Controllers Based on the Signal Environment , 2000, Discret. Event Dyn. Syst..

[17]  Thomas A. Henzinger,et al.  Temporal proof methodologies for real-time systems , 1991, POPL '91.

[18]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[19]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[20]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[21]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[22]  S. Vestal,et al.  MetaH support for real-time multi-processor avionics , 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

[23]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[24]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .

[25]  Vered Gafni,et al.  6.5.4 SafeAir ‐ An Integrated Development Environment and Methodology , 2001 .