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 条
  • [1] Reusing Certified, Safety-Critical Avionics Software
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [2] Model-Checking of Safety-Critical Software for Avionics
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    ERCIM NEWS, 2008, (75): : 15 - 16
  • [3] Experimental assessment of astree on safety-critical avionics software
    Souyris, Jean
    Delmas, David
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 479 - +
  • [4] Towards a continuous certification of safety-critical avionics software
    Baron, Claude
    Louis, Vincent
    COMPUTERS IN INDUSTRY, 2021, 125
  • [5] Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
    Delmas, David
    Goubault, Eric
    Putot, Sylvie
    Souyris, Jean
    Tekkal, Karim
    Vedrine, Franck
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 53 - +
  • [6] Safety-critical software
    1600, IEEE Computer Society (30):
  • [7] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    ERCIM NEWS, 2008, (75): : 12 - 13
  • [8] SAFETY-CRITICAL SOFTWARE
    PANCUCCI, D
    ENGINEERING, 1991, 231 (08): : 45 - 47
  • [9] Composable Safety-Critical Systems Based on Pre-Certified Software Components
    Soderberg, Andreas
    Vedder, Benjamin
    23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, : 343 - 348
  • [10] Managing Cache Partitioning in Multicore Processors for Certifiable, Safety-Critical Avionics Software Applications
    King, Tim
    2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,