Advertisement

Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets

  • Libero Nigro
  • Francesco Pupo
Chapter
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Actors Modularity Real Time Design/CPN Temporal Analysis Occurrence Graphs 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Agha, G.: Actors: A model for concurrent computation in distributed systems. MIT Press, 1986.Google Scholar
  2. 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. 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.CrossRefGoogle Scholar
  4. 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.CrossRefGoogle Scholar
  5. 5.
    Bergmans, L., Aksit, M.: Composing synchronisation and real-time constraints, J. of Parallel and Distributed Computing, September 1996.Google Scholar
  6. 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. 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. 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. 9.
    Fujimoto, R.M.: Parallel discrete event simulation. Communications of the ACM, 33(10), 1990, pp. 30–53.CrossRefGoogle Scholar
  10. 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. 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.CrossRefGoogle Scholar
  12. 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.CrossRefGoogle Scholar
  13. 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. 14.
    ISO/DIS 11898: Road Vehicles, Interchange of digital information, Controller Area Network (CAN) for high speed communications, 1992.Google Scholar
  15. 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. 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. 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. 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. 19.
    Kirk, B., Nigro, L., Pupo, F.: Using real time constraints for modularisation. Springer-Verlag, LNCS 1204, 1997, pp. 236–251.Google Scholar
  20. 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. 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. 22.
    Milner, R., Harper, R., Tofte, H.: The definition of Standard ML. MIT Press, 1990.Google Scholar
  23. 23.
    Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4), 1989, pp.541–580.Google Scholar
  24. 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. 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,.CrossRefGoogle Scholar
  26. 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. 27.
    Ren, S., Agha, G.: RTsynchronizer: language support for real-time specification in distributed systems. ACM SIGPLAN Notices, 30, 1995, pp. 50–59.CrossRefGoogle Scholar
  28. 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. 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. 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. 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. 32.
    Shlaer, S., Mellor S.J.: Object Lifecycles-Modeling the world in states. Yourdon Press Computing Series, 1992.Google Scholar
  33. 33.
    Stankovic, J.A.: Misconceptions about real-time computing, IEEE Computer, 21(10), 1988, pp.19–19.Google Scholar
  34. 34.
    Tindel, K., Burns, A., Wellings, A.J.: Analysis of hard real time communications. Real Time Systems, 9, 1995, pp. 147–171.CrossRefGoogle Scholar
  35. 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.CrossRefGoogle Scholar
  36. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Libero Nigro
    • 1
  • Francesco Pupo
    • 1
  1. 1.Laboratorio di Ingegneria del Software Dipartimento di Elettronica Informatica e SistemisticaUniversità della CalabriaRende (CS)Italy

Personalised recommendations