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
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
 J. Leung, L. Kelly and J. H. Anderson, “Handbook of Scheduling: Algorithms, Models, and Performance Analysis,” CRC Press, Inc., 2004.
 G. C. Buttazzo, “Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications,” Springer, Santa Clara, 2004.
 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.
 J. Rushby, “Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance,” NASA Langley Research Center, 1999.
 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.
 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.
 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
 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.
 A. Hall und R. Chapmann, “Correctness by Construction: Developing a Commercial Secure System,” IEEE Software, Vol. 19, No. 1, 2002, pp. 18-25.
 E. Evans, “Domain-Driven Design: Tackling Complexity in the Heart of Software,” Addison-Wesley Professional, Boston, 2004.
 RTCA, DO-178B, “Software Considerations in Airborne Systems and Equipment Certification,” 1994.
 SAE/ARP4761, “Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airbone Systems and Equipment,” 1996.
 SAE/ARP4654, “Certification Considerations for HighlyIntegrated or Complex Aircraft Systems,” 1996.
 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