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 条
  • [21] A survey: Applying formal methods to a software intensive system
    de Groot, A
    Hooman, J
    Kordon, F
    Paviot-Adet, E
    Mounier, I
    Lemoine, M
    Gaudiere, G
    Winter, VL
    Kapur, D
    SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 55 - 64
  • [22] SOFTWARE ESTIMATING AND METRICS - A PRAGMATIC APPROACH
    RUTHERFORD, J
    GEC JOURNAL OF RESEARCH, 1995, 12 (02): : 66 - 75
  • [23] Formal techniques in software engineering: Correct software and safe systems
    Liggesmeyer, Peter
    Theorem Proving in Higher Order Logics, Proceedings, 2007, 4732 : 3 - 4
  • [24] The role of formal techniques: Past, current and future or how did software get so reliable without proof?
    Hoare, CAR
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 233 - 234
  • [25] Applying formal techniques in simulation-based verification
    Zhu, YS
    2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 946 - 951
  • [26] FORMAL TECHNIQUES FOR OO SOFTWARE-DEVELOPMENT
    DECHAMPEAUX, D
    AMERICA, P
    COLEMAN, D
    DUKE, R
    LEA, D
    LEAVENS, G
    SIGPLAN NOTICES, 1991, 26 (11): : 166 - 170
  • [27] Applying Formal Methods to Networking: Theory, Techniques, and Applications
    Qadir, Junaid
    Hasan, Osman
    IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2015, 17 (01): : 256 - 291
  • [28] A survey of automated techniques for formal software verification
    D'Silva, Vijay
    Kroening, Daniel
    Weissenbacher, Georg
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, 27 (07) : 1165 - 1178
  • [29] Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems
    Halchin, Alexandra
    Sylla, Adja Ndeye
    Benyagoub, Sarah
    Feliachi, Abderrahmane
    Fonteneau, Yoann
    Leger, Sven
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS, RSSRAIL 2023, 2023, 14198 : 165 - 177
  • [30] A formal approach using SysML for capturing functional requirements in avionics domain
    Shaofan ZHU
    Jian TANG
    JeanMarie GAUTHIER
    Raphal FAUDOU
    Chinese Journal of Aeronautics, 2019, (12) : 2717 - 2726
12345