Title :
Verification of a real time scheduling protocol of safety-critical systems
Author :
Meng Wang ; Zhenhua Duan ; Cong Tian ; Nan Zhang
Author_Institution :
Inst. of Comput. Theor. & Technol., Xi´an, China
Abstract :
It is of great importance to ensure the correctness and reliability of the scheduling protocol of safety-critical systems since the failure will cause serious damage. This paper analyzes a real time scheduling protocol of the safety-critical system and models it using a Modeling, Simulation and Verification Language program. Then the sufficient and necessary conditions for the schedulability are given. Further, the schedulability and other properties are verified using the MSV toolkit.
Keywords :
formal verification; real-time systems; safety-critical software; scheduling; MSV toolkit; modeling-simulation-and-verification language program; real-time scheduling protocol verification; safety-critical systems; schedulability; scheduling protocol correctness; scheduling protocol reliability; sufficient and necessary conditions; Integrated circuits; model checking; safety-critical systems; schedulability; scheduling protocol;
Conference_Titel :
Computer Supported Cooperative Work in Design (CSCWD), 2015 IEEE 19th International Conference on
Conference_Location :
Calabria
Print_ISBN :
978-1-4799-2001-3
DOI :
10.1109/CSCWD.2015.7230973