Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface.
Thang NguyenDejan NickovicPublished in: FMICS (2014)
Keyphrases
- real time
- sensor networks
- monitoring system
- sensor data
- acoustic emission
- sensing devices
- data acquisition
- user friendly
- wireless sensor
- early warning
- body sensor networks
- friendly interface
- visual interface
- direct manipulation
- environmental monitoring
- user interface
- database systems
- decision making
- consistency checking
- time of flight
- business processes
- condition monitoring
- learning algorithm
- real world
- databases