Skip to main content
SpringerLink
Log in

Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems

  • Conference paper
  • First Online:
Parallel Computing Technologies (PaCT 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10421))

Included in the following conference series:

Abstract

In this paper we propose a stopwatch automata-based model of a modular computer system operation. This model provides an ability to perform schedulability analysis for a wide class of modular computer systems. It is formally proven that the model satisfies a set of correctness requirements. It is also proven that all the traces, generated by the model interpretation, are equivalent for schedulability analysis purposes. The traces equivalence allows to use any trace for analysis and therefore the proposed approach is much more efficient than Model Checking, especially for parallel systems with many simultaneous events. The software implementation of the proposed approach is also presented in the paper.

The work is supported by the RFBR grant 17-07-01566.

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

Access this chapter

Log in via an institution
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 EPUB and 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. Avionics application software standard interface: ARINC specification 653. Aeronautical Radio, Annapolis (1997)

    Google Scholar 

  2. AUTOSAR. Enabling Innovation. http://www.autosar.org/

  3. Obermaisser, R., et al.: DECOS: an integrated time-triggered architecture. Elektrotech. Inftech. 123(3), 83–95 (2006). doi:10.1007/s00502-006-0323

    Article  Google Scholar 

  4. Marinescu, S., et al.: Timing analysis of mixed-criticality hard real-time applications implemented on distributed partitioned architectures. In: Proceedings of 2012 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Krakow, Poland, pp. 1–4 (2012). doi:10.1109/ETFA.2012.6489720

  5. Macariu, G., Cretu, V.: Timed automata model for component-based real-time systems. In: Proceedings of 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, Oxford, UK, pp. 121–130 (2010). doi:10.1109/ECBS.2010.20

  6. Craveiro, J.P., Silveira, R.O., Rufino, J.: hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator. In: Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, pp. 9–14 (2012)

    Google Scholar 

  7. Khoroshilov, A., et al.: AADL-based toolset for IMA system design and integration. SAE Int. J. Aerosp. 5(2), 294–299 (2012). doi:10.4271/2012-01-2146

    Article  Google Scholar 

  8. Balashov, V.V., Balakhanov, V.A., Kostenko, V.A.: Scheduling of computational tasks in switched network-based IMA systems. In: Proceedings of International Conference on Engineering and Applied Sciences Optimization, Athens, Greece, pp. 1001–1014 (2014)

    Google Scholar 

  9. Cassez, F., Larsen, K.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138–152. Springer, Heidelberg (2000). doi:10.1007/3-540-44618-4_12

    Chapter  Google Scholar 

  10. Tretyakov, A.: Automation of scheduling for periodic real-time systems (in Russian). Proc. Inst. Syst. Program. 22, 375–400 (2012). doi:10.1134/S0361768813050046

    Article  Google Scholar 

  11. Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004). doi:10.1007/978-3-540-27755-2_3

    Chapter  Google Scholar 

  12. Andre, E.: Observer patterns for real-time systems. In: Proceedings of 2013 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, pp. 125–134 (2013). doi:10.1109/ICECCS.2013.26

Download references

Author information

Authors and Affiliations

  1. Lomonosov Moscow State University, Moscow, Russia

    Alevtina Glonina & Anatoly Bahmurov

Authors
  1. Alevtina Glonina
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anatoly Bahmurov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alevtina Glonina .

Editor information

Editors and Affiliations

  1. Russian Academy of Sciences, Novosibirsk, Russia

    Victor Malyshkin

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Glonina, A., Bahmurov, A. (2017). Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2017. Lecture Notes in Computer Science(), vol 10421. Springer, Cham. https://doi.org/10.1007/978-3-319-62932-2_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62932-2_28

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-62931-5

  • Online ISBN: 978-3-319-62932-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation