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.
|Title of host publication||LNCS 1165: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control|
|Publication status||Published - 1996|
Schenke, M., & Ravn, A. P. (1996). Refinement from a control problem to program. In LNCS 1165: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control Springer Verlag.