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

DOI Web Site Web Site 被引用文献1件 参考文献15件

書誌事項

タイトル別名
  • Development of Data Validation Methods for System Configurations of Train Protection Systems
  • レッシャ ホアン セイギョ システムヨウ コベツ セッケイ データ ケンショウ シュホウ ノ カイハツ

この論文をさがす

説明

This paper proposes new methods of data validation that targets configuration data prepared for train protection systems as represented by the automatic train control (ATC) systems that are applied to the Shinkansen and other heavy-duty trains. This configuration data is assigned to a generic application program in order to realise specific applications according to track layouts and different local conditions. The potential of introducing errors to the configuration data can lead to undesirable events; the safe separation of trains and safe speed are not ensured by such errors. Therefore, it is a safety-critical issue to eliminate errors from the configuration data.<br>Because of this, the author developed the data validation methods not depending on human works, utilising Extensible Markup Language (XML) technologies. This paper illustrates that XML is useful to represent the configuration data to which flexible expressions are required, and that XML Schema is valuable when performing syntax validation. Subsequently, the semantic validation methods are proposed by means of Extensible StyleSheet Language Transformations (XSLT) to provide a way to realise the semantic validation without custom application programming. Additionally, reliable processes to ensure the checking of validation results are proposed, and the effectiveness of the proposed methods are demonstrated by applying to actual configurations.

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (15)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ