Formal Methods in the Design of s Storm Surge Barrier Control System.
Pim KarsPublished in: European Educational Forum: School on Embedded Systems (1996)
Keyphrases
- formal methods
- control system
- knowledge based systems
- formal analysis
- safety critical
- artificial intelligence
- fuzzy logic
- building blocks
- databases
- modeling language
- design process
- software engineering
- web services
- real time
- knowledge acquisition
- black box
- control algorithm
- expert systems
- model checker
- reactive systems
- process algebra
- virtual instrument