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