Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems.
Satoshi YamanePublished in: ASIAN (2003)
Keyphrases
- real time systems
- timed automata
- real time
- colored petri nets
- timing constraints
- model checking
- embedded systems
- discrete event
- distributed systems
- mission critical
- object oriented programming language
- petri net
- probabilistic model
- simulation model
- real time embedded
- architectural model
- real time database systems
- cooperative
- bayesian networks
- artificial intelligence
- low cost
- mobile devices
- high level