Skip to main content
SpringerLink
Log in

Component-based system design: analytic real-time interfaces for state-based component implementations

  • EUROSYS
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

Compositionality can be a helpful paradigm for coping with the complexity of large embedded systems with real-time constraints. This article exploits state-less assume/guarantee real-time interfaces extended by component properties, both to be satisfied invariantly by any component implementing the respective interface. This supports compositional evaluation of system designs, as overall properties of the latter can be derived from the component interfaces, rather than verifying them for the complete system model at analysis time. Moreover, our design strategy based on extended analytic real-time interfaces features an incremental, and component-wise development of (heterogeneous) system designs. This is, because the interface-derived properties of an overall system design are proven to be invariant under composition and substitution of interfaces and components, as long as the interface definitions are consistent, the (potentially heterogeneous) components implement their interfaces, and a dedicated inclusion criterion holds. This article develops the machinery for deriving analytic interface descriptions from Timed Automata-based component models. It develops the required consistency and conformance tests for deciding the aforementioned invariance of interfaces and components with respect to composition and substitution. This way we hope to advocate a strictly compositional design approach and improve the scalability of state-based analysis methods which we investigate in several case studies.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

Notes

  1. A direct comparison of pseudo-concave/convex input generators and staircase curves remains unclear, where this question might be the objective of future research.

References

  1. Altisen, K., Moy, M.: ac2lus: bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language Lustre. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS), Brussels, Belgium (2010)

  2. Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: Paterson, M. (ed.) Proceedings of ICALP 1990. LNCS, vol. 443, p. 335. Springer, Berlin (1990)

  3. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 200–236. Springer, Berlin (2004)

  4. Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87–124. Springer, Berlin (2004)

  5. Chakraborty, S., Liu, Y., Stoimenov, N., Thiele, L., Wandeler, E.: Interface-based rate analysis of embedded systems. In: RTSS 2006, pp. 25–34 (2006)

  6. Cimatti, A., Palopoli, L., Ramadian, Y.: Symbolic computation of schedulability regions using parametric timed automata. In: RTSS 2008, pp. 80–89 (2008)

  7. de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Berlin (2001)

  8. de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Timed interfaces. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, pp. 108–122. Springer, Berlin (2002)

  9. Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006). IEEE, New York (2006)

  10. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis—the SymTA/S approach. IEEE Proc. Comput. Digit. Tech. 152(2), 148–166 (2005)

    Article  Google Scholar 

  11. Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT 2009, pp. 107–116. ACM/IEEE, New York (2009)

  12. Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. Des Autom. Embed. Syst. 14(3), 193–227 (2010)

    Article  Google Scholar 

  13. Perathoner, S.: Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy. PhD thesis. ETH Nbr: 19648. Pub Nbr: 127. Swiss Federal Institute of Technology Zurich, ETH Zurich (2011)

  14. Simalatsar, A., Ramadian, Y., Lampka, K., Perathoner, S., Passerone, R., Thiele, L.: Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. In: Proceedings of the 2011 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011. ACM, New York (2011)

  15. Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proceedings of the International Symposium on Circuits and Systems, vol. 4, pp. 101–104 (2000)

  16. Wandeler, E., Thiele, L.: Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. In: EMSOFT 2005, pp. 80–89. ACM/IEEE, New York (2005)

  17. Weiss, G., Alur, R.: Automata based interfaces for control and scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 4416, pp. 601–613. Springer, Berlin (2007)

Download references

Acknowledgments

This work is funded by the European Union project CERTAINTY under grant number 288175.

Author information

Authors and Affiliations

  1. Department of Information Technology, Uppsala University, Uppsala, Sweden

    Kai Lampka

  2. Computer Engineering and Communication Networks Lab, ETH Zurich, Zurich, Switzerland

    Simon Perathoner & Lothar Thiele

Authors
  1. Kai Lampka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon Perathoner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lothar Thiele
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kai Lampka.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lampka, K., Perathoner, S. & Thiele, L. Component-based system design: analytic real-time interfaces for state-based component implementations. Int J Softw Tools Technol Transfer 15, 155–170 (2013). https://doi.org/10.1007/s10009-012-0257-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-012-0257-7

Keywords

Search

Navigation