Experiences on requirements analysis of railway signaling systems based on formal methods

Jeanho Lee, Hyuk Lee, Jinyoung Choi, Yongki Yoon

Research output: Contribution to conferencePaperpeer-review

Abstract

The computer-based safety-critical systems are being developed in many areas. The standards used in such areas strongly recommend the use of formal methods in order to obtain the high level degree of certification. In the area of safety-critical railway control systems, the related standards provide insufficient guidelines in order to develop the computer-based railway control systems using formal methods. In this paper, we propose a developing process for computer-based railway control systems using formal methods. For the high level certification, we propose a guideline for writing formal requirements specification of the railway systems. We also demonstrate the case study of the application of formal methods to the requirements analysis of the railway control system development lifecycle through the development of a formal requirements specification.

Original languageEnglish
Publication statusPublished - 2010
Event17th World Congress on Intelligent Transport Systems, ITS 2010 - Busan, Korea, Republic of
Duration: 2010 Oct 252010 Oct 29

Other

Other17th World Congress on Intelligent Transport Systems, ITS 2010
Country/TerritoryKorea, Republic of
CityBusan
Period10/10/2510/10/29

ASJC Scopus subject areas

  • Automotive Engineering
  • Control and Systems Engineering
  • Transportation

Fingerprint

Dive into the research topics of 'Experiences on requirements analysis of railway signaling systems based on formal methods'. Together they form a unique fingerprint.

Cite this