Applying formal proof techniques to avionics software: A pragmatic approach

被引：0
|
作者：
Randimbivololona, F
Souyris, J
Baudin, P
Pacalet, A
Raguideau, J
Schoen, D
机构：
[1] Aerosp Matra Airbus, F-31060 Toulouse, France
[2] CEA Saclay, LETI, DEIN, F-91191 Gif Sur Yvette, France
来源：
FM'99-FORMAL METHODS, VOL II | 1999年 / 1709卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper reports an industrial experiment of formal proof techniques applied to avionics software. This application became possible by using Caveat, a tool dedicated to assistance in comprehension and formal verification of safety critical applications written in C. With this approach it is possible to reduce significantly the actual verification effort (based on test) in achieving the verification objectives defined by the DO 178B [4].
引用
收藏
页码：1798 / 1815
页数：18
相关论文
共 50 条
  • [1] Applying formal description techniques to software architectural design
    Li, JJ
    Horgan, JR
    COMPUTER COMMUNICATIONS, 2000, 23 (12) : 1169 - 1178
  • [2] Formal Verification of Avionics Software Products
    Souyris, Jean
    Wiels, Virginie
    Delmas, David
    Delseny, Herve
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 532 - +
  • [3] Proof of Concept on Application of Formal Methods at different phases of development cycle of Avionics Software A Landscaping
    Honeywell Tech Solns, India
    INCOSE Int. Sym., (329-345):
  • [4] Applying software metrics to formal specifications: A cognitive approach
    Vinter, R
    Loomes, M
    Kornbrot, D
    FIFTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM - METRICS 1998, PROCEEDINGS, 1998, : 216 - 223
  • [5] APPLYING FORMAL SOFTWARE SYNTHESIS
    JULLIG, RK
    IEEE SOFTWARE, 1993, 10 (03) : 11 - 22
  • [6] Is Formal Proof of seL4 Sufficient for Avionics Security?
    VanderLeest, Steven H.
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2018, 33 (02) : 16 - 21
  • [7] Applying Software Patterns to Requirements Engineering for Avionics Systems
    Schweiger, Andreas
    2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 25 - 30
  • [8] Applying formal methods to software reuse
    Houhamdi, Z
    1st International Industrial Simulation Conference 2003, 2003, : 62 - 67
  • [9] Formal verification of avionics self adaptive software: A case study
    Kashi, Rajanikanth N.
    D'Souza, Meenakshi
    Baghel, S. Kumar
    Kulkarni, Nitin
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 163 - 169
  • [10] A PRAGMATIC APPROACH TO SOFTWARE SYNTHESIS
    FREITAG, B
    MARGARIA, T
    STEFFEN, B
    SIGPLAN NOTICES, 1994, 29 (08): : 46 - 58
12345