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


Share/Save/Bookmark

Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II (pp. pp. 1511-1526).

[img] PDF
Restricted to UT campus only
: Request a copy
127kB
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.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/63297
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page