The main challenge of model-based development approach is that we should generate precision appropriate dynamic models of airborne software at different development stages. Most of these methods focus on the model-based development environment to make different tools and techniques adopted an applied. Recently, in order to improve the development method of airborne software and meet airworthiness certification, researchers have proposed several integrated development frameworks. The design and verification of airborne software should comply with the guidance of DO-178C to obtain certification approval. Formal analysis proved the consistency between system property and software requirement by theorem proving or model checking. Formal model is used for defining unambiguous abstract model of system based on mathematic syntax and semantic. Formal method is consisted of formal model and formal analysis. DO-178C/ED-12C therefore requires adopting object-oriented technology.ĭO-l78C officially indicated the effectiveness of formal methods during airborne software development process. It can improve the reusability and validity of software. In the development of airborne software, object-oriented technology benefits the generation of source code for test and certification via model driven architecture (MDA) or MARTE tool.
![uav flight control system manufacturers uav flight control system manufacturers](https://static1.simpleflyingimages.com/wordpress/wp-content/uploads/2023/11/tempimagef9fsnn.jpg)
According to DO-178C/ED-12C, source code should be generated from design model directly, and they all should pass the validation. During the stage of requirement and design, we should find out the software fault as early as possible in order to eliminate the errors of design and enhance the robustness of software. ĭevelopment and verification based on executable models can optimize the process of airborne software. DO-178C/ED-12C proposed several technical supplements such as software tool qualification considerations, model-based development and verification, object-oriented technology and formalizing methods. With the development of the software verification technology, RTCA and European Organization for Civil Aviation Equipment (EUROCAE) revised the DO-178B and published the DO-178C/ED-12C standard in 2011. DO-178B prescribes the objectives for each important step during the development process of airborne software. In airworthiness certification, we considered the DO-178B standard, which is the current software certification standard that released by Radio Technical Commission for Aeronautics (RTCA). Thus, we should model and verify the UAV flight control system in term of corresponding airworthiness certification standards. Therefore, it is important to enhance the reliability and robustness of UAV flight control system by improving the method of modeling, testing and verifying.įederal Aviation Administration (FAA) requires that the airborne software system must be conducted by airworthiness certification. This framework could integrate the existing design methods and verification tools, and use iterative development cycle to implement and quickly validate UAV flight control system design.
![uav flight control system manufacturers uav flight control system manufacturers](https://www.unmannedsystemstechnology.com/wp-content/uploads/2020/10/UAV-Flight-Control-System-300x231.jpg)
For shortening the development cycle and improve the reliability and performance of flight control system, developing an integrated framework for the design process of flight control system is in need. The traditional approach used for manned aircrafts takes robust time and resources, which is not practical to analyze and validate UAV flight control system. UAV has been used in a vast range of civil and military applications, and also brought accidents caused by airborne software failure, we expect to develop a high reliable UAV flight control system.
![uav flight control system manufacturers uav flight control system manufacturers](https://www.dronetrest.com/uploads/db5290/original/2X/7/775ba4fb5b3cf0cc8d30f8d3267a22435a1c868d.jpg)
The results showed that the framework could be used to create the system model, as well as precisely analyze and verify the real-time reliability of UAV flight control system. Finally, we modeled the simplified flight control system of UAV to check its real-time property. For the real-time specifications of software system, we also proposed a generating algorithm for temporal logic formula, which could automatically extract real-time property from time-sensitive live sequence chart (TLSC). In term of the defined transformation rules, the MARTE model could be transformed to formal integrated model, and the different part of the model could also be verified by using existing formal tools. Combining with the advantages of MARTE, this framework uses class diagram to create the static model of software system, and utilizes state chart to create the dynamic model. In order to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control system and comply with the airworthiness certification standard, we proposed a model-based integration framework for modeling and verification of time property.