Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study.
Tasuku IshigookaHabib SaissiThorsten PiperStefan WinterNeeraj SuriPublished in: CPSNA (2014)
Keyphrases
- formal verification
- safety critical
- formal methods
- cyber physical systems
- model checking
- embedded systems
- model checker
- fault tolerant
- symbolic model checking
- agent architecture
- case study
- physical world
- adaptive systems
- real time
- information sharing
- virtual environment
- knowledge based systems
- multi agent
- knowledge base