REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE

被引：0
|
作者：
King, Tim [1 ]
机构：
[1] DDC I, Phoenix, AZ 85028 USA
来源：
2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2012年
关键词：
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 条
  • [41] Performance Optimization of a UWB-based Network for Safety-Critical Avionics
    Dang, Dinh-Khanh
    Mifdaoui, Ahlem
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [42] 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,
  • [43] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [44] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [45] Model-Based Deployment Generation for Safety-Critical Avionics Systems
    Igna, Georgeta
    Dieudonne, Laurent
    Voss, Sebastian
    Schaetz, Bernhard
    2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
  • [46] SAFETY-CRITICAL SOFTWARE AND CURRENT STANDARDS INITIATIVES
    SHAW, R
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1994, 44 (01) : 5 - 22
  • [47] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
    CULLYER, WJ
    STOREY, N
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
  • [48] OPERATIONAL SAFETY-CRITICAL SOFTWARE METHODS IN RAILWAYS
    GUIHO, G
    MEJIA, F
    INFORMATION PROCESSING '94, VOL III: LINKAGE AND DEVELOPING COUNTRIES, 1994, 53 : 262 - 269
  • [49] Prediction of Undetected Faults in Safety-Critical Software
    Sundell, Johan
    Torkar, Richard
    Lundqvist, Kristina
    Forsberg, Hakan
    2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), 2019, : 296 - 304
  • [50] Fault mitigation in safety-critical software systems
    Subramanian, S
    Elliott, L
    Vishnuvajjala, RV
    Tsai, WT
    Mojdehbakhsh, R
    NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
12345