文献

J-GLOBAL ID：201702266343842130   整理番号：17A0729701

UPPAALに基づく都市鉄道輸送交通地域制御サブシステムのモデリングと検証【JST・京大機械翻訳】

UPPAAL-based Simulation and Verification of CBTC Zone Control Subsystem in Rail Transportation

著者 (4件)： L UE Ji-Dong (Beijing Jiaotong University) ,  TANG Tao (Beijing Jiaotong University) ,  YAN Fei (Beijing Jiaotong University) ,  XU Tian-hua (Beijing Jiaotong University)
資料名： Tiedao Xuebao  (Tiedao Xuebao)
巻： 31  号： 3  ページ： 59-64  発行年： 2009年06月15日 
JST資料番号： W1488A  ISSN： 1001-8360  CODEN： TIXUF5  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： CBTC(COMMUNICATION BASED TRAIN CONTROL)システムは有効に鉄道交通の列車運行効率を向上させ、システムの建設とメンテナンス費用を下げることができる。システム開発の過程において,システムのモデリング,シミュレーションおよび検証を行い,システムの安全性を保証するために,システムの安全性を保証するために,CBTC制御サブシステムは,リアルタイム制御システムであり,そしてそれは,制御時間の精度および制御プロセスの精度を要求する。本論文では,都市鉄道輸送交通地域の制御サブシステムの構造を分析することによって,このサブシステムの安全性を満たす機能と性能要求を与え,時間オートマトン理論と結合して,列車,速度距離コントローラ,領域コントローラおよび自動車制御待ち行列を含む時間オートマトンネットワークモデルを提案した。同時に、UPPAAL検証ツールを応用してCBTC区域制御サブシステムに対してシミュレーションモデリングを行い、そしてこのサブシステムの機能と性能要求を検証し、それによってシステムモデルの安全性と制限活性を保証した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： オートマトン理論 ,  列車運転 ,  制御装置 ,  安全性 ,  *モデリング ,  システムモデル ,  自動車制御 ,  実時間制御 ,  システム安全性 ,  システム開発 ,  *都市鉄道輸送 ,  無線式列車制御システム
準シソーラス用語： ネットワークモデル ,  時間付きオートマトン ,  CBTC ,  *サブシステム , 【Automatic Indexing@JST】

著者キーワード (4件)： zone control subsystem ,  UPPAAL ,  timed automation ,  automatic verification

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

タイトルに関連する用語 (6件)： 都市鉄道輸送 ,  交通 ,  地域 ,  サブシステム ,  モデリング ,  検証