Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods.
Asieh Salehi FathabadiLuis Alfonso Maeda-NunezMichael J. ButlerBashir M. Al-HashimiGeoff V. MerrettPublished in: MCSoC (2015)
Keyphrases
- formal methods
- code generation
- power management
- embedded systems
- formal specification
- resource limited
- modeling language
- power consumption
- safety critical
- model checking
- application development
- low cost
- software development
- energy consumption
- software systems
- data center
- artificial intelligence
- energy efficiency
- model driven
- software engineering
- software reuse
- energy saving
- software components
- design patterns
- knowledge based systems
- machine learning
- real time
- smart home
- reverse engineering
- metamodel
- database
- rapid prototyping
- query language
- relational databases
- multi agent