Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications.
Antoine El-HokayemYliès FalconePublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- smart home
- daily activities
- activity recognition
- assisted living
- smart home environment
- context aware
- home automation
- home environment
- ambient intelligence
- intelligent environments
- ambient assisted living
- concurrent systems
- formal verification
- intelligent agents
- older adults
- smart environments
- monitoring system
- multi agent
- embedded systems
- energy aware
- home environments
- intelligent systems
- real time
- protocol specification
- management system
- cooperative
- asynchronous circuits
- model checking
- energy conservation
- smart grid
- home appliances
- case study
- computer networks
- semi supervised learning
- activity monitoring
- control system