Integrated Modular Avionic (IMA) concepts offer the capability to enhance the reliability and availability of future avionic systems whilst supporting high performance, flexible deployment and affordability. Fault management is the key to achieving many of the projected benefits but involves significant technical risk: design entails complex trade-offs whilst validation of solutions through testing is only practicable for a small proportion of the possible failure set. System modelling as part of requirements definition and design is essential to achieve optimised solutions with low risk. This paper describes a modelling programme initially aimed at exploring the tradeoffs in system architecture and fault management. The approach being taken to extend it to allow for software reliability and fault tolerance is described.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.