Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.
Guoqiang ShuChao LiQing WangMingshu LiPublished in: IEEE International Workshop on Rapid System Prototyping (2002)
Keyphrases
- real time systems
- timed automata
- reachability analysis
- real time
- distributed systems
- embedded systems
- real time database systems
- mission critical
- model checking
- timing constraints
- anytime algorithms
- database
- real time embedded
- architectural model
- object oriented programming language
- theorem proving
- first order logic
- object oriented
- scheduling problem
- knowledge representation
- multi agent