Verification Method Of Airborne Software For Aviation Safety Based On Model

This paper discusses the difference between traditional software development and model-based software development. The characteristics and advantages of model-based software development and verification are analyzed. This paper introduces the airborne software development tool SCADE Suite in the field of aviation high safety. In this paper, the model based software verification objectives, verification strategies, high level verification, low level verification, model coverage analysis methods and activities through SCADE Suite are discussed in detail.