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

Abstract

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.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.