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

Jeanho Lee, Hyuk Lee, Jin Young Choi, Yongki Yoon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publication17th ITS World Congress
PublisherIntelligent Transport Systems (ITS)
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
CountryKorea, 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

    Lee, J., Lee, H., Choi, J. Y., & Yoon, Y. (2010). Experiences on requirements analysis of railway signaling systems based on formal methods. In 17th ITS World Congress Intelligent Transport Systems (ITS).