DocumentCode :
2786104
Title :
Argument-Driven Validation of Computer Simulations - A Necessity, Rather than an Option
Author :
Ghetiu, Teodor ; Polac, F.A.C. ; Bown, James
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
fYear :
2010
fDate :
22-27 Aug. 2010
Firstpage :
1
Lastpage :
4
Abstract :
Research based on computer simulations, especially that conducted through agent-based experimentation, is often criticised for not being a reliable source of information - the simulation software can hide errors or flawed designs that inherently bias results. Consequently, the academic community shows both enthusiasm and lack of trust for such approaches. In order to gain confidence is using engineered systems, domains such as Safety Critical Systems employ structured argumentation techniques as means of explicitly relating claims to evidence - in other words, requirements to deliverables. We argue here that structured argumentation should be used in the development and validation process of simulation-driven research. Making use of the Goal Structuring Notation, we provide insights into how more trustworthy outcomes can be obtained through argumentation-driven validation.
Keywords :
digital simulation; inference mechanisms; program verification; safety-critical software; software agents; agent based experimentation; argumentation driven validation; computer simulation; safety critical system; simulation driven research; simulation software; structured argumentation technique; Biological system modeling; Cognition; Computational modeling; Mathematical model; Safety; Software testing; Visualization; Modelling; Simulation; Software verification and validation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Advances in System Testing and Validation Lifecycle (VALID), 2010 Second International Conference on
Conference_Location :
Nice
Print_ISBN :
978-1-4244-7784-5
Electronic_ISBN :
978-0-7695-4146-4
Type :
conf
DOI :
10.1109/VALID.2010.30
Filename :
5617156
Link To Document :
بازگشت