Model Based Systems Engineering depends on correct models. However, thus far, relatively little attention has been paid to ensuring their correctness - particularly for larger system engineering models. This paper describes a methodology for performing verification and validation on models written in SysML. The method relies on a catalog of candidate requirements that can be selected and tailored for a specific project. Many of these requirements can be verified automatically. Examples of diagrams taken from an independently created SysML model of a satellite are presented to show how automated verification can be used to identify non-obvious modeling deficiencies.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification and Validation of SysML Models


    Contributors:


    Publication date :

    2021-03-06


    Size :

    1691477 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    OWL2 and SysML

    Rouquette, Nicolas / Jenkins, Steven | NTRS | 2010


    SysML und Fahrzeugelektronik

    Stuecka, Renate | Tema Archive | 2006


    Checking SysML Models Against Safety and Security Properties

    de Saqui-Sannes, Pierre / Apvrille, Ludovic / Vingerhoeds, Rob | AIAA | 2021