Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface.
Thang NguyenDejan NickovicPublished in: Sci. Comput. Program. (2016)
Keyphrases
- real time
- sensor data
- monitoring system
- sensing devices
- health monitoring
- data acquisition
- user interface
- sensor networks
- user friendly
- multi sensor
- sensor fusion
- body sensor networks
- acoustic emission
- visual interface
- novice users
- databases
- early warning
- wireless sensor
- condition monitoring
- human computer interaction
- direct manipulation
- expert systems
- decision making
- automotive industry
- nuclear power plant
- wearable sensors
- search engine
- database