Robustness analysis of avionics embedded systems

Authors:
Y. Ait-Ameur;G. Bel;F. Boniol;S. Pairault;V. Wiels
Affiliations:
LISI-ENSMA-UP, Futuroscope Cedex, France;ONERA-DTIM, Toulouse Cedex, France;ONERA-DTIM, Toulouse Cedex, France;ONERA-DTIM, Toulouse Cedex, France;ONERA-DTIM, Toulouse Cedex, France
Venue:
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Year:
2003

Citing 8
Cited 1

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
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract Interpretation of Declarative Languages

Abstract Interpretation of Declarative Languages
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Synchronous Observers and the Verification of Reactive Systems

AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
A contribution to program comprehension by program analysis: application to numerical programs

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Deviation Analysis Through Model Checking

Proceedings of the 17th IEEE international conference on Automated software engineering

A systematic review of software robustness

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Avionics embedded systems are confronted to sensors errors or inaccuracies. It is essential to be able to estimate the impact and the propagation of these errors on the system computed outputs. This paper comes from achieved work in the context of an industrial project in the avionics area. It presents a formal approach allowing to analyse the reaction of a LUSTRE program to inaccurate input values. It uses program analysis techniques like abstract interpretation and interval analysis. The approach has been implemented in Java and applied to parts of a flight control system of the AIRBUS aircrafts.