Skip to main content

With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures

  • Conference paper
Book cover Runtime Verification (RV 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8174))

Included in the following conference series:

  • 1505 Accesses

Motivation

With future societies and individuals possibly becoming more and more dependent on highly capable (control) systems, the ability to carry out precise system analysis and to enforce the expected behaviour of systems at run-time, i. e., during their operation, could become an irrevocable requirement. -Who would accept that a computer takes full or partial control over one’s car without believing that the system is always reacting as expected?- Correctness of system designs and their implementations is only one aspect. The other major aspect is the capability to build cost-effective systems. Advances in (consumer) electronics have brought about multi-cored micro-controllers equipped with considerably large memory. This will stimulate the building of embedded (control) systems where multiple applications can be integrated into a single controller and thereby effectively lower the per unit costs of a system as a whole.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Alur, R., Dill, D.L.: Automata For Modeling Real-Time Systems. In: Paterson, M. (ed.) Proc. of the 17th International Colloquium on Automata, Languages and Programming (ICALP 1990). LNCS, vol. 443, pp. 322–335. Springer, Heidelberg (1990)

    Google Scholar 

  2. Giannopoulou, G., Lampka, K., Stoimenov, N., Thiele, L.: Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems. In: Proc. International Conference on Embedded Software (EMSOFT), pp. 63–72. ACM, Tampere (2012)

    Chapter  Google Scholar 

  3. Lampka, K., Huang, K., Chen, J.-J.: Dynamic counters and the efficient and effective online power management of embedded real-time systems. In: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, pp. 267–276. ACM, Taipei (2011)

    Google Scholar 

  4. 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. Design Automation for Embedded Systems 14(3), 193–227 (2010)

    Article  Google Scholar 

  5. Lampka, K., Perathoner, S., Thiele, L.: Component-based system design: analytic real-time interfaces for state-based component implementations. In: International Journal on Software Tools for Technology Transfer, pp. 1–16 (2012)

    Google Scholar 

  6. Neukirchner, M., Lampka, K., Quinton, S., Ernst, R.: Multi-mode monitoring for mixed-criticality real-time systems. Accepted at CODES/ISS (2013)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lampka, K. (2013). With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. In: Legay, A., Bensalem, S. (eds) Runtime Verification. RV 2013. Lecture Notes in Computer Science, vol 8174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40787-1_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40787-1_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40786-4

  • Online ISBN: 978-3-642-40787-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics