Abstract
The new paradigm of Integrated Modular Avionics (IMA) [1] necessitates the analysis and validation of non-functional requirements for IMA systems. This includes the analysis of their performability. In this paper we present an initial approach of a performance modelling framework, based on the SAE standardised modelling and analysis language AADL [2,3], to integrate performance analysis in the toolchain of this practical context. The proposed framework is a hybrid of static and dynamic systems analysis and includes aspects of performance evaluation.
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
Garside, R., Joe Pighetti Jr., F.: Integrating modular avionics: A new role emerges. In: IEEE/AIAA 26th Conference on Digital Avionics Systems, DASC 2007 (2007)
Society of Automotive Engineers: SAE Standards: Architecture Analysis & Design Language (AADL) - AS5506 (November 2004) and AS5506/1 (June 2006)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (aadl): An introduction. Technical report, SEI, Carnegie Mellon (2006)
Feiler, P.H.: Modeling of system families. Technical report, Software Engineering Institute, Carnegie Mellon (2007)
The LLVM Framework, http://www.llvm.org
Furness Toolset v.1.6., User Guide, http://www.furnesstoolset.com/files/Furness%20Toolset%20User%20Guide.pdf
Brémond-Grégoire, P., Lee, I., Gerber, R.: ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 417–431. Springer, Heidelberg (1993)
Engblom, J., Ermedahl, A., Sjödin, M., Gustafsson, J., Hansson, H.: Worst-case execution-time analysis for embedded real-time sys. STTT 4(4), 437–455 (2003)
Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Muller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The worst-case execution-time proble overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems (TECS) 7(3), 1–53 (2008)
Engblom, J., Ermedahl, A., Stappert, F.: Comparing Different Worst-Case Execution Time Analysis Methods. In: The Work-in-Progress session of the 21st IEEE Real-Time Systems Symposium (RTSS 2000) (November 2000)
Kirner, R., Knoop, J., Prantl, A., Schordan, M., Wenzel, I.: Wcet analysis: The annotation language challenge. In: WCET (2007)
Ermedahl, A.: A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University: Acta Universitatis Upsaliensis (June 2003)
Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469–485. Springer, Heidelberg (2001)
Wang, Z., Sanchez, A., Herkersdorf, A., Stechele, W.: Fast and accurate software performance estimation during high-level embedded system design. In: edaworkshop, Hannover, Germany (May 2008)
Giusto, P., Martin, G., Harcourt, E.: Reliable estimation of execution time of embedded software. In: DATE 2001: Proceedings of the conference on Design, automation and test in Europe, pp. 580–589. IEEE Press, Los Alamitos (2001)
AbsInt, http://www.absint.com/ait/
Otawa, http://www.otawa.fr/
Henzinger, T.A., Sifakis, J.: The discipline of embedded systems design. IEEE Computer 40(10), 32–40 (2007)
SCADE, http://www.esterel-technologies.com/products/scade-suite/
The MathWorks Inc.: Using Simulink (2000)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Januzaj, V., Mauersberger, R., Biechele, F. (2009). Performance Modelling for Avionics Systems. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory - EUROCAST 2009. EUROCAST 2009. Lecture Notes in Computer Science, vol 5717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04772-5_107
Download citation
DOI: https://doi.org/10.1007/978-3-642-04772-5_107
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04771-8
Online ISBN: 978-3-642-04772-5
eBook Packages: Computer ScienceComputer Science (R0)