Modeling and verifying hierarchical real-time systems using stateful timed CSP.
Jun SunYang LiuJin Song DongYan LiuLing ShiÉtienne AndréPublished in: ACM Trans. Softw. Eng. Methodol. (2013)
Keyphrases
- real time systems
- timed automata
- distributed systems
- embedded real time systems
- petri net
- real time
- constraint satisfaction problems
- mission critical
- embedded systems
- constraint satisfaction
- modeling language
- real time embedded
- colored petri nets
- timing constraints
- real time database systems
- decomposition methods
- hierarchical structure
- model checking
- knowledge management
- software engineering