Access

    Download

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    2024-01-01


    Size :

    16 Seiten pages


    Remarks:

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




    Type of media :

    Miscellaneous


    Type of material :

    Electronic Resource


    Language :

    English


    Keywords :


    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

    Free access

    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

    Free access

    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