System safety assessment for IMA architectures using formal methods

点击翻译按钮获取中文摘要

Marinvent Corporation (Marinvent) is a Canadian avionics company that specializes in Flight Test Services, Systems Engineering, Human Factors Engineering, and Software Development and Civil Certification. Currently, several avionics companies consult Marinvent for developing internationally certified Integrated Modular Avionics (IMA) architectures, which provide a highly integrated system of computer hardware and software that share several resources, such as computing platforms, input-output modules, and power supply modules. IMA components, however, require a Technical Standard Order (TSO) certification before they are integrated within an aircraft IMA system. A TSO certifies an IMA component within a given environment where the component will operate to certain level of safety independently from any particular aircraft. To