The Verification Method Of Embedded Operating That Based On Airworthiness Standards

Embedded real-time operating system (ERTOS) is extremely versatile applied in the field of cutting-edge technology, especially in aerospace fields. In the system software of the area of aviation, when a problem arises in terms of software, there will be very serious consequences. Therefore, the reliability of embedded software is one of the important factors ensuring aviation safety. As a means of ensureing the quality of software, embedded software of aviation system must be to have adequately and systemic tests.According to the characteristics of aerospace embedded real-time operating system software, this dissertation studies some means of verification about real-time performance of embedded real-time operating system software. First of all, this paper introduces the basic concept of software testing and the related technologies, principles and methods. Secondly, it analyzes the system structure and test requirementof the aerospace embedded real-time operating system software. And then, through testing the three module of the embedded real-time operating system, the paper introduces the design of the test case in the verification methods, and analyzes the test report. the paper introduces the design of the test case in the method, the statistical analysis of the test report. Finally this artical finished the test research on the real-time performance of embedded real-time operating system.This dissertation combines the characteristics of embedded real-time operating system which is applied in aerospace system, the whole model of the test task is put forward. The structure of this paper as described below, firstly, the basic concepts and theory of software testing will be introduced and the method of researching software testing will be discussed, and then proposes the concept of embedded software testing. After that, it discusses the application of verification methods in different stages. Finally, through the actual testing process of the software, the correctness and effectiveness of the research results in this paper will be verified.