A Set of Requirements for Certification of Airborne Military Software

被引：2
|
作者：
Marques, Johnny [1 ]
da Cunha, Adilson Marques [1 ]
机构：
[1] Brazilian Aeronaut Inst Technol, Comp Sci Div, Sao Jose Dos Campos, Brazil
来源：
2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2019年
关键词：
software; requirements; life cycle; compliance; military;
D O I：
10.1109/dasc43569.2019.9081775
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
The development of embedded military software requires certification and must comply with safety and mission requirements. In recent years, these types of systems have become more complex, resulting in the adoption of more rigorous software standards and processes. Specially in military aviation, there is a trend of using standards and processes successfully applied in civil aviation, such as the RTCA standard DO-178C. This article presents a set of requirements for the certification of Airborne Military Software (AMS) that improve the Software Product quality needed for safety and mission accomplishment.
引用
收藏
页数：7
相关论文
共 50 条
  • [1] AIRBORNE SOFTWARE: COMMUNICATION AND CERTIFICATION
    Kornecki, Andrew J.
    [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2008, 9 (01): : 77 - 82
  • [2] Airborne software concerns in civil aviation certification
    Sakugawa, B
    Cury, E
    Yano, ET
    [J]. DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 52 - 60
  • [3] Safety certification of airborne software: An empirical study
    Dodd, Ian
    Habli, Ibrahim
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2012, 98 (01) : 7 - 23
  • [4] A REFERENCE METHOD FOR AIRBORNE SOFTWARE REQUIREMENTS
    Marques, Johnny
    Cunha, Adilson
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [5] A Reference Method for Airborne Software Requirements
    Marques, Mohnny
    Cunha, Adilson
    [J]. 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
  • [6] Certification Considerations for Adaptive Stress Testing of Airborne Software
    Durling, Michael
    Herencia-Zapana, Heber
    Meng, Baoluo
    Meiners, Mike
    Hochwarth, Joachim
    Visser, Nicholas
    Lee, Ritchie
    Moss, Robert
    Valapil, Vidhya Tekken
    [J]. 2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
  • [7] Certification Aspects of Model Based Development for Airborne Software
    Sarac, Tugba
    [J]. 2019 IEEE 2ND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTER TECHNOLOGIES (ICICT), 2019, : 285 - 291
  • [8] Traceability of software requirements - Why? How? Airborne avionics software
    Farail, P
    Huchard, J
    [J]. DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 355 - 363
  • [9] A study on airborne software safety requirements patterns
    Chang Wei
    Bao Xiaohong
    Li Xuefei
    [J]. 2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C), 2013, : 132 - 137
  • [10] SHM Certification Requirements for Military Aircraft-An Australian Perspective
    Galea, Steve
    Rajic, Nik
    [J]. STRUCTURAL HEALTH MONITORING 2015: SYSTEM RELIABILITY FOR VERIFICATION AND IMPLEMENTATION, VOLS. 1 AND 2, 2015, : 126 - 133
12345