Abstract
The intelligent system controls the subsystems of each aircraft in real time to ensure the normal development of the tasks of the aircraft system. In the process of system communication, the control system is required to strictly control the correctness of the control algorithm flow and the accuracy of the control sequence in order to ensure the safety of the aircraft system. This paper uses UPPAAL, a formal model detection tool based on time automata theory, to formally model and validate the algorithm flow of an intelligent system and a subsystem. First, the algorithm flow of the intelligent system is analyzed, and then it is formally modeled using the time automaton method. Second, the properties that need to be verified are extracted from the algorithm flow and described with the formal language BNF. Finally, the function and performance correctness are automatically verified using the UPPAAL model detection tool. The experimental results verify that the intelligent system meets the security, accessibility and activity requirements.
Sign-in/Register to access full text options 
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
