Open AccessSafety Mechanism Design and Verification of Safety Computer Parallel Program
Author(s) -
Zhang Yuzhuo,
Hong Chunhua,
Cao Yuan,
Ma Lianchuan,
Wen Yinghong
Publication year - 2018
Publication title -
chinese journal of electronics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.267
H-Index - 25
eISSN - 2075-5597
pISSN - 1022-4653
DOI - 10.1049/cje.2018.02.016
Subject(s) - computer science , mechanism (biology) , epistemology , philosophy
The extensive application of Commercial off‐the‐shelf (COTS) components into safety computers in train control systems has caused safety problems. Aiming at the parallel programs, a concurrent program safety management mechanism based on transactional memory is proposed. The proposed mechanism implements concurrent behaviors of the application in the safe policy. A verification framework based on invariant proof and parallel separation logic theory is designed and operating system operation semantics are given for mathematical reasoning and proving. An example of code execution process is demonstrated to explain the safety control process of concurrent safety mechanism. The results indicate that the program can meet the safety and reliability requirements of concurrent safety computer platforms.