Verification and validation is an important step in the system engineering process. Although it is a natural part of the design process, for both the physical components as well as controller hardware, it is less often considered as part of the model development process. However, companies are increasingly relying on physical models to make important business decisions. For this reason, we focus our attention in this paper on various aspects of the verification and validation processes used for physical models to ensure a rational basis for such decisions.A key element of this work will be to use structural, logical and physical information captured in the models to help automate the process and ensure quality. The goal of this effort is to provide verification tools that require minimal user effort. Although the ideas in this paper will be presented within a conceptual framework that is generally applicable to a variety of modeling platforms, the paper will also discuss examples and tools built around the Modelica1 modeling language[1] to provide concrete demonstrations of these concepts.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification and Validation of Physical Plant Models


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE World Congress & Exhibition ; 2009



    Publication date :

    2009-04-20




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Verification and Validation of SysML Models

    Hecht, Myron / Chen, Jaron / Pugliese-Rosillo, Gloria | IEEE | 2021



    Executable Formal Models for Validation and Specless Verification

    Greve, D. / IEEE / AIAA | British Library Conference Proceedings | 2000



    Validation and Verification of LADEE Models and Software

    Gundy-Burlet, K. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013