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

被引：0
|
作者：
Chaudron, M
Tretmans, J
Wijbrans, K
机构：
[1] CMG Publ Sector BV, Div Adv Technol, NL-2501 CD The Hague, Netherlands
[2] Univ Twente, Dept Comp Sci, Formal Methods & Tools Grp, NL-7500 AE Enschede, Netherlands
来源：
FM'99-FORMAL METHODS, VOL II | 1999年 / 1709卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：1511 / 1526
页数：16
相关论文
共 50 条
  • [21] Formal Methods in System Design: Foreword
    Formal Methods Syst Des, 2006, 2 (115-116):
  • [22] Damage Assessment from Storm Surge to Coastal Cities: Lessons from the Miami Area
    Genovese, Elisabetta
    Hallegatte, Stephane
    Dumas, Patrice
    ADVANCING GEOINFORMATION SCIENCE FOR A CHANGING WORLD, 2011, 1 : 21 - 43
  • [23] Design and Analysis of A Storm Surge Protection System for Reagan National Airport
    Haji, Mohammad
    Alawaji, Naif
    Aldakhil, Daij
    Diriye, Mohamud
    2017 SYSTEMS AND INFORMATION ENGINEERING DESIGN SYMPOSIUM (SIEDS), 2017, : 62 - 66
  • [24] Modeling the Hydrodynamic Performance of a Conceptual Storm Surge Barrier System for the Galveston Bay Region
    Torres, Jacob M.
    Bass, Benjamin
    Irza, John N.
    Proft, Jennifer
    Sebastian, Antonia
    Dawson, Clint
    Bedient, Philip
    JOURNAL OF WATERWAY PORT COASTAL AND OCEAN ENGINEERING, 2017, 143 (05)
  • [25] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    Formal Methods in System Design, 2022, 61 : 1 - 2
  • [26] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [27] Member Formation Methods Evaluation for a Storm Surge Ensemble Forecast System in Taiwan
    Lin, Chun-Wei
    Wu, Tso-Ren
    Tsai, Yu-Lin
    Chuang, Shu-Chun
    Chu, Chi-Hao
    Terng, Chuen-Teyr
    WATER, 2023, 15 (10)
  • [28] Formal Methods in System Design: Editorial note
    Mery, Dominique
    Sanders, Beverly
    2002, Kluwer Academic Publishers (20)
  • [29] FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION
    SUFRIN, B
    COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 108 - 117
  • [30] Formal Methods in System Design: Guest editorial
    Naval Research Laboratory, Washington, DC, United States
    不详
    Formal Methods Syst Des, 2007, 1 (1-3):
12345