Conformance Tests for Real-Time Systems with Timed Automata Specifications.
Rachel Cardell-OliverPublished in: Formal Aspects Comput. (2000)
Keyphrases
- real time systems
- timed automata
- embedded real time systems
- reachability analysis
- reactive systems
- distributed systems
- real time
- real time database systems
- embedded systems
- timing constraints
- mission critical
- real time embedded
- model checking
- high level
- object oriented programming language
- machine learning
- theorem proving
- anytime algorithms
- theorem prover
- formal specification
- real time databases
- test cases
- architectural model
- scheduling problem