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