Abstract
Integrated Modular Avionics (IMA) system has revealed many advantages compared with the previous generation avionics system (Federated Avionics Architectures) and has been developed by engineers. IMA systems employ reconfiguration to manage the recourses of the system dynamically. Some researches on modeling and safety case have been done recently. In this paper, we propose one reliability analysis method based on Architecture Analysis and Design Language (AADL) model for Integrated Modular Avionics (IMA) reconfiguration. Firstly we present a mechanism to describe the dynamic reconfiguration of multimodal system, and it is followed by translating the AADL to Petri net (PN). Finally in the Petri net, the reconfiguration path reliability has been analyzed. The method we proposed is able to be used to assist the design of the IMA reconfiguration in the early stage of development, and thus improving the reliability of the whole system.
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.
