Refinement from a control problem to program

Michael Schenke; Anders P. Ravn

Refinement from a control problem to program

Michael Schenke, Anders P. Ravn

University of Oldenburg

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

The distinguishing feature of the presented refinement approach is that it links formalisms from a top level requirements notation down to programs together in a mathematically coherent development trajectory. The approach uses Duration Calculus, a real-time interval logic, to specifyrequirements for a control task, exemplified by a steam boiler.The same formalism is used to refine requirements to a functional design.Through a suitable transformation this is taken to an event andaction based formalism. Finally components in this design for a distributedarchitecture are transformed to occam-like programs.

Original language	English
Title of host publication	LNCS 1165: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Publisher	Springer Verlag
Publication date	1996
Publication status	Published - 1996

OpenUrl availability

Full text

Cite this

@inproceedings{05d1673807a642209636d93dbd8f8eaa,

title = "Refinement from a control problem to program",

abstract = "The distinguishing feature of the presented refinement approach is that it links formalisms from a top level requirements notation down to programs together in a mathematically coherent development trajectory. The approach uses Duration Calculus, a real-time interval logic, to specifyrequirements for a control task, exemplified by a steam boiler.The same formalism is used to refine requirements to a functional design.Through a suitable transformation this is taken to an event andaction based formalism. Finally components in this design for a distributedarchitecture are transformed to occam-like programs.",

author = "Michael Schenke and Ravn, {Anders P.}",

year = "1996",

language = "English",

booktitle = "LNCS 1165: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control",

publisher = "Springer Verlag",

address = "Germany",

}

TY - GEN

T1 - Refinement from a control problem to program

AU - Schenke, Michael

AU - Ravn, Anders P.

PY - 1996

Y1 - 1996

N2 - The distinguishing feature of the presented refinement approach is that it links formalisms from a top level requirements notation down to programs together in a mathematically coherent development trajectory. The approach uses Duration Calculus, a real-time interval logic, to specifyrequirements for a control task, exemplified by a steam boiler.The same formalism is used to refine requirements to a functional design.Through a suitable transformation this is taken to an event andaction based formalism. Finally components in this design for a distributedarchitecture are transformed to occam-like programs.

AB - The distinguishing feature of the presented refinement approach is that it links formalisms from a top level requirements notation down to programs together in a mathematically coherent development trajectory. The approach uses Duration Calculus, a real-time interval logic, to specifyrequirements for a control task, exemplified by a steam boiler.The same formalism is used to refine requirements to a functional design.Through a suitable transformation this is taken to an event andaction based formalism. Finally components in this design for a distributedarchitecture are transformed to occam-like programs.

M3 - Article in proceedings

BT - LNCS 1165: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

PB - Springer Verlag

ER -