Robustness analysis of avionics embedded systems

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2003, Pages 123-132

  Ait Ameur, Y ^a   Bel, G ^b   Boniol, F ^b   Pairault, S ^b   Wiels, V ^b  

^a ENSMA   (France)

^b ONERA   (France)

Author keywords

Abstract interpretation; Accuracy analysis; Avionics embedded systems; Lustre specifications; Safety analysis

Indexed keywords

AIRCRAFT; ALGORITHMS; AVIONICS; COMPUTER SIMULATION; DATA FLOW ANALYSIS; ERROR ANALYSIS; FLIGHT DYNAMICS; JAVA PROGRAMMING LANGUAGE; SENSORS;

ABSTRACT INTERPRETATION; ACCURACY ANALYSIS; AVIONICS EMBEDDED SYSTEMS; ERROR PROPAGATION ANALYSIS; LUSTRE SPECIFICATIONS; PROGRAM ANALYSIS; SAFETY ANALYSIS; SOFTWARE PACKAGE LUSTRE;

EMBEDDED SYSTEMS;

EID: 0242612091     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/780749.780750     Document Type: Conference Paper

References (15)

1. S. Abramsky and C. Hankin. Abstract Interpretation of Declarative Languages. Ellis Horwood Limited, 1987.
2. Y. Ait-Ameur. A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. In Proceedings of 12th IEEE International Automated Software Engineering Conference, pages 134-150. IEEE Computer Society Press, 11 1997.
3. G. Bel. Etude de la propagation d'erreurs de capteurs dans une spécification de commande de vol SCADE: une approche par contraintes. Technical report, ONERA-CERT-DCSD, 09 2001.
4. G. Burn, C. Hankin, and S. Abramsky. Strictness Analysis of Higher Order Functions. Science of Computer Programming, 7:249-278, 1986.
5. P. Cousot and R. Cousot. Abstract Interpretation: A unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. 4th POPL, pages 238-252, 1977.
6. E. Goubault, Static Analysis of Floating-Point Operations. In Static Analysis Symposium, SAS'01. Springer Verlag, 2001.
7. E. Goubault, M. Martel, and S. Putot. Asserting the precision of floating-point computations: a simple abstract interpreter. In ETAPS'02. Springer Verlag, 2002. 2002.
8. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
9. N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real time systems by means of the synchronous data-flow language Lustre. EEE Transactions on Software Engineering, special issue on the specification and analysis of real time systems, September 1992.
10. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observer and the verification of reactive systems. In Third International Conference on Algebraic Methodology and Software Technology, AMAST'93, 1993.
11. M.P. Heimdahl, Y. Choi, and M. Whalen. Deviation analysis through model checking. In Proceedings of IEEE International Automated Software Engineering Conference, ASE 2002. IEEE Computer Society Press, 2002.
12. M. Martel. Propagation of Roundoff Errors in Finite Computation Precision Computations: a Sematic Approach. In European Symposium on Programming, ESOP'01. Springer Verlag, 2001.
13. C. Mellish, Abstract Interpretation of PROLOG Programs. In S. Abramsky and C. H. E. Horwood, editors, Abstract Interpretation of Declarative Languages, pages 181-198, 1987.
14. R. Moore, Interval Analysis. Englewood Cliffs. 1966.
15. S. Pairault. Méthode d'analyse automatique de la robustesse d'un programme LUSTRE-SCADE. Rapport de stage, Ecole Polytechnique. Palaiseau France, 2002.