Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an 'abstract testing' of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error-prone verification activity. To automate a safe passage from abstract tests, related to the so-called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic instantiation of abstract tests on specific configurations for large critical control systems


    Beteiligte:
    Flammini, F. (Autor:in) / Mazzocca, N. (Autor:in) / Orazzo, A. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2009


    Format / Umfang :

    20 Seiten, 21 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Automatic instantiation for railway interlocking systems

    Banci, M. / Gnesi, S. | Tema Archiv | 2007



    Buzz: An Instantiation of a Schema-Based Reactive Robotic System

    Arkin, R. C. / Balch, T. / Collins, T. R. et al. | British Library Conference Proceedings | 1993


    Thruster Configurations for Maneuvering Heavy Payloads (Abstract Only)

    R. K. Tsugawa / M. E. Draznin / R. W. Dabney | NTIS | 1991


    Efficient Flow Instantiation via Source Routing in Software Defined Vehicular Networks

    K. L., Kushan Sudheera / Ma, Maode / Chong, Peter Han Joo | IEEE | 2017