A “dual language” component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described.

A Dual Language Approach to the Development of Time-Critical Systems with UML

LAVAZZA, LUIGI ANTONIO;MORASCA, SANDRO;
2003-01-01

Abstract

A “dual language” component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described.
Jan Jürjens
Workshop on Critical System Development
15710661
Workshop on Critical System Development
San Francisco (USA)
21 ottobre 2003
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/1489042
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact