Synchronous design of avionic applications based on model refinement

Authors:
Abdoulaye Gamatié/;Thierry Gautier;Paul Le Guernic
Affiliations:
(Correspd. INRIA Lille Nord Europe, France. Tel.: +33 3 59 57 78 16/ Fax: +33 3 28 77 85 38/ E-mail: Abdoulaye.Gamatie@lifl.fr) Inria Futurs, Synergie Park, 6bis avenue Pierre et Marie Curie, 5926 ...;Irisa, Campus de Beaulieu, 35042 Rennes, France;Irisa, Campus de Beaulieu, 35042 Rennes, France
Venue:
Journal of Embedded Computing - Best Papers of RTS' 2005
Year:
2006

Citing 16
Cited 0

Synchronous programming with events and relations: the SIGNAL language and its semantics

Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis

Real-Time Systems - Special issue on worst-case execution-time analysis
High level failure analysis for Integrated Modular Avionics

SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Modern Avionics Requirements for the Distributed Systems Annex

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Embedded Systems: Challenges in Specification and Verification

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Resource Scheduling in Dependable Integrated Modular Avionics

DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
A Model of Cooperative Noninterference for Integrated Modular Avionics

DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations

MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Synchronous Modeling of Avionics Applications using the SIGNAL Language

RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Analysing APEX applications

RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
MetaH Support for Real-Time Multi-Processor Avionics

WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance

Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
A new approach for distributed computing in avionics systems

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies

Quantified Score

Hi-index	0.00

Visualization

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.