Transformational design of real-time systems. I: From requirements to program specifications
type: Item
instance of: scholarly article
title: Transformational design of real-time systems. I: From requirements to program specifications
zbMATH Open document ID: 0912.68129
author: Michael Schenke
author: Ernst-Rüdiger Olderog
published in: Acta Informatica
publication date: 1999-03-30T00:00:00Z
review text: In the two parts of this article a transformational approach to the design of distributed real-time systems is presented. The starting point are global requirements formulated in a subset of Duration Calculus called \textit{implementables} and the target are programs in an \textbf{occam} dialect PL. In the first part we show how the level of program specifications represented by a language SL can be reached. SL combines regular expressions with ideas from action systems and with time conditions, and can express the distributed architecture of the implementation. While Duration Calculus is state-based, SL is event-based, and the switch between these two worlds is a prominent step in the transformation from implementables to SL. Both parts of the transformational calculus rely on the mixed term techniques by which syntax pieces of two languages are mixed in a semantically coherent manner. In the first part of the article mixed terms between implementables and SL and in the second part of the article mixed terms between SL and PL are used. The approach is illustrated by the example of a computer controlled gas burner.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 1270776
zbMATH Keywords: duration calculus
zbMATH Keywords: occam
MaRDI profile type: Publication
full work available at URL: s002360050153
OpenAlex ID: W1964399638
DOI: 10.1007/S002360050153
Recommended article: Transformational design of real-time systems. II: From program specifications to programs
Recommended article: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
Recommended article: Q4000509
Recommended article: Transformational vs reactive refinement in real-time systems
Recommended article: Introduction to the Formal Design of Real-Time Systems
Recommended article: Design of the real time systems using temporal logic specifications: A case study
Recommended article: Q4316179
Recommended article: Q4823677
description: scientific article; zbMATH DE number 1270776