Applying formal proof techniques to avionics software: A pragmatic approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1798-1815

  Randimbivololona, Famantanantsoa ^a   Souyris, Jean ^a   Baudin, Patrick ^b   Pacalet, Anne ^b   Raguideau, Jacques ^b   Schoen, Dominique ^b  

^a AIRBUS GROUP INNOVATIONS   (Germany)

^b CEA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; SAFETY ENGINEERING;

DO-178B; FORMAL PROOFS; INDUSTRIAL EXPERIMENTS; SAFETY CRITICAL APPLICATIONS;

FORMAL VERIFICATION;

EID: 84873388002     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_45     Document Type: Conference Paper

References (10)

1. C.A.R Hoare: An axiomatic basis for computer programming, Comm. ACM 12 (10), 576-580, 583 (Oct. 1969).
2. Dijkstra BW 1976, A discipline of programming, in Series Automatic Computation, Prentice Hall.
3. Pavey D et al. 1997, LAW: Legacy Assessment Workbench, in the UK Reliability and Metrics Club's news letter.
4. A joint RTCA-EUROCAE achievement: DO-178B/ED-12B, Software considerations in airborne systems and equipment certification (Dec. 1992).
5. HOOD Technical Group, Jean-Pierre Rosen: HOOD - An industrial approach for software design (1997).
6. A. Smith - MALPAS Userguide. Technical Report, Rex, Thomson & partners Limited, 1991.
7. R. Cohen - Proving Gypsy Programs, in CLI Technical Reports, 1989.
8. Sj. Garland & Jv. Guttag - A guide to LP, the Larch Prover, MIT Laboratory for Computer Science, 1991.
9. JM. Spivey - The Z Notation, A Reference manual. University of Oxford, 1988.
10. CB. Jones - Systematic Software Development Using VDM. Prentice Hall Int., 1986.