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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelFM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999)
RedacteurenJ. Wing, J. Woodcock, J. Davies, J.M. Wing
UitgeverijSpringer
Pagina's1511-1526
Volume2
ISBN van geprinte versie3-540-66588-9
DOI's
StatusGepubliceerd - 1999
Evenementconference; World Congress on Formal Methods in the Development of Computing Systems -
Duur: 1 jan 1999 → …

Publicatie series

NaamLecture Notes in Computer Science
Volume1709
ISSN van geprinte versie0302-9743

Congres

Congresconference; World Congress on Formal Methods in the Development of Computing Systems
Periode1/01/99 → …
AnderWorld Congress on Formal Methods in the Development of Computing Systems

Vingerafdruk

Duik in de onderzoeksthema's van 'Lessons from the application of formal methods to the design of a storm surge barrier control system'. Samen vormen ze een unieke vingerafdruk.

Citeer dit