In: Proceedings of the Euromicro Workshop on Real Time, 1989, Como, Italy, pages 37-42. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: Some core ideas that lead to the definition of an environment for real-time systems are discussed. It is explained how integration, flexibility, and validation support can be achieved by using a suitable formalism as a hidden underlying kernel for the environment. The kernel formal notation proposed (called environment relationship nets, or ER nets) is an extension of Petri nets where tokens are not anonymous. Rather, they are environments, i.e. mappings between variables and values. The use of the kernel model for supporting the development cycle is described, and the flexibility of the model is shown.
Keywords: real-time software environment; environment token; net extension; quality assurance; environment/relationship net.