Process-oriented Approach to Verification in Engineering

Ekaterina Auer, Roger Cuypers, Wolfram Luther

2012

Abstract

Common verification and validation methodologies suggest using verification benchmarks in the cases where no theoretical proof of the model and algorithm accuracy is possible and interpreting the outcome of the process of interest on these. In this paper, we propose to shift the focus on the process itself. Helped by appropriate questionnaires, users are urged to subdivide their processes into smaller tasks and to classify the input/output data and algorithms, which allows us to assign a certain initial verification degree to the (sub-) process from a recently proposed four-tier hierarchy. After that, the initial degree can be improved as well as uncertainty quantified by with the help of a selection of specialized interoperable data types and tools. Besides, we address issues of software quality and user support by describing a comparison system for verified initial value problem solvers.

References

  1. AIAA (1998). Guide for the Verification and Validation of Computational Fluid Dynamics Simulations. American Institute of Aeronautics and Astronautics.
  2. ASME (2006). Guide for Verification and Validation in Computational Solid Mechanics. American Society of Mechanical Engineers, pages 1-15.
  3. Auer, E., Chuev, A., Cuypers, R., Kiel, S., and Luther, W. (2011). Relevance of Accurate and Verified Numerical Algorithms for Verification and Validation in Biomechanics. In EUROMECH Colloquium 511, Ponta Delgada, Azores, Portugal.
  4. Auer, E. and Luther, W. (2009). Numerical Verification Assessment in Computational Biomechanics. In Proc. of Dagstuhl Seminar 08021, LNCS, pages 145-160.
  5. Auer, E., Luther, W., and Cuypers, R. (2012). ProcessOriented Verification in Biomechanics: A Case Study. In Proc. of SUM 2012, Marburg, Germany. Submitted.
  6. Auer, E. and Rauh, A. (2012). VERICOMP: A System to Compare and Assess Verified IVP Solvers. Computing, 94(2):163-172.
  7. Berz, M. (1995). Modern Map Methods for Charged Particle Optics. Nuclear Instruments and Methods A363, pages 100-104.
  8. de Figueiredo, L. H. and Stolfi, J. (2004). Affine Arithmetic: Concepts and Applications. Numerical Algorithms, 34(1-4):147-158.
  9. Ferson, S., Kreinovich, V., Ginzburg, L., Myers, D. S., and Sentz, K. (2003). Constructing Probability Boxes and Dempster-Shafer Structures. Technical Report SAND2002-4015, Sandia National Laboratories.
  10. Henninger, H. and Reese, S. (2010). Validation of Computational Models in Biomechanics. In Proc. of the Institution of Mechanical Engineers, volume 224, pages 801-812.
  11. Hull, T. E., Enright, W. H., Fellen, B. M., and Sedgwick, A. E. (1972). Comparing Numerical Methods for Ordinary Differential Equations. SIAM Journal on Numerical Analysis, 9(4):603-637.
  12. Mazzia, F. and Iavernaro, F. (2003). Test Set for Initial Value Problem Solvers. Technical Report 40, Department of Mathematics, University of Bari, Italy.
  13. Moore, R. E., Kearfott, R. B., and Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics, Philadelphia.
  14. Oberkampf, W. and Trucano, T. (2007). Verification and Validation Benchmarks. Nuclear Engineering and Design, 238(3):716-743.
  15. Schlesinger, S. (1979). Terminology for Model Credibility. Simulation, 32(3):103-104.
Download


Paper Citation


in Harvard Style

Auer E., Cuypers R. and Luther W. (2012). Process-oriented Approach to Verification in Engineering . In Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8565-22-8, pages 513-518. DOI: 10.5220/0004037905130518


in Bibtex Style

@conference{icinco12,
author={Ekaterina Auer and Roger Cuypers and Wolfram Luther},
title={Process-oriented Approach to Verification in Engineering},
booktitle={Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2012},
pages={513-518},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004037905130518},
isbn={978-989-8565-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Process-oriented Approach to Verification in Engineering
SN - 978-989-8565-22-8
AU - Auer E.
AU - Cuypers R.
AU - Luther W.
PY - 2012
SP - 513
EP - 518
DO - 10.5220/0004037905130518