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 条

[41] APPLICATION OF OPTIMIZATION-BASED METHODS IN CONTROL-SYSTEM DESIGN
NG, WY
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 113 : 52 - 59
[42] Lessons learned from a successful implementation of formal methods in an industrial project
Wassyng, A
Lawford, M
FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 133 - 153
[43] Modeling the Hydraulic Effectiveness of a Proposed Storm Surge Barrier System for the Houston Ship Channel during Hurricane Events
Christian, Jason
Fang, Zheng
Torres, Jacob
Deitz, Roni
Bedient, Philip
NATURAL HAZARDS REVIEW, 2015, 16 (01)
[44] Validation of design methods: lessons from medicine
Frey, Daniel D.
Dym, Clive L.
RESEARCH IN ENGINEERING DESIGN, 2006, 17 (01) : 45 - 57
[45] Validation of design methods: lessons from medicine
Daniel D. Frey
Clive L. Dym
Research in Engineering Design, 2006, 17 : 45 - 57
[46] Preface for the formal methods in system design specialissue on 'FASE 2022'
Johnsen, Einar Broch
Wimmer, Manuel
FORMAL METHODS IN SYSTEM DESIGN, 2024,
[47] Design of barrier bucket kicker control system
Ni, Fa-Fu
Wang, Yan-Yu
Yin, Jun
Zhou, De-Tai
Shen, Guo-Dong
Zhen, Yang-De
Zhang, Jian-Chuan
Yin, Jia
Bai, Xiao
Ma, Xiao-Li
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2018, 891 : 118 - 124
[48] Formal Approach to Multimodal Control Design: Application to Mode Switching
Faraut, Gregory
Pietrac, Laurent
Niel, Eric
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2009, 5 (04) : 443 - 453
[49] The application of formal optimizing methods to the design of steam turbine reaction bladepaths
Wakeley, GR
Grant, J
LATEST ADVANCES IN THE AERODYNAMICS OF TURBOMACHINERY WITH SPECIAL EMPHASIS UPON UNSTEADY FLOWS, 1996, 1996 (21): : 121 - 130
[50] An education support system of information system design and implementation and lessons learned from its application
Hazeyama, A
Osada, K
Miyadera, Y
Yokoyama, S
SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 392 - 396

← 1 2 3 4 5 →