New trends in train control systems are determined in using software. The high standards in reliability of such safety relevant systems lead therefore to high requirements in software reliability. Today's methods in software-engineering are not sufficient to avoid software-failures completely. Therefore testing is necessary. Testing the software in real applications of train control is mostly too large-scaled and also not flexible enough in providing certain operational conditions which are required for testing. Otherwise using only a software environment in testing does not allow realistic results in respect to the implementation. Testing by using a hardware model should be a golden mean in solving these problems efficiently. With the purpose to validate different control algorithms specified by different project groups in real operating conditions a railway demonstrator model is being realised at the Institute of Automation and Control Engineering of Technical University of Braunschweig. In the paper the conceptual task of the realisation concerning specification of the target operational behaviour and the derivation of functional structure of the railway model will be presented. According to the users requirements several utilisation options are being considered. Furthermore the implementation of the concept in the physical realisation will be shown.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A railway demonstrator model for experimental investigation of integrated specification techniques


    Contributors:
    Hänsel, F. (author) / König, S. (author) / Slovak, R. (author) / Schnieder, E. (author)


    Publication date :

    2003


    Size :

    12 Seiten, 12 Bilder, 4 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    A Railway Demonstrator for experimental Validation of formal Specifications

    Hansel, F. / Konig, S. / Slovak, R. et al. | British Library Conference Proceedings | 2003


    Integrated Powerhead Demonstrator

    Meyer, L. / Nichols, J. / Jones, J. et al. | AIAA | 1996


    Regenerative braking demonstrator in DC railway network in perspective of railway smart grid

    Kouassi, N'guessan / Navarro, Nicolas / Gazaignes, Guillaume et al. | DataCite | 2018