Skip to main content
SpringerLink
Log in

Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets

  • Chapter
  • First Online:
Concurrent Object-Oriented Programming and Petri Nets

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

Abstract

This paper proposes a modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm. The actor language fosters a development life cycle where the same concepts and entities migrate unchanged from specification down to design and object-oriented implementation. The paper concentrates on the specification and analysis of distributed real-time systems using Coloured Petri Nets. Both functional and temporal properties can be validated by simulation and occurrence graphs in the context of the Design/CPN tools.

A preliminary version of this paper was presented at the First Workshop on The Practical Use of Coloured Petri Nets and Design/CPN, University of Aarhus, K. Jensen (Ed.), DAIMI PB-532, pp. 271- 285, May 1998.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Agha, G.: Actors: A model for concurrent computation in distributed systems. MIT Press, 1986.

    Google Scholar 

  2. Agha, G.: Abstracting interaction patterns: a programming paradigm for open distributed systems. Formal Methods for Open Object-based Distributed Systems, Vol. 1, Najm E. and Stefani J. B. (eds), Chapman & Hall, 1996.

    Google Scholar 

  3. Agha, G., Miriyala, S., Sami, Y.: Visualizing Actor Programs using Predicate Transition Nets. Journal of Visual Languages and Computation, 3(2), June 1992, pp. 195–220.

    Article  Google Scholar 

  4. Beraldi, R., Nigro, L.: Performance of a Time Warp based simulator of large scale PCS networks. Simulation Practice and Theory, 6(2), February 1998, pp. 149–163.

    Article  Google Scholar 

  5. Bergmans, L., Aksit, M.: Composing synchronisation and real-time constraints, J. of Parallel and Distributed Computing, September 1996.

    Google Scholar 

  6. Cheng, A., Christensen, S., Mortensen, K.H.: Model checking Coloured Petri Nets: Exploiting strongly connected components. WoDES.96, August 20, 1996. http://www.daimi.aau.dk/designCPN/libs/askctl.

  7. Christensen, S., Jensen, K., Kristensen, L.: The Design/CPN Occurrence Graph Tool. User’s manual version 3.0. Computer Science Department, University of Aarhus, 1996. http://www.daimi.aau.dk/designCPN/.

  8. Fortino, G., Nigro, L.: QoS centred Java and actor based framework for real/virtual teleconferences. Proc. of SCS EuroMedia98, Leicester (UK), Jan. 5#x2013;6, 1998, pp. 129–133.

    Google Scholar 

  9. Fujimoto, R.M.: Parallel discrete event simulation. Communications of the ACM, 33(10), 1990, pp. 30–53.

    Article  Google Scholar 

  10. Genrich, H. J.: Predicate/transition nets. In Advances in Petri Nets, W. Brauer, W. Reisig and G. Rozenberg (eds.), New York, Springer Verlag, 1987.

    Google Scholar 

  11. Gerber, R., Lee, I.: A layered approach to automating the verification of real-time systems. IEEE Trans. on Software Engineering, 18(9), September 1992, pp. 768–784.

    Article  Google Scholar 

  12. Ghezzi, C., Mandrioli, D., Morasca, S., Pezzè, M.: A unified high-level Petri net formalism for time-critical systems. IEEE Trans. on Software Engineering, 17(2), February 1991, pp. 160–172.

    Article  Google Scholar 

  13. Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In Advances in Petri Nets, Springer Verlag, LNCS 483, 1991, pp. 313–341.

    Google Scholar 

  14. ISO/DIS 11898: Road Vehicles, Interchange of digital information, Controller Area Network (CAN) for high speed communications, 1992.

    Google Scholar 

  15. Jensen, K.: Coloured Petri Nets-Basic concepts, analysis methods and practical use. Vol. 1: Basic concepts. EATCS Monographs on Theoretical Computer Science. Springer, 1992.

    Google Scholar 

  16. Jensen, K.: Coloured Petri Nets-Basic concepts, analysis methods and practical use. Vol. 2: Analysis methods. EATCS Monographs on Theoretical Computer Science. Springer, 1994.

    Google Scholar 

  17. Jensen, K.: Coloured Petri Nets-Basic concepts, analysis methods and practical use. Vol. 3: Practical use. EATCS Monographs on Theoretical Computer Science. Springer, 1997.

    Google Scholar 

  18. Jensen, K., Christensen, S., Huber, P., Holla, M.: Design/CPN. A reference manual. Computer Science Department, University of Aaurus, 1996. http://www.daimi.aau.dk/designCPN/.

  19. Kirk, B., Nigro, L., Pupo, F.: Using real time constraints for modularisation. Springer-Verlag, LNCS 1204, 1997, pp. 236–251.

    Google Scholar 

  20. Kouvelas, I.., Hardman, V., Watson, A.: Lip synchronization for use over the Internet: analisys and implementation. In Proc. of IEEE Globecom’96, London UK, 1996.

    Google Scholar 

  21. Kummer, O., Moldt, D., Wienberg, F.: A framework for interacting Design/CPN and Java processes. In First Workshop On the Practical Use of CPN and Design/CPN, University of Aarhus, K. Jensen (Ed.), DAIMI PB-532, 1998, pp. 131–150, http://www.daimi.aau.dk/CPnets/

  22. Milner, R., Harper, R., Tofte, H.: The definition of Standard ML. MIT Press, 1990.

    Google Scholar 

  23. Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4), 1989, pp.541–580.

    Google Scholar 

  24. Nigro, L., Pupo, F.: Modelling and analysing DART systems through high-level Petri nets, LNCS 1091, Springer-Verlag, 1996, pp. 420–439.

    Google Scholar 

  25. Nigro, L., Pupo, F.: A modular approach to real-time programming using actors and Java. Control Engineering Practice, 6(12), December 1998, pp. 1485–1491,.

    Article  Google Scholar 

  26. Nigro, L., Tisato, F.: Timing as a programming in-the-large issue. Microsystems and Microprocessors, 20, June 1996, pp. 211–223.

    Google Scholar 

  27. Ren, S., Agha, G.: RTsynchronizer: language support for real-time specification in distributed systems. ACM SIGPLAN Notices, 30, 1995, pp. 50–59.

    Article  Google Scholar 

  28. Ren, S., Agha, G., Saito, M.: A modular approach for programming distributed real-time systems. J. of Parallel and Distributed Computing, Special issue on Object-Oriented Real-Time Systems, 1996.

    Google Scholar 

  29. Ren, S., Venkatasubramanian, N., Agha, G.: Formalizing multimedia QoS constraints using actors. Formal Methods for Open Object-based Distributed Systems (FMOODS.97), Vol. 2, H. Bowman and J. Derrick (Eds.), Chapman & Hall, 1997, pp. 139–153.

    Google Scholar 

  30. Saito, M., Agha, G.: A modular approach to real-time synchronisation. In Object-Oriented Real-Time Systems Workshop, 13–22, OOPS Messenger, ACM SIGPLAN, 1995.

    Google Scholar 

  31. Sami, Y., Vidal-Naquet, G.: Formalization of the behaviour of actors by coloured Petri nets and some applications. PARLE’ 91, 1991.

    Google Scholar 

  32. Shlaer, S., Mellor S.J.: Object Lifecycles-Modeling the world in states. Yourdon Press Computing Series, 1992.

    Google Scholar 

  33. Stankovic, J.A.: Misconceptions about real-time computing, IEEE Computer, 21(10), 1988, pp.19–19.

    Google Scholar 

  34. Tindel, K., Burns, A., Wellings, A.J.: Analysis of hard real time communications. Real Time Systems, 9, 1995, pp. 147–171.

    Article  Google Scholar 

  35. Tsai, J.J.P., Yang, S.J. Chang, Y.-H.: Timing Constraints Petri Nets and their application to schedulability analysis of real-time system specification. IEEE Trans. on Software Engineering, 21(1), January 1995, pp. 32–49.

    Article  Google Scholar 

  36. Verber, D., Colnaric, M., Frigeri, A.H., Halang, W.A.: Object orientation in the real-time system lifecycle. Proc. of 22nd IFAC/IFIP Workshop on Real-Time Programming, Lyon, 15#x2013;17 September 1997, pp. 77–82.

    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

    Libero Nigro & Francesco Pupo

Authors
  1. Libero Nigro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco Pupo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Nigro, L., Pupo, F. (2001). Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation