Formal Development and Verification of a Distributed Railway Control System

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    In this article we introduce the concept for a distributed railway control system and present the specification and verification of the main algorithm used for safe distributed control. Our design and verification approach is based on the RAISE method, starting with highly abstract algebraic specifications which are transformed into directly implementable distributed control processes by applying a series of refinement and verification steps. Concrete safety requirements are derived from an abstract version that can be easily validated with respect to soundness and completeness. Complexity is further reduced by separating the system model into a domain model describing the physical system in absence of control and a controller model introducing the safety-related control mechanisms as a separate entity monitoring observables of the physical system to decide whether it is safe for a train to move or for a point to be switched.
    Original languageEnglish
    Title of host publicationProceedings of FM'99
    PublisherSpringer Verlag
    Publication date1999
    Publication statusPublished - 1999
    EventFM'99 World Congress of Formal Methods - Toulouse
    Duration: 1 Jan 1999 → …

    Conference

    ConferenceFM'99 World Congress of Formal Methods
    CityToulouse
    Period01/01/1999 → …

    Fingerprint Dive into the research topics of 'Formal Development and Verification of a Distributed Railway Control System'. Together they form a unique fingerprint.

    Cite this