Abstract
The IPTES project is aimed to provide a methodology and an integrated environment to support the development of embedded Real-Time Systems with incremental, distributed and heterogeneous prototyping. IPTES architecture relies on High Level Timed Petri Nets (HLTPN) as the kernel notation for prototype animation and analysis. According to the environment characteristics, a distributed execution of HLTPN is required. First a method for partitioning the nets, reflecting the required functionality of the higher layers of the environment, is provided. Specific problems of the distributed execution of nets are analyzed, and an algorithm that maintains the time semantics of the net is provided, along with a brief description of the necessary support from the communication layer. Other issues addressed are how to provide a realistic animation, in relation with the time notion perceived by the developer, and how to execute heterogeneous prototypes when some subnets are replaced by procedural code.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Berthomieu, B. and Diaz, M. 1991. Modeling and verification of time dependent systems using Time Petri Nets.IEEE Transitions on Software Engineering, 17(3).
Blaue, C. and Haβ, M. 1990. A META IV subset compiler. Technical report, Kiel University, April.
Boehm, B. 1988. A spiral model of software development and enhancement.IEEE Computer, 21(5): 61–72.
Elmstrøm, R., Lassen, P.B., and Andersen, M. 1993. An executable subset of VDH-SL in a SA/RT framework.Real-Time Systems, 5(2/3): 197–211.
Elmstrøm, R., Lintulampi, R., and Pezzé, M. 1993. Giving semantics to SA/RT by means of High-Level Timed Petri nets.Real-Time Systems, 5 (2/3): 249–271.
Felder, M., Ghezzi, C., and Pezzé M.: 1993. High-Level Timed Petri Nets as a kernel for executable specification.Real-Time Systems 5 (2/3): 235–248.
Ghezzi, C., Mandrioli, D., Morasca, S., and Pezzé, M. A unified High-Level Petri net formalism for time-critical systems.IEEE Transactions on Software Engineering. 17(2): 160–172.
Jones C.B. 1990.Systematic Software Development Using VDM (second edition. Englewood Cliffs, NJ, Prentice Hall.
Lamport, L. 1978. Time, clocks and the ordering of events in a distributed system.Communications of the ACM, 21(7): 558–565.
León, Puente, J.A. de la, Dueñas, J.C., Alonso, A., and Zakhama, N. 1993. The IPTES environment: Support for incremental, heterogeneous and distributed prototyping.Real-Time Systems 5 (2/3): 153–171.
León, G., Dueñas, J.C., Puente, J.A. de la, and Alonso, A. 1992. Real time object communication protocol for incremental and distributed prototyping. In4th Euromicro Workshop on Real-Time Systems, pages 79–84, 1992.
Morasca, S., Pezzé, M., and Trubian M. 1991. Timed high-level nets.Real-Time Systems, 3(2):165–189.
Puente, J.A. de la, León, G., Ruz, M.A., and Sink, E.W. 1992. An architecture for incremental prototyping of distributed Real-Time Systems. In (H. Kopetz, ed.)Distributed Computer Control Systems 1991. Oxford, UK: Pergamon Press.
Pulli, P. and Elmstrøm, R. 1993. IPTES: A concurrent engineering approach for real-time software development.Real-Time Systems, 5 (2/3): 139–152.
Pulli, P. and Heikkinen, M. 1992. Heterogeneous prototypes in concurrent engineering of embedded software. In (Luc Boullart and Juan A. de la Puente, ed.)Real-Time Programming 1992, pages 49–54. Oxford, UK: Pergamon Press.
Pulli, P., Heikkinen, M., and Lintulampi, R. 1993. Graphical animation as a form of prototyping of real-time software systems.Real-Time Systems, 5 (2/3): 173–195.
Pulli, P., Elmstrøm, R., León, G., and Puente, J.A. de la 1991. IPTES—incremental prototyping technology for embedded Real-Time Systems. InESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991, pages 497–512. ESPRIT, Commission of the European Communities, November. IPTES Doc.id. :IPTES-IFAD-61-V1.1.
Silva, M.Las redes de Petri en la Automática y en la Informática. Editorial AC, Madrid, 1985 (In Spanish).
Ward, T. 1986. The transformation schema: An extension of the data flow diagram to represent control and timing.IEEE Transactions on Software Engineering. SE-12(2): 198–210.
Ward, P.T. and Mellor, S.J.,Structured Development for Real-Time Systems, volume 1–3. New York: Yourdon Press, 1985.
Author information
Authors and Affiliations
Additional information
This work has been partially funded by the EEC ESPRIT programme under contract no. P5570.
Rights and permissions
About this article
Cite this article
De La Puente, J.A., Alonso, A., León, G. et al. Distributed execution of specifications. Real-Time Syst 5, 213–234 (1993). https://doi.org/10.1007/BF01088589
Issue Date:
DOI: https://doi.org/10.1007/BF01088589