Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures

Robert Hilbrich, Laurent Dieudonné

Fraunhofer Institute for Open Communication Systems (FOKUS), Berlin, Germany.
Liebherr-Aerospace Lindenberg GmbH, Lin- denberg, Germany..

DOI: 10.4236/jsea.2013.65028                

Abstract

Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offering an increased system performance in a small power envelope. In avionics, several system functions could now be integrated on a single hardware unit, if all safety requirements are still satisfied. This approach allows for further optimizations of the system architecture and substantial reductions of the space, weight and power (SWaP) footprint, and thus increases the transportation capacity. However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. This article used a realistic flight control system as an example to present a new model-based methodology to automate the software deployment process. This methodology is based on the correctness-by-construction principle and is implemented as part of a systems engineering toolset. Furthermore, metrics and optimization criteria are presented which further help in the automatic assessment and refinement of a generated deployment. A discussion regarding a tighter integration of this approach in the entire avionics systems engineering workflow concludes this article.

Keywords

Avionics; Systems Engineering; Software Deployment; Software Architecture; Safety-Critical Systems

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	J. Leung, L. Kelly and J. H. Anderson, “Handbook of Scheduling: Algorithms, Models, and Performance Analysis,” CRC Press, Inc., 2004.
[2]	G. C. Buttazzo, “Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications,” Springer, Santa Clara, 2004.
[3]	R. Hilbrich and H.-J. Goltz, “Model-Based Generation of Static Schedules for Safety Critical Multi-Core Systems in the Avionics Domain,” Proceeding of the 4th International Workshop on Multicore Software Engineering, Sea Pearl, 21-28 May 2011, pp. 9-16. doi:10.1145/1984693.1984695
[4]	J. Rushby, “Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance,” NASA Langley Research Center, 1999.
[5]	P. Prisaznuk, “ARINC 653 Role in Integrated Modular Avionics (IMA),” 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, Saint Paul, 26-30 October 2008, pp. 1.E.5-1-1.E.5-10.
[6]	C. B. Watkins and R. Walter, “Transitioning from Federated Avionics Architectures to Integrated Modular Avionics,” Digital Avionics Systems Conference, 2007. DASC’07. IEEE/AIAA 26th, 21-25 October 2007, pp. 2.A.1-1-2.A.1-10.
[7]	R. Fuchsen, “How to Address Certification for MultiCore Based IMA Platforms: Current Status and Potential Solutions,” DASC 2010: IEEE/AIAA 29th Digital Avionics Systems Conference, Salt Lake City, 3-7 October 2010, pp. 5.E.3-1-5.E.3-11. doi:10.1109/DASC.2010.5655461
[8]	R. Chapman, “Correctness by Construction: A Manifesto for High Integrity Software,” Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, Darlinghurst, 19-20 August 2005, pp. 43-46. http://dl.acm.org/citation.cfm?id=1151820&CFID=328451450&CFTOKEN=34676492
[9]	A. Hall und R. Chapmann, “Correctness by Construction: Developing a Commercial Secure System,” IEEE Software, Vol. 19, No. 1, 2002, pp. 18-25. doi:10.1109/52.976937
[10]	E. Evans, “Domain-Driven Design: Tackling Complexity in the Heart of Software,” Addison-Wesley Professional, Boston, 2004.
[11]	RTCA, DO-178B, “Software Considerations in Airborne Systems and Equipment Certification,” 1994.
[12]	SAE/ARP4761, “Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airbone Systems and Equipment,” 1996.
[13]	SAE/ARP4654, “Certification Considerations for HighlyIntegrated or Complex Aircraft Systems,” 1996.
[14]	M. Eysholdt and H. Behrens, “Xtext: Implement Your Language Faster than the Quick and Dirty Way,” SPLASH’10 Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, Reno/ Tahoe, 17-21 October 2010, pp. 307-309. http://dl.acm.org/citation.cfm?id=1869542.1869625&coll= DL&dl=ACM&CFID=328451 450&CFTOKEN=34676492