Analyzing Schedulability of Astral Specifications using Extended Timed Automata.
K. BrinkJan van KatwijkR. F. Lutje SpelbergW. J. ToetenelPublished in: Euro-Par (1997)
Keyphrases
- timed automata
- model checking
- reachability analysis
- formal specification
- theorem prover
- concurrent systems
- high level
- theorem proving
- specification language
- delay insensitive
- reinforcement learning
- evolutionary algorithm
- graphical models
- markov decision processes
- neural network
- finite state machines
- case study
- real time systems
- control flow
- information systems
- genetic algorithm
- data mining