SDL is a system design language for the development of distributed systems, including real-time systems. In this paper, we apply SDL to capture design solutions found in safety-critical real-time systems. In particular, we present a methodology to augment system safety step-by-step, and systematically define and apply reusable design solutions for safety-critical real-time systems, expressed as SDL design patterns and components. These solutions can be added to real-time system designs, to protect against certain types of system failures. We illustrate the approach by the definition of reusable solutions for the detection of fail-silent nodes-a watchdog and a heartbeat-and their application to a distributed airship flight-control system. (All rights reserved Elsevier).


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Developing safety-critical real-time systems with SDL design patterns and components


    Beteiligte:
    Fliege, I. (Autor:in) / Geraldy, A. (Autor:in) / Gotzhein, R. (Autor:in) / Kuhn, T. (Autor:in) / Webel, C. (Autor:in)

    Erschienen in:

    Computer Networks ; 49 , 5 ; 689-706


    Erscheinungsdatum :

    2005


    Format / Umfang :

    18 Seiten, 26 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Safety critical fast-real-time systems

    Güsmann, B. / Nielsen, O. F. / Hansen, R. | TIBKAT | 1982


    Hardware certification for safety-critical real-time systems

    Kornecki, Andrew J. / Zalewski, Janusz | Tema Archiv | 2009


    Interfacing & Interchanging – Reusing Real-Time Tests for Safety-Critical Systems

    Rasche, Rainer / Himmler, Andreas / Franke, Marco et al. | AIAA | 2018


    Issues on Software Testing for Safety-Critical Real-Time Automation Systems

    Wang, L. / IEEE / AIAA | British Library Conference Proceedings | 2004