Skip to main content
SpringerLink
Log in

Real-Time Systems Development Using Hierarchical State Machines

  • Conference paper
Modular Programming Languages (JMLC 2003)

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

Included in the following conference series:

Abstract

This paper proposes a modular design of distributed real-time systems which is based on the Hierarchical Communicating Real-Time State Machines (HCRSM) modelling language, and the Violin toolset. HCRSM combines Statecharts constructs with CSP-like timed communications. Violin provides a visual environment supporting in a seamless way all the life-cycle development phases of an HCRSM system. Temporal validation rests on assertion checking during system simulation. Code generation is based on Java and a customizable runtime support.

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. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  2. Burns, A.: How to verify a safe real-time system: The application of model checking and timed automata to the production cell case study. Real-Time Systems 24(2), 135–151 (2003)

    Article  MATH  Google Scholar 

  3. CAN. A serial bus - not just for vehicles. In: Proc. of 1st Int. CAN Conference, ICC 1994 (1994)

    Google Scholar 

  4. Fortino, G., Nigro, L.: A toolset in Java2 for modeling, prototyping and implementing communicating real-time state machines. Microprocessors and Microsystems 23(3), 573–586 (2000)

    Article  Google Scholar 

  5. Fortino, G., Nigro, L., Pupo, F., Spezzano, D.: Super actors for real time. In: Proc. of 6th Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), January 2001, pp. 142–149 (2001)

    Google Scholar 

  6. Furfaro, A., Nigro, L., Pupo, F.: Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems (to appear)

    Google Scholar 

  7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995)

    Google Scholar 

  8. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  9. Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM) 5(4), 293–333 (1996)

    Article  Google Scholar 

  10. Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts. McGraw-Hill, New York (1998)

    Google Scholar 

  11. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)

    MATH  Google Scholar 

  12. Jahanian, F., Mok, A.K.: Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering 12(9), 890–904 (1986)

    Google Scholar 

  13. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1(1/2), 134–152 (1997)

    MATH  Google Scholar 

  14. Nigro, L., Pupo, F.: Schedulability analysis of real time actor systems using coloured petri nets. In: Agha, G., Cindio, F.D., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets – Advances in Petri Nets. LNCS, pp. 493–513. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Object Management Group. OMG Unified Modeling Language specification, version 1.4, http://www.rational.com/uml

  16. Raju, S.C.V., Shaw, A.C.: A prototyping environment for specifying and checking communicating real-time state machines. Software–Practice and Experience 24(2), 175–195 (1994)

    Article  Google Scholar 

  17. Selic, B., Gullerkson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing. John Wiley & Sons, Inc., Chichester (1994)

    MATH  Google Scholar 

  18. Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems (1998), http://www.rational.com/media/uml/resources/documentation/umlrt.pdf

  19. Shaw, A.C.: Communicating real-time state machines. IEEE Transactions on Software Engineering 18(9), 805–816 (1992)

    Article  Google Scholar 

  20. Shaw, A.C.: Time-stamped event histories: a real-time programming object. In: Proc. of 22nd IFIP/IFAC Workshop on Real Time Programming (WRTP 1997), Lyon, September 1997, pp. 97–100 (1997)

    Google Scholar 

  21. Shaw, A.C.: Real-Time Systems and Software. Wiley, Chichester (2001)

    Google Scholar 

  22. Vlissides, J.M., Linton, M.A.: Unidraw: a framework for building domainspecific graphical editors. ACM Transactions on Information Systems (TOIS) 8(3), 237–268 (1990)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratorio di Ingegneria del Software, Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria, I-87036, Rende (CS), Italy

    Angelo Furfaro, Libero Nigro & Francesco Pupo

Authors
  1. Angelo Furfaro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Libero Nigro
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesco Pupo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. No Affiliation,  

    László Böszörményi

  2. fürWirtschaftswissenschaften und Informatik, Universität Klagenfurt, Fakultät, Universitätsstraße 65-67, 9020, Klagenfurt, Austria

    Peter Schojer

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Furfaro, A., Nigro, L., Pupo, F. (2003). Real-Time Systems Development Using Hierarchical State Machines. In: Böszörményi, L., Schojer, P. (eds) Modular Programming Languages. JMLC 2003. Lecture Notes in Computer Science, vol 2789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45213-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45213-3_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40796-6

  • Online ISBN: 978-3-540-45213-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation