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

摘要

本論文では，ATCなどの列車保安制御システムの個別設rn計データを対象に，データ構文からデータ内容までカバーrnする高信頼なデータ検証手法をXML技術を駆使した構成rnで提案した。rnこの中で，列車保安制御システム用個別設計データに求rnめられる柔軟なデータ記述にXMLの適用が有用であるこrnとと，多様なデータ構造とデータ型に対応したデータ構文rnの検証にXML Schemaが有効であることを示した。