The Experts below are selected from a list of 1533 Experts worldwide ranked by ideXlab platform

Patrick Meire - One of the best experts on this subject based on the ideXlab platform.

J. Coosen - One of the best experts on this subject based on the ideXlab platform.

J. Seys - One of the best experts on this subject based on the ideXlab platform.

J.a.m. Craeymeersch - One of the best experts on this subject based on the ideXlab platform.

Klaas Wijbrans - One of the best experts on this subject based on the ideXlab platform.

  • software engineering with formal methods experiences with the development of a Storm Surge Barrier control system
    Formal Methods, 2008
    Co-Authors: Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts
    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 Keringis 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.

  • software engineering with formal methods experiences with the development of a Storm Surge Barrier control system
    Formal Methods, 2008
    Co-Authors: Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts
    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 Keringis 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.

  • 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, 2001
    Co-Authors: Jan Tretmans, Klaas Wijbrans, Michel Chaudron
    Abstract:

    This paper discusses the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable dam which has to protect Rotterdam from floodings while, at (almost) the same time, not restricting ship 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 IEC 61508. One of the reliability increasing techniques used during its development is formal methods. This paper reports experiences obtained from using formal methods in the development of BOS. These experiences are presented in the context of Hall's famous "Seven Myths of Formal Methods".

  • lessons from the application of formal methods to the design of a Storm Surge Barrier control system
    Formal Methods, 1999
    Co-Authors: Michel Chaudron, Jan Tretmans, Klaas Wijbrans
    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.