Die Firma Esterel Technologies bietet mit der Software 'Scade' eine Entwicklungsumgebung für sicherheitskritische Applikationen in Flugzeugen an, die folgende Funktionen erfüllt: automatische zertifizierte Codegenerierung, offene und dokumenterte Schnittstellen zur Integration in existerende Entwicklungsabläufe, Bedienerinterface mit intuitiver Darstellung auf der Basis von Blockdiagrammen und Zustandstabellen, Verifizierung und Validierung auf Modellbasis, Soft-in-the-Loop-Simulator mit Debugger auf Modellebene, formale Prüfung der funktionalen Sicherheitseigenschaften, Vorhersage der Ausführungszeit auf dem Zielsystem, automatische Generierung von SDD-Dokumenten (Software Design Description), Einbeziehung von Virtualisierungskonzepten gemäß DO-178B.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modellbasierte Design Tools fliegen. Integrierte Software-Entwicklungslösungen für Flugzeugapplikationen


    Weitere Titelangaben:

    Model based design tools fly. Integrated software development solutions for aircraft applications


    Beteiligte:

    Erschienen in:

    Markt und Technik ; 24 ; 28-29


    Erscheinungsdatum :

    2009


    Format / Umfang :

    2 Seiten, 3 Bilder



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch





    Fliegen

    Boyne, Walter J. | SLUB | 1991




    PC-Fliegen

    Online Contents | 2007