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.

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