Formal development and verification of a distributed railway control system

    Research output: Contribution to journalJournal articleResearchpeer-review

    534 Downloads (Pure)

    Abstract

    The authors 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 and a controller model. The domain model describes the physical system in absence of control and the controller model introduces 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
    JournalIEEE Transaction on Software Engineering
    Volume26
    Issue number8
    Pages (from-to)687-701
    ISSN0098-5589
    DOIs
    Publication statusPublished - 2000

    Bibliographical note

    Copyright: 2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

    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