The increased use of soft- and hardware components for safety-critical train control systems demands a defined development process, which takes into account that precise (formal) requirement specifications are needed and which allows the detection of errors as early as possible in order to avoid deep and costly iteration cycles. A model based development process caters for these needs by providing phases, where a model of the system is constructed, which can be analysed, tested and simulated. This paper presents a sequence chart-based design methodology for the formal verification of a system under design. Since standard Message Sequence Charts are neither expressive enough nor do they have a sufficient formal semantics the authors introduce Live Sequence Charts (LSCs) in order to overcome these deficiencies. Using a radio-based crossing control system as an example they outline how to embed LSCs into a model-based development process. This entails a transition from scenario-like Sequence Charts used early in the design process to the graphical specification of system properties to be verified in later stages.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of a radio-based signaling system using scenarios


    Beteiligte:
    Klose, J. (Autor:in) / Westphal, B. (Autor:in)


    Erscheinungsdatum :

    2003


    Format / Umfang :

    14 Seiten, 10 Bilder, 11 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Validation and Verification of a Radio-based Signaling System Using Scenarios

    Klose, J. / Westphal, B. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003


    Verification Approaches for Equipment Radiated Susceptibility on Satellite Scenarios

    Scione, E. / Antongirolami, D. / Daprati, G. et al. | British Library Conference Proceedings | 2012


    Verification approaches for equipment radiated susceptibility on satellite scenarios

    Scione, E. / Antongirolami, D. / Daprati, G. | IEEE | 2012


    Configuration of radio communication in radio-assisted road traffic management scenarios

    KOVACS ISTVAN ZSOLT / SORET BEATRIZ | Europäisches Patentamt | 2020

    Freier Zugriff

    CONFIGURATION OF RADIO COMMUNICATION IN RADIO-ASSISTED ROAD TRAFFIC MANAGEMENT SCENARIOS

    KOVACS ISTVAN ZSOLT / SORET BEATRIZ | Europäisches Patentamt | 2018

    Freier Zugriff