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

Fingerprint

Formal methods
German Federal Railways
control system
Control systems
experience
certification
Specifications
system development

ASJC Scopus subject areas

  • Automotive Engineering
  • Control and Systems Engineering
  • Transportation

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

Experiences on requirements analysis of railway signaling systems based on formal methods. / Lee, Jeanho; Lee, Hyuk; Choi, Jin Young; Yoon, Yongki.

17th ITS World Congress. Intelligent Transport Systems (ITS), 2010.

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

Lee, J, Lee, H, Choi, JY & Yoon, Y 2010, Experiences on requirements analysis of railway signaling systems based on formal methods. in 17th ITS World Congress. Intelligent Transport Systems (ITS), 17th World Congress on Intelligent Transport Systems, ITS 2010, Busan, Korea, Republic of, 10/10/25.
Lee J, Lee H, Choi JY, Yoon Y. Experiences on requirements analysis of railway signaling systems based on formal methods. In 17th ITS World Congress. Intelligent Transport Systems (ITS). 2010
Lee, Jeanho ; Lee, Hyuk ; Choi, Jin Young ; Yoon, Yongki. / Experiences on requirements analysis of railway signaling systems based on formal methods. 17th ITS World Congress. Intelligent Transport Systems (ITS), 2010.
@inproceedings{22f915f7e7e74a3785a0958ffc0cf298,
title = "Experiences on requirements analysis of railway signaling systems based on formal methods",
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.",
author = "Jeanho Lee and Hyuk Lee and Choi, {Jin Young} and Yongki Yoon",
year = "2010",
language = "English",
booktitle = "17th ITS World Congress",
publisher = "Intelligent Transport Systems (ITS)",

}

TY - GEN

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

AU - Lee, Jeanho

AU - Lee, Hyuk

AU - Choi, Jin Young

AU - Yoon, Yongki

PY - 2010

Y1 - 2010

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

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

UR - http://www.scopus.com/inward/record.url?scp=84953889356&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84953889356&partnerID=8YFLogxK

M3 - Conference contribution

BT - 17th ITS World Congress

PB - Intelligent Transport Systems (ITS)

ER -