Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study.
Naghmeh GhafariRamana KumarJeff JoyceBernd DehningChristos ZamantzasPublished in: FMICS (2011)
Keyphrases
- monitoring system
- data acquisition
- formal verification
- data processing
- real time
- health monitoring
- traffic monitoring
- model checking
- field bus
- model checker
- bounded model checking
- sensor fusion
- automated verification
- symbolic model checking
- ambient intelligence
- high speed
- control system
- data analysis
- test bed
- water level
- health status
- temporal logic
- data streams