An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems.
Haibin CaiHao WuPublished in: Clust. Comput. (2019)
Keyphrases
- safety analysis
- symbolic model checking
- model checking
- symbolic representation
- binary decision diagrams
- automated verification
- partial observability
- formal verification
- formal methods
- temporal logic
- model checker
- formal specification
- safety critical
- finite state
- real valued
- reactive systems
- nuclear power plant
- fault model
- knowledge based systems
- control system
- orders of magnitude