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

J.M. Wing; M. Chaudron; G.J. Tretmans; J. Woodcock; J. Davies; K.C.J. Wijbrans

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 conference › Paper › peer-review

1 Downloads (Pure)

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 language	English
Pages	1511-1526
Number of pages	16
Publication status	Published - 1999
Event	Wold Congress on Formal Methods in the Development of Computing Systems-Volume II - Duration: 1 Jan 1999 → 1 Jan 1999

Conference

Conference	Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Period	1/01/99 → 1/01/99

Keywords

FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

Cite this

@conference{ebdf35315bb140cf843963fc4953d234,

title = "Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System",

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.",

keywords = "FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS",

author = "J.M. Wing and M. Chaudron and G.J. Tretmans and J. Woodcock and J. Davies and K.C.J. Wijbrans",

year = "1999",

language = "English",

pages = "1511--1526",

note = "Wold Congress on Formal Methods in the Development of Computing Systems-Volume II ; Conference date: 01-01-1999 Through 01-01-1999",

}

TY - CONF

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

AU - Chaudron, M.

AU - Tretmans, G.J.

AU - Wijbrans, K.C.J.

A2 - Wing, J.M.

A2 - Woodcock, J.

A2 - Davies, J.

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

M3 - Paper

SP - 1511

EP - 1526

T2 - Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

Y2 - 1 January 1999 through 1 January 1999

ER -

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

Abstract

Conference

Keywords

Fingerprint

Cite this