Online Testing of Real-time Systems Using Uppaal.
Kim Guldstrand LarsenMarius MikucionisBrian NielsenPublished in: FATES (2004)
Keyphrases
- real time systems
- real time
- timed automata
- embedded systems
- distributed systems
- online learning
- real time database systems
- timing constraints
- machine learning
- cooperative
- low cost
- database
- mission critical
- architectural model
- object oriented programming language
- embedded real time systems
- model checking
- anytime algorithms