Abstract
The application of head-up display system (HUDS) in civil aviation effectively enhances pilots' situational awareness and flight safety. It has become necessary avionics equipment for new civil aircraft. In this article, formal modeling and safety analysis method based on AltaRica language is proposed for solving the problem that the data of system design and safety analysis cannot be expressed uniformly existing in traditional safety analysis methods. Aiming at HUDS, formal AltaRica models are built, and the failure condition model is added to the system model, which effectively combines the system design with safety analysis. Meanwhile, a graphical modeling tool-Simfia is used to make the AltaRica model of HUDS visually, to achieve assessing formal safety of HUDS. The results show that it can combine modeling with system design based on AltaRica language, to achieve consistent representation of system design and safety assessment, and effectively support the iteration process of safety analysis and system design.
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.
