Title :
Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification
Author :
Marques, Johnny Cardoso ; Yelisetty, Sarasuaty Megume Hayashi ; Dias, Luiz Alberto Vieira ; Cunha, Adilson Marques da
Author_Institution :
Aeronaut. Inst. of Technol. (ITA), Sao Jose dos Campos, Brazil
Abstract :
The term Model-Based Development (MBD) is typically used to describe software development approaches in which models of software systems are created and systematically transformed to concrete implementations. In this paper, due to the increase of MBD utilization, an overview of how models can be used to specify software low-level requirements is provided to achieve airborne software certification in aircraft projects. This paper provides the guidance materials and the need of future perspectives and expands the impacts software planning, development and verification.
Keywords :
formal verification; safety-critical software; MBD; airborne software certification; model based development; safety critical software; software development approaches; software low level requirements; Aircraft; Atmospheric modeling; Certification; Materials; Planning; Programming; Software; airborne; aircraft; certification; model-based; regulation; software;
Conference_Titel :
Information Technology: New Generations (ITNG), 2012 Ninth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4673-0798-7
DOI :
10.1109/ITNG.2012.102
