RTAS '99 Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Architecting robustness and timeliness in a new generation of aerospace systems
Architecting dependable systems VII
Vertical safety interfaces: improving the efficiency of modular certification
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
| Hi-index | 0.00 |
Integrated Modular Avionics (IMA) is the term used for common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to allow the separate development and safety analysis of applications and the computing platform. This paper presents the results of high level failure analysis of an IMA computing platform as a separate system and shows how the analysis can be used as part of an overall certification strategy for IMA. For the analysis six high level functions were constructed which described the functionality provided to applications and devices using the IMA platform. Lower level IMA services, such as scheduling and communications, are used to meet one or more of the functions. Deviations in service provision were considered using a number of guide words to suggest possible failure modes. The analysis revealed a number of weaknesses in the design which will require further consideration.