Robustness analysis of avionics embedded systems

ACM SIGPLAN Notices

Volumn 38, Issue 7, 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

ACCIDENT PREVENTION; AIRCRAFT; AVIONICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; DIGITAL CONTROL SYSTEMS; JAVA PROGRAMMING LANGUAGE;

ABSTRACT INTERPRETATION; ACCURACY ANALYSIS; AVIONICS EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEM; SAFETY ANALYSIS; SOFTWARE PACKAGE LUSTRE; VERIFICATION;

EMBEDDED SYSTEMS;

EID: 1442264246     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780731.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 constraintes. 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.
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. Prentice-Hall, 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.