Using concurrency and formal methods for the design of safe process control.
Thierry CattelPublished in: Software Engineering for Parallel and Distributed Systems (1996)
Keyphrases
- formal methods
- process control
- artificial intelligence
- knowledge based systems
- design process
- intelligent control
- control system
- software engineering
- modeling language
- software systems
- manufacturing process
- formal specification
- database
- model checking
- database systems
- development lifecycle
- software architecture
- security properties
- safety critical
- formal analysis
- databases
- real time