Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

Contract-Based Compositional Scheduling Analysis for Evolving Systems

  • Conference paper

Part of the book series:IFIP Advances in Information and Communication Technology ((IFIPAICT,volume 403))

Included in the following conference series:

  • 2191Accesses

Abstract

The objective of this work is the analysis and verification of distributed real-time systems. Such systems have to work in a timely manner in order to deliver the desired services. We consider a system architecture with multiple computation resources. The aim is to work out a compositional state-based analysis technique to determine exact response times and to validate end-to-end deadlines. Further, we consider such systems in a larger context, where a set of systems work in a collaborative and distributed fashion. A major aspect of such collaborative systems is the dynamic evolution. New systems can participate, existing systems may leave because of failures, or properties may change. We use contracts to encapsulate systems which work in a collaborative manner. These contracts define sound timing bounds on services offered to the environment. When some systems evolve, only those parts which changed need to be re-validated.

This work was partly supported by European Commission funding the Large-scale integrating project (IP) proposal under ICT Call 7 (FP7-ICT-2011-7) Designing for Adaptability and evolutioN in System of systems Engineering (DANSE) (No. 287716), and by the German Research Council (DFG) as part of the Transregional Collaborative Research Center ’Automatic Verification and Analysis of Complex Systems’ (SFB/TR 14 AVACS).

Similar content being viewed by others

Keywords

References

  1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article MathSciNet MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. Cassez, F., Larsen, K.: The Impressive Power of Stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138–152. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using uppaal 4.1. In: Nicolescu, G., Mosterman, P.J. (eds.) Model-Based Design for Embedded Systems, pp. 93–119 (2009)

    Google Scholar 

  5. Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: Schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 67–82. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  6. Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: Parallel and Distributed Processing Symposium (April 2006)

    Google Scholar 

  7. Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation 111, 394–406 (1992)

    MathSciNet  Google Scholar 

  8. Richter, K.: Compositional Scheduling Analysis Using Standard Event Models. PhD thesis, Technical University of Braunschweig, Braunschweig, Germany (2004)

    Google Scholar 

  9. Rox, J., Ernst, R.: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE, Leuven, Belgium (2010)

    Google Scholar 

  10. Thiele, L., Chakraborty, S., Gries, M., Maxiaguine, A., Greutert, J.: Embedded software in network processors - models and algorithms. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 416–434. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  11. 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)

    Google Scholar 

  12. Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117–134 (1994)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Information Technology (OFFIS), Germany

    Tayfun Gezgin & Stefan Henkler

  2. Carl von Ossietzky University Oldenburg, Germany

    Achim Rettberg & Ingo Stierand

Authors
  1. Tayfun Gezgin

    You can also search for this author inPubMed Google Scholar

  2. Stefan Henkler

    You can also search for this author inPubMed Google Scholar

  3. Achim Rettberg

    You can also search for this author inPubMed Google Scholar

  4. Ingo Stierand

    You can also search for this author inPubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, Northeastern University, 360 Huntington Ave, 409 Dana, 02115, Boston, MA, USA

    Gunar Schirner

  2. Departamento de Engenharia Elétrica, Federal University of Rio Grande do Sul, Av. Osvaldo Aranha, 103 Bairro Bom Fim, 90035-190, Porto Alegre, RS, Brazil

    Marcelo Götz

  3. Carl von Ossietzky University Oldenburg, Ammerländer Heerstraße 114-118, 26129, Oldenburg, Germany

    Achim Rettberg

  4. ZF Friedrichshafen AG, Graf-von-Soden-Platz 1, 88046, Friedrichshafen, Germany

    Mauro C. Zanella

  5. Heinz Nixdorf Institute, Paderborn University, Fürstenallee 11, 33102, Paderborn, Germany

    Franz J. Rammig

Rights and permissions

Copyright information

© 2013 IFIP International Federation for Information Processing

About this paper

Cite this paper

Gezgin, T., Henkler, S., Rettberg, A., Stierand, I. (2013). Contract-Based Compositional Scheduling Analysis for Evolving Systems. In: Schirner, G., Götz, M., Rettberg, A., Zanella, M.C., Rammig, F.J. (eds) Embedded Systems: Design, Analysis and Verification. IESS 2013. IFIP Advances in Information and Communication Technology, vol 403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38853-8_25

Download citation

Publish with us

[8]ページ先頭
©2009-2025 Movatter.jp