Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.
Fatima Shokri-ManninenLeonidas TsiopoulosJüri VainMarina WaldénPublished in: ABZ (2020)
Keyphrases
- timed automata
- real time systems
- embedded real time systems
- model checking
- reachability analysis
- real time
- theorem prover
- distributed systems
- concurrent processes
- temporal logic
- embedded systems
- object oriented programming language
- petri net
- theorem proving
- real time embedded
- timing constraints
- real time database systems
- first order logic
- architectural model
- knowledge management
- case study