Results 1 
5 of
5
Transformational Design of RealTime Systems Part I: From Requirements to Program Specifications
 Acta Informatica
, 1997
"... In the two parts of this article a transformational approach to the design of distributed realtime systems is presented. The starting point are global requirements formulated in a subset of Duration Calculus called implementables and the target are programs in an occam dialect PL. In the first ..."
Abstract

Cited by 15 (4 self)
 Add to MetaCart
In the two parts of this article a transformational approach to the design of distributed realtime systems is presented. The starting point are global requirements formulated in a subset of Duration Calculus called implementables and the target are programs in an 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 statebased, SL is eventbased, 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.
Truth of duration calculus formulae in timed frames”,
 United Nations University, International Institute for Software Technology,
, 1996
"... Abstract. Duration calculus is a logical formalism designed for expressing and refining realtime requirements for systems. Timed frames are essentially transition systems meant for modeling the timedependent behaviour of programs. We investigate the interpretation of duration calculus formulae in ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
(Show Context)
Abstract. Duration calculus is a logical formalism designed for expressing and refining realtime requirements for systems. Timed frames are essentially transition systems meant for modeling the timedependent behaviour of programs. We investigate the interpretation of duration calculus formulae in timed frames. We elaborate this topic from different angles and show that they agree with each other. The resulting interpretation is expected to make it generally easier to establish semantic links between duration calculus and formalisms aimed at programming. Such semantic links are prerequisites for a solid underpinning of approaches to system development that cover requirement capture through coding using both duration calculus and some formalism(s) aimed at programming.
Decomposing RealTime Specifications
 COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, LNCS
, 1998
"... In this paper we show that every realtime system specified in a certain subset of Duration Calculus [24] can be decomposed into an untimed system communicating with suitable timers. Both asynchronous and synchronous communication are considered. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
In this paper we show that every realtime system specified in a certain subset of Duration Calculus [24] can be decomposed into an untimed system communicating with suitable timers. Both asynchronous and synchronous communication are considered.
Truth of Duration Calculus Formulae in Timed Frames
 Fundamenta Informaticae
, 1998
"... Duration calculus is a logical formalism designed for expressing and refining realtime requirements for systems. Timed frames are essentially transition systems meant for modeling the timedependent behaviour of programs. We investigate the interpretation of duration calculus formulae in timed fram ..."
Abstract
 Add to MetaCart
(Show Context)
Duration calculus is a logical formalism designed for expressing and refining realtime requirements for systems. Timed frames are essentially transition systems meant for modeling the timedependent behaviour of programs. We investigate the interpretation of duration calculus formulae in timed frames. We elaborate this topic from di#erent angles and show that they agree with each other. The resulting interpretation is expected to make it generally easier to establish semantic links between duration calculus and formalisms aimed at programming. Such semantic links are prerequisites for a solid underpinning of approaches to system development that cover requirement capture through coding using both duration calculus and some formalism(s) aimed at programming. 1991 Mathematics Subject Classification: 68Q55, 68Q60 1991 Computing Reviews Classification System: D.2.1, D.2.4, D.3.1, F.3.1, F.3.2 Keywords and Phrases: duration calculus, realtime requirements, timed frames, timedependent b...
From Java to mCRL2
, 2007
"... The importance of software quality, especially when this software when is used in critical applications, cannot be overestimated. Software correctness is considered an important contributor to software quality [1]. However, numerous difficulties exist in guaranteeing software to be correct [8]. The ..."
Abstract
 Add to MetaCart
(Show Context)
The importance of software quality, especially when this software when is used in critical applications, cannot be overestimated. Software correctness is considered an important contributor to software quality [1]. However, numerous difficulties exist in guaranteeing software to be correct [8]. The mCRL2 tool [4]