文献

J-GLOBAL ID：201702262577500114   整理番号：17A1592765

通信に基づく列車制御システムの信頼できる構造:形式化方法の総説【JST・京大機械翻訳】

Survey on Formal Method of Trustworthy Construction for Communication-Based Train Control Systems

著者 (6件)： Chen Mingsong (上海市高可信重点実験室(華東師范大学),上海,200062) ,  Bao Yongxiang (上海市高可信重点実験室(華東師范大学),上海,200062) ,  Sun Haiying (上海市高可信重点実験室(華東師范大学),上海,200062) ,  Mou Weikai (上海市高可信重点実験室(華東師范大学),上海,200062) ,  Chen Xiaohong (上海市高可信重点実験室(華東師范大学),上海,200062) ,  Zhou Tingliang (ka斯柯信号有限公司,上海,200071)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 28  号： 5  ページ： 1183-1203  発行年： 2017年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 通信の列車制御システム(communication based train control system)に基づいて,本論文では,新しい方法を提案した。連続的安全列車間隔保証と超高速保護を提供することによって,軌道輸送の効率性と安全性を大いに改良して,CBTCはリアルタイム制御を正確に実施することができたが,CBTCは計算,通信と制御の3つの側面に関してリアルタイムの協力を持ったために,それらの間の関係を見つけることができた。システムの設計と実現は非常に複雑である。設計欠陥により、深刻な災害、事故と損失を招くことが多く見られない。典型的な安全な関連システムとして、CBTCの信頼構造を如何に保証するかは、領域研究者が注目している焦点と直面する最大の挑戦であり、ソフト・ハードウェア領域での成功経験により、形式化方法はCBTCの信頼性を保障する有効な方法として認識されている.1 .. ...............................................................はすでに提案されている.CBTCの信頼できる構造に関して,3つの重要な段階,すなわち,システムの要求解析,設計モデリング,および底層実現に関して,CBTCの信頼性の典型的特性に従って,信頼できる構造におけるCBTCシステムの挑戦,国内外の研究の現状および開発傾向を分析した。CBTCの信頼できる構造における形式的方法の役割を紹介した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 安全性 ,  ハードウェア ,  *列車制御 ,  信頼性 ,  文献展望 ,  モデリング
準シソーラス用語： 実時間 ,  実時間制御 ,  CBTC ,  超高速 , 【Automatic Indexing@JST】

著者キーワード (4件)： communication-based train control system ,  safety-critical ,  trustworthy construction ,  formal method

分類 (1件)： 信号,保安  (TC01040Y)

タイトルに関連する用語 (5件)： 列車 ,  制御システム ,  信頼 ,  形式化 ,  総説