Quote: used formal methods for BOS, the automated control system for Rotterdam's movable dam; highest safety integrity level; completed on time and within budget

Quotation Skeleton

This paper discusses the use of formal methods … movable dam which has to protect Rotterdam from … The control system, called BOS, completely autonomously decides … intervention. BOS is a safety-critical software system of … This paper reports experiences obtained from using formal … "Seven Myths of Formal Methods". … [p. 195] BOS was completed in October 1998 on …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)