Refinement from a control problem to program

Michael Schenke, Anders P. Ravn

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
    Title of host publicationLNCS 1165: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996

    Cite this

    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.