Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems.
Verena KlösThomas GöthelSabine GlesnerPublished in: FAS*W@SASO/ICCAC (2016)
Keyphrases
- real time systems
- formal models
- dynamic adaptation
- real time
- formal model
- process model
- rule based systems
- embedded systems
- distributed systems
- quality of service
- real time database systems
- object oriented programming language
- real time embedded
- timing constraints
- anytime algorithms
- optimization algorithm
- computational intelligence
- search space
- neural network