Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures

Full-Text HTML Download Download as PDF (Size:360KB) PP. 229-235
DOI: 10.4236/jsea.2013.65028    3,953 Downloads   6,403 Views   Citations


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.

Cite this paper

R. Hilbrich and L. Dieudonné, "Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures," Journal of Software Engineering and Applications, Vol. 6 No. 5, 2013, pp. 229-235. doi: 10.4236/jsea.2013.65028.


[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.
[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. DL&dl=ACM&CFID=328451 450&CFTOKEN=34676492

comments powered by Disqus

Copyright © 2017 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.