An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems.
Mohammadreza MehrabianMohammad KhayatianAhmed MousaAviral ShrivastavaYa-Shian Li-BaboudPatricia DerlerEdward R. GrifforHugo A. AndradeMarc WeissJohn C. EidsonDhananjay M. AnandPublished in: DAC (2018)
Keyphrases
- cyber physical systems
- timing constraints
- real time databases
- real time
- real time systems
- cyber security
- real time database systems
- monitoring system
- active databases
- embedded devices
- physical world
- embedded systems
- critical infrastructure
- concurrency control
- activity recognition
- execution model
- wireless networks
- database systems
- databases