Next: Example Chemical Plant
Up: CS206 Lecture 01 Formal
Previous: CS206 Lecture 01 Formal
Consider the following systems
- Air Traffic Control
- Space Shuttle Launcher
- Nuclear Power Plant
- ...
Some features:
- Real Time
- Reactive
- Safety Critical
How to design and build such systems?
G. Sivakumar
2002-12-31