A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems

Anne Elisabeth Haxthausen (Invited author)

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

    Abstract

    The development of modern railway and tramway control systems represents a considerable challenge to both systems and software engineers: The goal to increase the traffic throughput while at the same time increasing the availability and reliability of railway operations leads to a demand for more elaborate safety mechanisms in order to keep the risk at the same low level that has been established for European railways until today. The challenge is further increased by the demand for shorter time-to-market periods and higher competition among suppliers of the railway domain; both factors resulting in a demand for a higher degree of automation for the development verification, validation and test phases of projects, without impairing the thoroughness of safety-related quality measures and certification activities. Motivated by these considerations, this presentation describes an approach for automated construction and verification of railway control systems.
    Original languageEnglish
    Title of host publicationComputer Safety, Reliability, and Security
    EditorsButh, Rabe, Seyfarth
    Volume5775
    Place of PublicationBerlin / Heidelberg
    PublisherSpringer
    Publication date2009
    Pages1-3
    ISBN (Print)978-3-642-04467-0
    DOIs
    Publication statusPublished - 2009
    Event28th International Conference on Computer Safety, Reliability and Security - Hamburg
    Duration: 1 Jan 2009 → …
    Conference number: 28

    Conference

    Conference28th International Conference on Computer Safety, Reliability and Security
    Number28
    CityHamburg
    Period01/01/2009 → …
    SeriesLecture Notes in Computer Science

    Bibliographical note

    Invited paper

    Fingerprint Dive into the research topics of 'A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems'. Together they form a unique fingerprint.

    Cite this