Abstract
Architecture Analysis and Design Language (AADL) captures both platform and software architectures of embedded systems in a component-oriented fashion. Properties embedded in an AADL model enable several high-level analysis techniques. In this work, we explore how to perform analysis of end-to-end timing characteristics of an AADL model using Real-Time Calculus (RTC). We identify properties of AADL models that are necessary to enable such analysis and develop an algorithm to transform an AADL model into an RTC model. We use the proposed technique to identify analyze the infrastructure for sensor network architecture.
Research is supported in part by AFOSR FA9550-07-1-0216 and NSF CNS-0720703 grants and a grant from Honeywell.
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
Chakraborty, S., Künzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: IEEE Design Automation and Test in Europe (DATE) (March 2003)
Chakraborty, S., Phan, L., Thiagarajan, P.: Event count automata: A state-based model for stream processing systems. In: Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), December 2005. pp. 87–98 (2005)
de Niz, D., Feiler, P.: On resource allocation in architectural models. In: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2008), May 2008, pp. 291–297 (2008)
Feiler, P., Gluch, D., Hudak, J., Lewis, B.: Embedded architecture analysis using SAE AADL. Technical Report CMU/SEI-2004-TN-005, Software Engineering Institute (June 2004)
Feiler, P., Lewis, B., Vestal, S.: The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. In: Workshop on Model-Driven Embedded Systems (May 2003)
Feiler, P., Lewis, B., Vestal, S.: The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems. In: IEEE International Symposium on Computer-Aided Control Systems Design (October 2006)
Hassl, D.: Advanced concepts in fault tree analysis. In: Proceedings of System Safety Symposium (June 1965)
ISA100 Wireless Working Group. Draft standard ISA100.11a. Internal working draft (May 2008)
Jahier, E., Halbwachs, N., Raymond, P., Nicollin, X., Lesens, D.: Virtual execution of AADL models via a translation into synchronous programs. In: Proceedings of the 7th International Conference on Embedded software (EMSOFT 2007), October 2007, pp. 134–143 (2007)
Le Boudec, J.-Y., Thiran, P.: Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. In: Thiran, P., Le Boudec, J.-Y. (eds.) Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. LNCS, vol. 2050, p. 3. Springer, Heidelberg (2001)
Lipari, G., Baruah, S.: Efficient scheduling of real-time multi-task applications in dynamic systems. In: Proc. of IEEE Real-Time Technology and Applications Symposium, pp. 166–175 (May 2000)
Phan, L., Chakraborty, S., Thiagarajan, P., Thiele, L.: Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), December 2007, pp. 343–352 (2007)
SAE International. Architecture Analysis and Design Language (AADL), AS 5506 (November 2004)
Sokolsky, O., Lee, I., Clarke, D.: Schedulability analysis of AADL models. In: Workshop on Parallel and Distributed Real-Time Systems (April 2006)
Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: IEEE International Symposium on Circuits and Systems (ISCAS), vol. 4, pp. 101–104 (2000)
The open-source toolkit for critical systems (2008), http://www.topcased.org
Wandeler, E.: Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. PhD thesis, Swiss Federal Insitute of Technology (2006)
Wandeler, E., Thiele, L.: Real-Time Calculus (RTC) Toolbox (2006), http://www.mpa.ethz.ch/Rtctoolbox
Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. Software Tools for Technology Transfer 8(6), 649–667 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sokolsky, O., Chernoguzov, A. (2010). Performance Analysis of AADL Models Using Real-Time Calculus. In: Choppy, C., Sokolsky, O. (eds) Foundations of Computer Software. Future Trends and Techniques for Development. Monterey Workshop 2008. Lecture Notes in Computer Science, vol 6028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12566-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-12566-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12565-2
Online ISBN: 978-3-642-12566-9
eBook Packages: Computer ScienceComputer Science (R0)