Method for verifying system requirement specifications based on train control system safety requirements

This article focuses on safety measures for train control systems, which are critical and must be applied without omissions. In order to avoid system design complexity, the train control system design phase must now be divided into the conceptual design phase and the detailed design phase. This paper proposes a template of safety requirements and a method for verifying system requirement specifications using this template. The proposed method is applied to the Computer and Radio Aided Train (CARAT) control system to demonstrate the procedure. A support tool that verifies safety requirements and displays safety verification items to be automatically checked in the specifications is also developed.

• Record URL:
  • https://doi.org/10.2219/rtriqr.54.91
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/00339008
• Authors:
  • Iwata, Koji
• Publication Date: 2013

Language

• English

Media Info

• Media Type: Print
• Features: Figures; References; Tables;
• Pagination: pp 91-96
• Serial:
  • Quarterly Report of RTRI
  • Volume: 54
  • Issue Number: 2
  • Publisher: Railway Technical Research Institute
  • ISSN: 0033-9008
  • EISSN: 1880-1765
  • Serial URL: https://www.jstage.jst.go.jp/browse/rtriqr/-char/en
• Publication flags:

  Open Access (libre)

Subject/Index Terms

• TRT Terms: Automatic train control; Automatic train protection; Control systems; Railroad safety; Specifications
• Subject Areas: Operations and Traffic Management; Railroads; Safety and Human Factors; I85: Safety Devices used in Transport Infrastructure;

Filing Info

• Accession Number: 01487864
• Record Type: Publication
• Files: TRIS
• Created Date: Jul 23 2013 11:45AM