Abstract
With the increasing complexity of the safety-critical airborne system, the traditional design method is difficult to meet the high-security requirements of the civilian aircraft system. Motivated by this question, this article investigates the model-based systems engineering (MBSE) method, especially from the perspective of the airborne software design and verification. By comparing and analyzing the characteristics of SCADE and Matlab software for auto-generated source code, Matlab/Simulink is chosen as the model-based software tool in this paper and is customized to be compliant with the DO-178C/331 airworthiness standard for airborne software. The practice is to explore how to package Matlab/Simulink native blocks into User-Defined Blockset and finally a collection of custom blocks can be utilized as a modeling aid to the software/model development team. This thesis will take the block library of DeadZone as an example to describe the activities performed to facilitate the Library with Inline Code to be compliant with DO-178C/331 objectives.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call