Abstract
In this paper, we focus on system configurations of Integrated Modular Avionics (IMA) systems and present a novel approach for their calculation. We consider IMA systems based on ASAAC standards (STANAG 4626, EN 4660). These systems are modelled, by means of blueprints, using the SAE standardised modelling and analysis language AADL. For the calculation of system configurations, the required data is gathered from the system model and is transformed into a SAT modulo theory (SMT) formula. This formula includes a set of user input parameters, which steer the resource allocation. All feasible solutions satisfy the schedulability by a given set of scheduling schemes. The as schedulable considered configurations serve in choosing the final system configuration, for which a set of possible valid reconfigurations is calculated. To facilitate more compact allocations and increase the quality of (re-)configurations, we consider system modes. Both the chosen configuration and its corresponding reconfigurations are stored in the AADL system model, making all necessary data available within the same developing environment.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balser, B., Förster, M., Grabowski, G.: Integrated Modular Avionics with COTS directed to Open Systems and Obsolescence Management. In: RTO SCI Symposium on ”Strategies to Mitigate Obsolescence in Defense Systems Using Commercial Components” (2001)
Brixel, T.: Transfer of advanced asaac sw technology onto the eurofighter/typhoon. In: 25th International Congress of the Aeronautical Sciences (September 2006)
RTCA DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations (August 2005)
NATO Standardization Agreement: STANAG 4626: Parts I – VI
European Standard 4660: Aerospace series - Modular and Open Avionics Architectures, Parts 001–005 (2011)
ARINC 653-1: Avionics application software standard interface (October 2003)
Garside, R., Pighetti, F.J.: Integrating modular avionics: A new role emerges. In: IEEE/AIAA 26th. Digital Avionics Systems Conference, DASC 2007 (2007)
Cook, A.: ARINC 653 – Challenges of the present and future. Microprocessors and Microsystems 19(10), 575–579 (1995)
European Organisation for the Safety of Air Navigation (EUROCONTROL): Study report on avionics systems for 2011-2020 (February 2007)
Butz, H.: The Airbus approach to open Integrated Modular Avionics (IMA): technology, functions, industrial processes and future development road map. In: International Workshop on Aircraft System Technologies, Hamburg, Germany (2007)
Rushby, J.: Partitioning for avionics architectures: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999)
RTCA DO-178B / EUROCAE ED12B: Software Considerations in Airborne Systems and Equipment Certification (1992)
Tiedemann, W.D.: Evaluation von Echtzeitbetriebssystemen für den Einsatz in Avioniksystemen (March 2008)
Society of Automotive Engineers: SAE Standards: Architecture Analysis & Design Language (AADL) - AS5506 (November 2004), and AS5506/1 (June 2004)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (aadl): An introduction. Technical report, SEI, Carnegie Mellon (2006)
Windisch, A.: Asaac modelling with aadl. SAE AS-2 Meeting on AADL (2004)
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)
Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004)
Delange, J., Pautet, L., Plantec, A., Kerboeuf, M., Singhoff, F., Kordon, F.: Validate, simulate, and implement arinc653 systems using the aadl. In: Proceedings of the ACM SIGAda Annual International Conference on Ada and Related Technologies, SIGAda 2009, pp. 31–44. ACM, New York (2009)
Leung, J.Y.T., Merrill, M.L.: A note on preemptive scheduling of periodic, real-time tasks. Inf. Process. Lett. 11(3), 115–118 (1980)
Dutertre, B., Moura, L.D.: The Yices SMT solver. Technical report, SRI International (2006)
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: A flexible real time scheduling framework. In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada, Atlanta, GA, USA (2004)
Januzaj, V., Mauersberger, R., Biechele, F.: Performance Modelling for Avionics Systems. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2009. LNCS, vol. 5717, pp. 833–840. Springer, Heidelberg (2009)
Sokolsky, O., Lee, I., Clarke, D.: Schedulability analysis of aadl models. In: IPDPS. IEEE (2006)
Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I.: Archeopterix: An extendable tool for architecture optimization of aadl models. In: ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, pp. 61–71 (May 2009)
de Niz, D., Rajkumar, R.: Partitioning bin-packing algorithms for distributed real-time systems. IJES 2(3/4), 196–208 (2006)
de Niz, D., Feiler, P.H.: On resource allocation in architectural models. In: IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing, vol. 0, pp. 291–297 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Januzaj, V., Kugele, S., Biechele, F., Mauersberger, R. (2012). A Configuration Approach for IMA Systems. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds) Software Engineering and Formal Methods. SEFM 2012. Lecture Notes in Computer Science, vol 7504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33826-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-33826-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33825-0
Online ISBN: 978-3-642-33826-7
eBook Packages: Computer ScienceComputer Science (R0)