Abstract
This paper revisits the experiences with the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable barrier which has to protect Rotterdam from floodings while, at almost the same time, not restricting shipping traffic to the port of Rotterdam. The control system, called BOS, completely autonomously decides about closing and opening of the barrier and, when necessary, also performs these tasks without human intervention. BOS is a safety-critical software system of the highest Safety Integrity Level according to the IEC 61508 standard. One of the reliability increasing techniques used during its development is formal methods. This paper revisits the earlier published experiences with the project after the system is in operation for ten years and has performed its first autonomous barrier operation on November 11th, 2007.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
IEC, Functional Safety: Safety Related Systems, International Standard IEC 61508, International Electrotechnical Commission, Geneva, Switzerland (1996)
Wijbrans, K., Buve, F., Geurts, W.: Practical Experiences in the BOS project. In: Proceedings of the Embedded Systems Symposium, Eindhoven, The Netherlands (1998)
Wijbrans, K., Buve, R.: Software bestuurt de stormvloedkering. Software Release Magazine 50(5) (in Dutch, 1998)
Chaudron, M., Tretmans, J., Wijbrans, K.: Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1511–1526. Springer, Heidelberg (1999)
Geurts, W., Wijbrans, K., Tretmans, J.: Testing and Formal Methods – BOS project case study. In: EuroSTAR 1998: 6th European Int. Conference on Software Testing, Analysis & Review, Munich, Germany, pp. 215–229 (1998)
Tretmans, G.J., Wijbrans, K.C.J., Chaudron, M.: Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods. Formal Methods in System Design 19(2), 195–215 (2001), ISSN 0925-9856
Letter from the minister to the Tweede Kamer, RWS/SDG/NW 2006/332/23875 (February 20, 2006) (in Dutch)
Groote, J.F., Verhoef, C.: Hoe betrouwbaar is de Maeslantkering. Automatiseringsgids 14 (April 7, 2006) (in Dutch)
prof. Horvath, et al.: Second Opinion Faalkans Maeslantkering (June 27, 2006) (in Dutch)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wijbrans, K., Buve, F., Rijkers, R., Geurts, W. (2008). Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. In: Cuellar, J., Maibaum, T., Sere, K. (eds) FM 2008: Formal Methods. FM 2008. Lecture Notes in Computer Science, vol 5014. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68237-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-68237-0_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68235-6
Online ISBN: 978-3-540-68237-0
eBook Packages: Computer ScienceComputer Science (R0)