More Web Proxy on the site http://driver.im/

Article

A configuration approach for IMA systems

Authors:

Florian Biechele,

Ralf MauersbergerAuthors Info & Claims

SEFM'12: Proceedings of the 10th international conference on Software Engineering and Formal Methods

Pages 203 - 217

https://doi.org/10.1007/978-3-642-33826-7_14

Published: 01 October 2012 Publication History

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.

References

[1]

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).

[2]

Brixel, T.: Transfer of advanced asaac sw technology onto the eurofighter/typhoon. In: 25th International Congress of the Aeronautical Sciences (September 2006).

[3]

RTCA DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations (August 2005).

[4]

NATO Standardization Agreement: STANAG 4626: Parts I - VI.

[5]

European Standard 4660: Aerospace series - Modular and Open Avionics Architectures, Parts 001-005 (2011).

[6]

ARINC 653-1: Avionics application software standard interface (October 2003).

[7]

Garside, R., Pighetti, F.J.: Integrating modular avionics: A new role emerges. In: IEEE/AIAA 26th. Digital Avionics Systems Conference, DASC 2007 (2007).

[8]

Cook, A.: ARINC 653 - Challenges of the present and future. Microprocessors and Microsystems 19(10), 575-579 (1995).

[9]

European Organisation for the Safety of Air Navigation (EUROCONTROL): Study report on avionics systems for 2011-2020 (February 2007).

[10]

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).

[11]

Rushby, J.: Partitioning for avionics architectures: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999).

Digital Library

[12]

RTCA DO-178B / EUROCAE ED12B: Software Considerations in Airborne Systems and Equipment Certification (1992).

[13]

Tiedemann, W.D.: Evaluation von Echtzeitbetriebssystemen für den Einsatz in Avioniksystemen (March 2008).

[14]

Society of Automotive Engineers: SAE Standards: Architecture Analysis & Design Language (AADL) - AS5506 (November 2004), and AS5506/1 (June 2004).

[15]

Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (aadl): An introduction. Technical report, SEI, Carnegie Mellon (2006).

[16]

Windisch, A.: Asaac modelling with aadl. SAE AS-2 Meeting on AADL (2004).

[17]

Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46-61 (1973).

Digital Library

[18]

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).

[19]

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).

Digital Library

[20]

Leung, J.Y.T., Merrill, M.L.: A note on preemptive scheduling of periodic, realtime tasks. Inf. Process. Lett. 11(3), 115-118 (1980).

[21]

Dutertre, B., Moura, L.D.: The Yices SMT solver. Technical report, SRI International (2006).

[22]

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).

Digital Library

[23]

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).

Digital Library

[24]

Sokolsky, O., Lee, I., Clarke, D.: Schedulability analysis of aadl models. In: IPDPS. IEEE (2006).

Digital Library

[25]

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).

Digital Library

[26]

de Niz, D., Rajkumar, R.: Partitioning bin-packing algorithms for distributed realtime systems. IJES 2(3/4), 196-208 (2006).

[27]

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).

Digital Library

Cited By

Januzaj VKugele S(2019)On the Structure of Avionics Systems ArchitectureSystem Analysis and Modeling. Languages, Methods, and Tools for Industry 4.010.1007/978-3-030-30690-8_8(139-149)Online publication date: 16-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-30690-8_8
Januzaj V(2018)Data mining meets system modellingProceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3270112.3270133(55-56)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3270112.3270133

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

SEFM'12: Proceedings of the 10th international conference on Software Engineering and Formal Methods

October 2012

383 pages

ISBN:9783642338250

Editors:
George Eleftherakis
Internal Faculty, CITY College, Computer Science Department, The University of Sheffield, 3 Leontos Sofou St., 546 26, Thessaloniki, Greece
,
Mike Hinchey
Lero - the Irish Software Engineering Research Centre, University of Limerick, 3 Leontos Sofou St., 546 26, Limerick, Ireland
,
Mike Holcombe
Department of Computer Science, Regent Court, 211 Portobello, University of Sheffield, 3 Leontos Sofou St., 546 26, S1 4DP, UK

Sponsors

The University of Sheffield: The University of Sheffield
Greek Com Soc: Greek Computer Society
SEERC: South-East European Research Centre

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 October 2012

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Januzaj VKugele S(2019)On the Structure of Avionics Systems ArchitectureSystem Analysis and Modeling. Languages, Methods, and Tools for Industry 4.010.1007/978-3-030-30690-8_8(139-149)Online publication date: 16-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-30690-8_8
Januzaj V(2018)Data mining meets system modellingProceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3270112.3270133(55-56)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3270112.3270133

View Options

View options

Figures

Tables

Media

View Table of Conten