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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

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


    Contributors:
    Marcano, R. (author) / Mariano, G. (author) / Bon, P. (author)


    Publication date :

    2004


    Size :

    10 Seiten, 10 Bilder, 15 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Formal Software Techniques for Railway Systems

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


    Chinese railway traffic control

    Haijun, Zhang | IuD Bahn | 2002


    NEW POSSIBILITIES OF RAILWAY TRAFFIC CONTROL SYSTEMS

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

    Free access

    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

    Peleska, J. / Baer, A. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001