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

Authors:
Luigi Lavazza;Sandro Morasca;Angelo Morzenti
Affiliations:
CEFRIEL and Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy;Dipartimento di Scienze della Cultura, Politiche e dell'Informazione, Università degli Studi dell'Insubria, Como, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 3
Cited 2

Object-oriented logical specification of time-critical systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated deductive requirements analysis of critical systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

An evaluation of timed scenario notations

Journal of Systems and Software
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.