Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
Uli FahrenbergKim G. LarsenAxel LegayPublished in: ICTAC Training School on Software Engineering (2013)
Keyphrases
- real time systems
- real time
- embedded systems
- distributed systems
- optimization problems
- optimization algorithm
- mission critical
- object oriented programming language
- real time embedded
- timing constraints
- database
- anytime algorithms
- architectural model
- query language
- model checking
- case study
- real time database systems