The Research of Hierarchical Synchronization Mechanism for the 2-vote-2 Safety Computer

カテゴリ: 研究会(論文単位)

論文No: TER18025

グループ名: 【D】産業応用部門 交通・電気鉄道研究会

発行日: 2018/02/01

タイトル(英語): The Research of Hierarchical Synchronization Mechanism for the 2-vote-2 Safety Computer

著者名: Gao Yan(BEIJING JIAOTONG UNIVERSITY),Ma lianchuan(BEIJING JIAOTONG UNIVERSITY),Cao Yuan(BEIJING JIAOTONG UNIVERSITY)

著者名(英語): Yan Gao(BEIJING JIAOTONG UNIVERSITY),lianchuan Ma(BEIJING JIAOTONG UNIVERSITY),Yuan Cao(BEIJING JIAOTONG UNIVERSITY)

キーワード: safety computer|UPPAAL|Time automaton|Hierarchical Synchronization Mechanism|formal verification|reliability |safety computer|UPPAAL|Time automaton|Hierarchical Synchronization Mechanism|formal verification|reliability

要約(日本語): In the field of railways, the design of the 2-vote-2 safety computer is an important way to improve the safety of the railway control systems. As a real-time system, synchronization is the key issue. In this paper, by analyzing the composition of safety computer, a hierarchical synchronization mechanism is proposed to realize the synchronization of 2-vote-2 safety computer, including fault tolerance and security management unit synchronizes by itself and fault tolerance and security management unit assists general computational units to synchronize. And bidirectional timing supervision is set up. The model of the system was built by UPPAAL, a tool based on time automata, which verified the system's functional properties and real-time performance. A long time test in the laboratory proves the correctness of the hierarchical synchronization mechanism.

要約(英語): In the field of railways, the design of the 2-vote-2 safety computer is an important way to improve the safety of the railway control systems. As a real-time system, synchronization is the key issue. In this paper, by analyzing the composition of safety computer, a hierarchical synchronization mechanism is proposed to realize the synchronization of 2-vote-2 safety computer, including fault tolerance and security management unit synchronizes by itself and fault tolerance and security management unit assists general computational units to synchronize. And bidirectional timing supervision is set up. The model of the system was built by UPPAAL, a tool based on time automata, which verified the system's functional properties and real-time performance. A long time test in the laboratory proves the correctness of the hierarchical synchronization mechanism.

原稿種別: 英語

PDFファイルサイズ: 1,780 Kバイト