Lessons from the application of formal methods to the design of a storm surge barrier control system

M.R.V. Chaudron, J. Tretmans, K.C.J. Wijbrans

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

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
Title of host publicationFM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999)
EditorsJ. Wing, J. Woodcock, J. Davies, J.M. Wing
PublisherSpringer
Pages1511-1526
Volume2
ISBN (Print)3-540-66588-9
DOIs
Publication statusPublished - 1999
Eventconference; World Congress on Formal Methods in the Development of Computing Systems -
Duration: 1 Jan 1999 → …

Publication series

NameLecture Notes in Computer Science
Volume1709
ISSN (Print)0302-9743

Conference

Conferenceconference; World Congress on Formal Methods in the Development of Computing Systems
Period1/01/99 → …
OtherWorld Congress on Formal Methods in the Development of Computing Systems

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