列車保安制御システム用個別設計データ検証手法の開発

• 資料種別: 記事
• タイトル: 列車保安制御システム用個別設計データ検証手法の開発
• 巻次・部編番号: 129; 8
• 著者・編者: 島添 敏之
• 著者標目: Shimazoe Toshiyuki; 島添 敏之
• 出版年月日等: 2009
• 出版年（W3CDTF）: 2009
• 並列タイトル等: Development of Data Validation Methods for System Configurations of Train Protection Systems
• タイトル（掲載誌）: 電気学会論文誌Ｄ（産業応用部門誌）; 電気学会論文誌. D, 産業応用部門誌; IEEJ Transactions on Industry Applications
• 巻号年月日等（掲載誌）: 129 8
• 掲載巻: 129
• 掲載号: 8
• 掲載ページ: 784-793
• ISSN（掲載誌）: 0913-6339; 1348-8163
• 著者別名: Shimazoe Toshiyuki
• 件名標目: XSLT; XML; semantic validation; 意味的検証; data validation; データ検証; configuration data; 個別設計データ; train protection system; 列車保安制御システム
• 対象利用者: 一般
• DOI: 10.1541/ieejias.129.784
• オンライン閲覧公開範囲: インターネット公開
• 連携機関・データベース: 科学技術振興機構 : J-STAGE

• 要約等: This paper proposes new methods of data validation that targets configuration data prepared for train protection systems as represented by the automat...