Risk-Based Alternatives to the DO-178C Software Design Assurance Process

被引：0
|
作者：
Lester, Edward Ted [1 ]
机构：
[1] Mitre Corp, Bedford, MA 01730 USA
来源：
2015 IEEE/AIAA 34TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2015年
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页数：18
相关论文
共 50 条
  • [1] RISK-BASED ALTERNATIVES TO THE DO-178C SOFTWARE DESIGN ASSURANCE PROCESS
    Lester, Edward A.
    2015 IEEE/AIAA 34TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2015,
  • [2] Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL
    Metayer, Nicolas
    Paz, Andres
    El Boussaidi, Ghizlane
    2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 338 - 345
  • [3] Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
    Moy, Yannick
    Ledinot, Emmanuel
    Delseny, Herve
    Wiels, Virginie
    Monate, Benjamin
    IEEE SOFTWARE, 2013, 30 (03) : 50 - 57
  • [4] Innovation and Certification in Aviation Software DO-178C and aviation software 'cost'
    Kennedy, Jaiden
    Towhidnejad, Massood
    2017 INTEGRATED COMMUNICATIONS, NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2017,
  • [5] A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331
    Dmitriev, Konstantin
    Zafar, Shanza Ali
    Schmiechen, Kevin
    Lai, Yi
    Saleab, Micheal
    Nagarajan, Pranav
    Dollinger, Daniel
    Hochstrasser, Markus
    Holzapfel, Florian
    Myschik, Stephan
    2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
  • [6] Understanding DO-178C Software Certification: Benefits Versus Costs
    Hilderman, Vance
    2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 114 - U631
  • [7] OOT, DO-178C and SPARK
    Chapman, Roderick
    Jennings, Trevor
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 206 - 210
  • [8] Head First DO-178C versus DO-178B
    Zhao, Zhi-guang
    Cao, Qing-hua
    INTERNATIONAL CONFERENCE ON COMPUTER, NETWORK SECURITY AND COMMUNICATION ENGINEERING (CNSCE 2014), 2014, : 727 - 730
  • [9] Software Certification of Airborne Cyber-Physical Systems under DO-178C
    Basagiannis, Stylianos
    PROCEEDINGS OF THE 2016 WORKSHOP ON SYMBOLIC AND NUMERICAL METHODS FOR REACHABILITY ANALYSIS (SNR), 2016,
  • [10] Towards DO-178C Compliance of a Secure Product
    Shan, Lijun
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 61 - 72
12345