Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications


    Beteiligte:
    Kausch, Hendrik (Autor:in) / Pfeiffer, Mathias (Autor:in) / Raco, Deni (Autor:in, ) / Rumpe, Bernhard (Autor:in) / Schweiger, Andreas (Autor:in)

    Erscheinungsdatum :

    01.01.2024


    Format / Umfang :

    16 Seiten pages


    Anmerkungen:

    CEAS Aeronautical Journal (2024). doi:10.1007/s13272-024-00762-6




    Medientyp :

    Sonstige


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Schlagwörter :


    Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications

    Kausch, Hendrik / Pfeiffer, Mathias / Raco, Deni et al. | Springer Verlag | 2025

    Freier Zugriff

    Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics

    Kausch, Hendrik / Pfeiffer, Mathias / Raco, Deni et al. | AIAA | 2025

    Freier Zugriff

    Exploring SysML v2 for Model-Based Engineering of Safety-Critical Avionics Systems

    Ahlbrecht, Alexander / Lukic, Bojan / Zaeske, Wanja et al. | IEEE | 2024


    High-quality interface specifications with SysML modelling

    Lauscher, Thoma / Fischer, Christian / Hiebenthal, Thorsten | IuD Bahn | 2011