Quantitative analysis of real-time systems using priced timed automata.
Patricia BouyerUli FahrenbergKim G. LarsenNicolas MarkeyPublished in: Commun. ACM (2011)
Keyphrases
- quantitative analysis
- real time systems
- timed automata
- reachability analysis
- qualitative analysis
- real time
- distributed systems
- embedded systems
- real time database systems
- qualitative and quantitative analysis
- qualitative evaluation
- mission critical
- timing constraints
- real time embedded
- anytime algorithms
- model checking
- architectural model
- low cost
- ground truth
- reinforcement learning
- case study