Using a formal notation for analysis and verification of a critical system allows its correctness to be ensured and criticality requirements to be satisfied. The UML/OCL notation offers a standard language for high quality Systems modelling. However, the current lack of formal semantics for UMU/OCL explains the existence of few toots supporting analysis and verification of UML models, particularly in the context of railway applications. In this work, we propose an approach providing a formal support of UML based on the B specification language. B provides a formal notation based on the set theory and supported by sophisticated tools allowing specification, refinement, validation and simulation, We aim at providing automated toot support to UML by implementing transformations of class and state-transition diagrams, as well as OCL constraints, into B formal specifications. Our approach is illustrated by developing a railway application: the level crossing System.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    UML-based design and formal analysis of railway traffic control systems


    Weitere Titelangaben:

    UML basierter Entwurf und formale Analyse von Steuerungs- und Regelungssystem für den Zugverkehr


    Beteiligte:
    Marcano, R. (Autor:in) / Mariano, G. (Autor:in) / Bon, P. (Autor:in)


    Erscheinungsdatum :

    2004


    Format / Umfang :

    10 Seiten, 10 Bilder, 15 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Formal Software Techniques for Railway Systems

    Bjorner, D. / International Federation of Automatic Control | British Library Conference Proceedings | 2001


    Optimal traffic control for automated railway systems

    Hinrichsmeyer, M. / Kraft, K.H. / Schnieder, E. | Tema Archiv | 1980


    NEW POSSIBILITIES OF RAILWAY TRAFFIC CONTROL SYSTEMS

    Lionginas LIUDVINAVIČIUS / Stasys DAILYDKA / Aleksander SŁADKOWSKI | DOAJ | 2016

    Freier Zugriff

    Chinese railway traffic control

    Haijun, Zhang | IuD Bahn | 2002