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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Agha, G.: Actors: A model for concurrent computation in distributed systems. MIT Press, 1986.
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.
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.
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.
Bergmans, L., Aksit, M.: Composing synchronisation and real-time constraints, J. of Parallel and Distributed Computing, September 1996.
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.
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/.
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.
Fujimoto, R.M.: Parallel discrete event simulation. Communications of the ACM, 33(10), 1990, pp. 30–53.
Genrich, H. J.: Predicate/transition nets. In Advances in Petri Nets, W. Brauer, W. Reisig and G. Rozenberg (eds.), New York, Springer Verlag, 1987.
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.
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.
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.
ISO/DIS 11898: Road Vehicles, Interchange of digital information, Controller Area Network (CAN) for high speed communications, 1992.
Jensen, K.: Coloured Petri Nets-Basic concepts, analysis methods and practical use. Vol. 1: Basic concepts. EATCS Monographs on Theoretical Computer Science. Springer, 1992.
Jensen, K.: Coloured Petri Nets-Basic concepts, analysis methods and practical use. Vol. 2: Analysis methods. EATCS Monographs on Theoretical Computer Science. Springer, 1994.
Jensen, K.: Coloured Petri Nets-Basic concepts, analysis methods and practical use. Vol. 3: Practical use. EATCS Monographs on Theoretical Computer Science. Springer, 1997.
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/.
Kirk, B., Nigro, L., Pupo, F.: Using real time constraints for modularisation. Springer-Verlag, LNCS 1204, 1997, pp. 236–251.
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.
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/
Milner, R., Harper, R., Tofte, H.: The definition of Standard ML. MIT Press, 1990.
Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4), 1989, pp.541–580.
Nigro, L., Pupo, F.: Modelling and analysing DART systems through high-level Petri nets, LNCS 1091, Springer-Verlag, 1996, pp. 420–439.
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,.
Nigro, L., Tisato, F.: Timing as a programming in-the-large issue. Microsystems and Microprocessors, 20, June 1996, pp. 211–223.
Ren, S., Agha, G.: RTsynchronizer: language support for real-time specification in distributed systems. ACM SIGPLAN Notices, 30, 1995, pp. 50–59.
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.
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.
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.
Sami, Y., Vidal-Naquet, G.: Formalization of the behaviour of actors by coloured Petri nets and some applications. PARLE’ 91, 1991.
Shlaer, S., Mellor S.J.: Object Lifecycles-Modeling the world in states. Yourdon Press Computing Series, 1992.
Stankovic, J.A.: Misconceptions about real-time computing, IEEE Computer, 21(10), 1988, pp.19–19.
Tindel, K., Burns, A., Wellings, A.J.: Analysis of hard real time communications. Real Time Systems, 9, 1995, pp. 147–171.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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