Software reuse in safety-critical airborne systems

被引:0
|
作者
Wlad, Joe [1 ]
机构
[1] LynuxWorks Inc, San Jose, CA USA
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Today no formal guidance or standards exist which maximizes the utility of software reuse in any industry. This is especially true in the development of safety-critical software. As a result, the embedded industry has been far from the goal of making reuse a standard practice in software development. A new policy issued by the Federal Aviation Administration (FAA) promises to create a major shift in how software is reused in safety-critical systems. A Reusable Software Components Advisory Circular published in December 2004, called AC 20-148, details the approach and documentation necessary for systematic reuse of software components that meet the guidelines of RTCA/DO178B. To fully appreciate the value of a reusable software component (RSC), one must understand the history of safety-critical software standards and development. A brief overview of safety-critical software development and the RTCA/DO- 178B standards is given as well as an overview of the Advisory Circular 20-148. A fully time and space partitioned operating system is used as an example in the paper.
引用
收藏
页码:1160 / 1167
页数:8
相关论文
共 50 条
  • [1] Software reuse: A safety-critical primer
    Wlad, Joseph
    [J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2007, 22 (04) : 18 - 22
  • [2] A Framework for Software Reuse in Safety-Critical System-of-Systems
    Warren, Bradley
    Michael, James Bret
    Shing, Man-Tak
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 402 - +
  • [3] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [4] SOME VERIFICATION TOOLS AND METHODS FOR AIRBORNE SAFETY-CRITICAL SOFTWARE
    HELPS, KA
    [J]. SOFTWARE ENGINEERING JOURNAL, 1986, 1 (06): : 248 - 253
  • [5] Fault mitigation in safety-critical software systems
    Subramanian, S
    Elliott, L
    Vishnuvajjala, RV
    Tsai, WT
    Mojdehbakhsh, R
    [J]. NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
  • [6] Safety-critical software
    [J]. 1600, IEEE Computer Society (30):
  • [7] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2008, (75): : 12 - 13
  • [8] SAFETY-CRITICAL SOFTWARE
    PANCUCCI, D
    [J]. ENGINEERING, 1991, 231 (08): : 45 - 47
  • [9] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
  • [10] Scrum for safety: an agile methodology for safety-critical software systems
    Mario Barbareschi
    Salvatore Barone
    Riccardo Carbone
    Valentina Casola
    [J]. Software Quality Journal, 2022, 30 : 1067 - 1088