Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Modeling Real-Time Systems — Challenges and Work Directions

  • Conference paper
  • First Online:
Embedded Software (EMSOFT 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2211))

Included in the following conference series:

Abstract

The evolution of information sciences and technologies is characterized by the extensive integration of embedded components in systems used in various application areas, from telecommunications to automotive, manufacturing, medical applications, e-commerce etc. In most cases, embedded components are real-time systems that continuously interact with other systems and the physical world. Integration and continuous interaction of software and hardware components makes the assurance of global quality a major issue in system design. The failure of a component may have catastrophic consequences on systems performance, security, safety, availability etc.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. C. Audsley, A. Burns, and M. F. Richardson. Hard real-time scheduling: the deadline monotonic approach. In Workshop on real-time operating systems and software, 1991.

    Google Scholar 

  2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

    Article  MathSciNet  Google Scholar 

  3. K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proc. RTSS 1999, pages 154–163. IEEE Computer Society Press, 1999.

    Google Scholar 

  4. K. Altisen, G. Gößler, and J. Sifakis. A methodology for the construction of scheduled systems. In M. Joseph, editor, proc. FTRTFT 2000, volume 1926 of LNCS, pages 106–120. Springer-Verlag, 2000.

    Google Scholar 

  5. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on ”control-theoretical approaches to real-time computing” (to appear), 2001.

    Google Scholar 

  6. H. Ben-Abdallah, I. Lee, and O. Sokolsky. Specification and analysis of real-time systems with Paragon. In Annals of Software Engineering, 1999.

    Google Scholar 

  7. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.

    Article  Google Scholar 

  8. S. Bornot, G. Gößler, and J. Sifakis. On the construction of live timed systems. In S. Graf and M. Schwartzbach, editors, Proc. TACAS 2000, volume 1785 of LNCS, pages 109–126. Springer-Verlag, 2000.

    Google Scholar 

  9. A. Benveniste, P. LeGuernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103–149, 1991.

    Article  MathSciNet  Google Scholar 

  10. V. Bertin, M. Poize, and J. Sifakis. Towards validated real-time software. In Proc. 12th Euromicro Conference on Real Time Systems, pages 157–164, 2000.

    Google Scholar 

  11. S. Bornot and J. Sifakis. An algebraic framework for urgency. Information and Computation, 163:172–202, 2000.

    Article  MathSciNet  Google Scholar 

  12. A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic modelchecking for real-time systems. In Proc. IEEE Real-Time Systems Symposium, RTSS’97. IEEE Computer Society Press, 1997.

    Google Scholar 

  13. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Proc. COMPOS’97, volume 1536 of LNCS. Springer-Verlag, 1998.

    Google Scholar 

  14. E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. TAXYS = ESTEREL + KRONOS. a toolfor the development and verification of real-time embedded systems. In Proc. CAV’01, volume 2102 of LNCS, pages 391–395. Springer-Verlag, 2001.

    Google Scholar 

  15. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208–219. Springer-Verlag, 1996.

    Google Scholar 

  16. R. Ernst, D. Ziegenbein, K. Richter, L. Thiele, and J. Teich. Hardware/ software codesign of embedded systems — the SPI workbench. In Proc. Int. Workshop on VLSI, Orlando, Florida, 1999.

    Google Scholar 

  17. M. Gonzáles, M. Klein, and J. Lehoczky. Fixed priority scheduling of periodic tasks with varying execution priorities. In Proc. RTSS 1991, 1991.

    Google Scholar 

  18. Real-Time Java Working Group. International j consortium specification. Technicalreport, InternationalJ Consortium, 2000.

    Google Scholar 

  19. OMG Working Group. Response to the omg rfp for schedulability, performance, and time. TechnicalReport ad/2001-06-14, OMG, June 2001.

    Google Scholar 

  20. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305–1320, September 1991.

    Article  Google Scholar 

  21. T. A. Henzinger, B. Horowitz, and C. Meyer Kirsch. Embedded control systems development with Giotto. In Proc. LCTES 2001 (to appear), 2001.

    Google Scholar 

  22. M.G. Härbour, M.H. Klein, R. Obenza, B. Pollak, and T. Ralya. A Practitioner’s Handbook for Real-Time Analysis. Kluwer, 1993.

    Google Scholar 

  23. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

    Google Scholar 

  24. E. A. Lee et al. Overview of the Ptolemy project. Technical Report UCB/ERL M01/11, University of California at Berkeley, 2001.

    Google Scholar 

  25. E.A. Lee. What’s ahead for embedded software. Computer, IEEE, pages 18–25, September 2000.

    Google Scholar 

  26. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1), 1973.

    Google Scholar 

  27. R. Milner. Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  28. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E.W. Mayr and C. Puech, editors, STACS’95, volume 900 of LNCS, pages 229–242. Springer-Verlag, 1995.

    Google Scholar 

  29. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. CAV’91, volume 575 of LNCS. Springer-Verlag, July 1991.

    Google Scholar 

  30. J. Sifakis. Use of petri nets for performance evaluation. In Proc. 3rd Intl. Symposium on Modeling and Evaluation, pages 75–93. IFIP, North Holland, 1977.

    Google Scholar 

  31. S. Tripakis and S. Yovine. Modeling, timing analysis and code generation of PATH’s automated vehicle control application software. In Proc. CDC’01 (to appear), 2001.

    Google Scholar 

  32. S. Tripakis and S. Yovine. Timing analysis and code generation of vehicle controlsoft ware using taxys. In Proc. Workshop on Runtime Verification, RV’01, volume 55, Paris, France, July 2001. Elsevier.

    Google Scholar 

  33. S. Vestal. MetaH support for real-time multi-processor avionics. In Proc. IEEE Workshop on Parallel and Distributed Real-Time Systems, pages 11–21, 1997.

    Google Scholar 

  34. D. Wheeler. ADA 95. The Lovelace Tutorial. Springer-Verlag, 1996.

    Google Scholar 

  35. S. Yovine. KRONOS: A verification toolfor real-time systems. Software Tools for Technology Transfer, 1(1+2):123–133, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Verimag, 2 rue Vignate, 38610, Gières, France

    Joseph Sifakis

Authors
  1. Joseph Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, 94720-1770, USA

    Thomas A. Henzinger  & Christoph M. Kirsch  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sifakis, J. (2001). Modeling Real-Time Systems — Challenges and Work Directions. In: Henzinger, T.A., Kirsch, C.M. (eds) Embedded Software. EMSOFT 2001. Lecture Notes in Computer Science, vol 2211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45449-7_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-45449-7_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42673-8

  • Online ISBN: 978-3-540-45449-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation