Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System

J.M. Wing (Editor), M. Chaudron, G.J. Tretmans, J. Woodcock (Editor), J. Davies (Editor), K.C.J. Wijbrans

    Research output: Contribution to conferencePaperpeer-review

    Abstract

    We describe the experience of the industrial application of formal methods in the development of a mission critical system. We give a description of the system that was to be developed and the methods that were employed to realize the high level of reliability that was required. In this paper we will describe which formal techniques were used, how these techniques were used, the influence of formal methods on the development process and recommendations for managing the use of formal methods.
    Original languageEnglish
    Pages1511-1526
    Number of pages16
    Publication statusPublished - 1999
    EventWold Congress on Formal Methods in the Development of Computing Systems-Volume II -
    Duration: 1 Jan 19991 Jan 1999

    Conference

    ConferenceWold Congress on Formal Methods in the Development of Computing Systems-Volume II
    Period1/01/991/01/99

    Keywords

    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

    Fingerprint

    Dive into the research topics of 'Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System'. Together they form a unique fingerprint.

    Cite this