Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems.
Carlos MorenoSebastian FischmeisterPublished in: Formal Methods Syst. Des. (2018)
Keyphrases
- power consumption
- embedded systems
- security properties
- low power
- security requirements
- low cost
- security analysis
- formal model
- power management
- energy efficiency
- security protocols
- monitoring system
- real time
- data center
- software systems
- energy saving
- formal methods
- resource constrained
- case study
- sensor data
- software engineering
- flash memory
- cryptographic protocols