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


Developing time-critical systems requires expressive, rigorous, easy to use notations to describe the time-related features of the systems, in a way that is formal enough to support and automate activities like property verification and test case generation. We propose a dual-language approach provided with a descriptive formalism for specifying the properties of a system and its components in addition to the typical UML (and UML-RT) diagrams. This description consists of a formula of a new logic, called OTL (Object Temporal Logic), which is an extension of OCL. The approach is applied to a case study derived from the authors’ industrial experiences.

DOI: 10.1016/j.entcs.2004.02.079

Extracted Key Phrases

6 Figures and Tables

Cite this paper

@article{Lavazza2005ADL, title={A Dual Language Approach to the Development of Time-Critical Systems}, author={Luigi Lavazza and Sandro Morasca and Angelo Morzenti}, journal={Electr. Notes Theor. Comput. Sci.}, year={2005}, volume={116}, pages={227-239} }