This paper describes an application of the formal engineering method SOFL (Structured-Object-based-Formal Language) to specifying a realistic railway crossing controller for potential use in industry. As the railway crossing controller is a safety critical and real-time system, this application demonstrates the capability of SOFL for developing safety-critical and real-time systems and provides a foundation for implementing such a software controller in practice. It also shows that appropriate integration of structured methods with graphical notation, formal notation, and natural language offers a good readability and traceability as well as an effective mechanism for reducing complexity of systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Applying SOFL to specify a railway crossing controller for industry


    Beteiligte:
    Liu, Shaoying (Autor:in) / Asuka, M. (Autor:in) / Komaya, K. (Autor:in) / Nakamura, Y. (Autor:in)


    Erscheinungsdatum :

    1999


    Format / Umfang :

    12 Seiten, 18 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Draft Methodology to Specify the Railway Sections Capacity

    Abramovic Borna / Zitricky Vladislav / Mesko Pavol | DOAJ | 2017

    Freier Zugriff

    Railway crossing

    Engineering Index Backfile | 1895


    Railway crossing plate

    YUAN QUN / SHAO HUAZHEN / LOU XIANGDONG et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    RAILWAY CROSSING GATE

    KURITA SHUHEI / OKAMI TAKEHIKO / KITA KEISUKE et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    RAILWAY CROSSING GATE

    MORIYAMA YUKIO / KIMURA MINORU / SATO JIYUNKI | Europäisches Patentamt | 2018

    Freier Zugriff