REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE

被引:0
|
作者
King, Tim [1 ]
机构
[1] DDC I, Phoenix, AZ 85028 USA
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Developers of certified, safety-critical avionics software face many challenges. A key challenge arises when software developed for one system is reused in another system. Given the features and capabilities of most Commercial-Off-The-Shelf (COTS) safety-critical Real-Time Operating Systems (RTOSs), reusing software in a different target environment means modifying that software and reincurring costly certification activities (e. g., DO178B [1]). In this paper, we discuss some of the unique features of DDC-I's Deos: a time and space partitioned, safety-critical RTOS. Using these features, safety-critical software developers can reconfigure and adapt their software for reuse in new systems without the need to modify that software and incur costly re-certification activities.
引用
收藏
页数:6
相关论文
共 50 条
  • [31] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
  • [32] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
    BERZTISS, AT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
  • [33] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [34] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [35] Timing tolerances in safety-critical software
    Wassyng, A
    Lawford, M
    Hu, XY
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
  • [36] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
    DAVIS, PI
    COMPUTER, 1992, 25 (12) : 72 - 73
  • [37] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [38] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE
    Guo Jia
    Yang Ming
    PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [39] Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
    Schwierz, Andreas
    Forsberg, Hakan
    COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018), 2018, 11093 : 27 - 41
  • [40] Fault Tolerant Smart Transducer Interfaces for Safety-Critical Avionics Applications
    Bouanen, Safwen
    Thibeault, Claude
    Savaria, Yvon
    Tremblay, Jose-Philippe
    Zhu, Guchuan
    2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,