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 which can support a wide set of views at different levels of abstraction and for different kinds of users at the same level is shown. The problems connected with the quality assurances of the system being developed are also discussed.

The rationale of an environment for real-time software

MORASCA, SANDRO;
1989-01-01

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 which can support a wide set of views at different levels of abstraction and for different kinds of users at the same level is shown. The problems connected with the quality assurances of the system being developed are also discussed.
1989
EUROMICRO Workshop on Real Time
0818619562
EUROMICRO Workshop on Real Time
Como
14-16 giugno 1989
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/1761975
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact