This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Verification and Validation of Physical Plant Models
Technical Paper
2009-01-0527
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
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.
Recommended Content
Authors
Topic
Citation
Tiller, M., "Verification and Validation of Physical Plant Models," SAE Technical Paper 2009-01-0527, 2009, https://doi.org/10.4271/2009-01-0527.Also In
References
- Tiller, M. M. “Introduction to Physical Modeling with Modelica” Springer-Verlag 2001
- Massol V. Husted, T. “JUnit in Action” Manning Publications Company 2003
- Selenium Web Application Testing System http://www.seleniumhq.org
- Tiller M. M. Kittirungsi, B. “UnitTesting: A Library for Modelica Unit Testing” Proceedings of the 5th International Modelica Conference Vienna 2006
- Modelica Association “Modelica specification, version 3.0” September 2007
- Hayhurst, K. J. Veerhusen, D. S. Chilenski, J. J. Rierson, L. K. “A Practical Tutorial on Modified Condition/Decision Coverage” NASA USA May 2001
- Ueda, K. Uematsu, Y. Baloh, M. “Converting Legacy Embedded Control Software to Executable Specifications” MathWorks’ International Automotive Conference 2006