Abstract
This paper summarizes the support for incremental, heterogeneous and distributed prototyping of real time systems developed as a part of the IPTES environment. After describing the overall architecture of the environment and related approaches, the paper focuses on the internal levels of the environment.
IPTES environment supports the incremental development of Real-Time Systems under a spiral life cycle model. The user starts from a SA/RT description enhanced with an executable VDM dialect for minispecifications. Both parts are converted into high level timed Petri nets (HLTPN). The partition of the model at the SA/RT level is reflected at the HLTPN as distributed subnets. A distributed prototype execution implies the joint execution of distributed subnets. Finally, some parts of the prototype could be substituted by actual target code and executed with the rest of the prototype. This is the concept of heterogeneous prototype supported by IPTES tools. A communication protocol to allow the interchange of information while executing has been designed and implemented in the IPTES environment.
A detailed description of the Real Time Object Communication Layer (RTOC), its constituent primitives and internal algorithms is presented. This discussion provides the background to understand the behavior of the High Level Timed Petri Net Kernel (HLTPNK) to execute distributed subnets and the Run Time Adaptation Kernel (RTAK) to control the execution of target code as users of the RTOC.
Finally, the method used to generate successive versions of the protocol and kernel modules in order to reduce the risks during the implementaton is outlined.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Boehm, B. 1988. A spiral model of software development and enhancement.IEEE Computer, 21(5):61–72.
Crespo, A., de la Puente, J.A., Espinosa, A., and Garcia-Fornes, A. 1989. Ada tools for rapid prototyping of Real-Time Systems. InAda: The Design Choice. Cambridge University Press: 105–114.
ECMA. 1990. PCTE Abstract Specification. Technical Report, European Computer Manufacturers Association.
R. Lintulampi. 1990. A specification of the simulation of SA/RT models. ESPEX project report. Oulu, Finland, Technical Research Centre of Finland.
R. Elmstrøm, P.B. Lassen, M. Andersen. 1993. An executable subset of VDM-SL, in an SA/RT framework.Real-Time Systems, 5(2/3): - .
M. Felder, C. Ghezzi, M. Pezzé. 1993. High level timed Petri nets as a kernel for executable specification.Real-Time Systems, 5(2/3): - .
Gabriel, R. 1989. Draft report on requirements for a common prototyping system.ACM Sigplan Notices, 24(3):93–165.
Ghezzi, C., Mandrioli, D., Morasca, S., Pezzé, M. 1991. A unified high-level petri net formalism for time critical systems.IEEE Transactions on Software Engineering, 2(17):160–173.
Graf, M. 1990.Building a visual designer's environment. (S.-K Chang, ed.) Englewood Cliffs, NJ: Prentice Hall.
Harel, D. 1987. Statecharts: A visual formalism for complex systems.Science of Computer Programming. 8(3):231–274.
Harel, D., Lachover, H., Naamad, A., Pneuli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. 1990. Statemate: A working environment for the development of complex reactive systems.IEEE Transactions on Software Engineering. 16(4):403–414.
Hayes, R. and Schlichting, D. 1987. Facilitating mixed language programming in distributed systems.IEEE Transactions On Software Engineering, SE-13(12):1254–1264.
Jones, O. 1986.Introduction to the X Window System. Englewood Cliffs, NJ: Prentice Hall.
Kordon, F., Estraillier, P., and Card, R. 1990. Rapid Ada prototyping: Principles and example of a complex application.Proceedings of the 9th Annual International Phoenix Conference on Computer and Communications, IEEE, Computer Society Press.
Kramer, J. 1990. Configuration programming—a framework for the development of distributable systems.Int. Conf. on Computer Systems and Software Engineering, May.
Magee, J., Kramer, J., and Dulay, N. Structuring parallel and distributed programs.Proceedings of IEE International Workshop on Configurable Didstributed Systems. Imperial College, London, 1992.
Lamb, D. 1987. IDL: Sharing intermediate representations.ACM Transactions on Programming Languages. 9(3):297–318.
Pulli, P., Elmstrøm. 1993. IPTES: A concurrent engineering approach for real-time software development.Real-Time Systems, 5(2/3): - .
de la Puente, J.A., Alonso, A., León, G., and Dueñas, J.C.. 1993. Distributed execution of specifications.Real-Time Systems, 5(2/3): - .
Purtilo, J.M. and Jalote, P. 1989. An environment for prototyping distributed applications. Technical Report UMIACS-TR-89-43, University of Maryland, USA, 1989.
Purtilo, J.M. 1988. A software interconnection technology. Technical Report UMIACS-TR-88-83, University of Maryland, USA.
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
León, G., Dueñas, J.C., De La Puente, J.A. et al. The IPTES environment: Support for incremental, heterogeneous and distributed prototyping. Real-Time Syst 5, 153–171 (1993). https://doi.org/10.1007/BF01088586
Issue Date:
DOI: https://doi.org/10.1007/BF01088586