Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification

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.