Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/23075
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Smith, Spencer | - |
dc.contributor.author | Sayari Nejad, Mojdeh | - |
dc.date.accessioned | 2018-06-13T14:26:52Z | - |
dc.date.available | 2018-06-13T14:26:52Z | - |
dc.date.issued | 2017 | - |
dc.identifier.uri | http://hdl.handle.net/11375/23075 | - |
dc.description.abstract | Assurance Cases have been effectively used for improving the safety of real-time safety systems. However, until now, Assurance Case techniques have not been applied to building confidence in the correctness of Scientific Computing (SC) software. Our approach is to employ Assurance Case techniques to the case of a specific medical image analysis software, 3dfim+, and then generalize the results/template for other medical and SC software. Using the Goal Structuring Notation (GSN), we develop an Assurance Case to support the top goal that "Program 3dfim+ delivers correct outputs when used for its intended use/purpose in its intended environment." This claim is supported by several sub-claims, including the claims that high-quality requirements exist and that the implementation complies with the requirements. The full argument decomposes each sub-claim further until at the bottom level evidence is provided. The evidence provided includes the requirements documentation, test cases and expert review. To simplify the Assurance Case diagram, a new generic module, parameterized over quality, was developed to argue that each quality has been achieved. Evaluation of the full Assurance Case shows that this approach is feasible for building confidence in SC software, even in the practical situation where confidence is sought, but redesign and reimplementation are not possible. The exercise uncovered issues with the original documentation for 3dfim+, including missing assumptions, and ambiguity with the chosen sign convention. Furthermore, although no errors in output were found, the Assurance Case highlights that confidence in the original 3dfim+ software could be improved through additional checks for input validity. | en_US |
dc.language.iso | en | en_US |
dc.subject | Assurance Case, GSN, Goal Structuring Notation, Scientific Software, 3dfim+, SRS , Software Requirements Specification | en_US |
dc.title | A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWAR | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Master of Science (MSc) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
SayariNejad_Mojdeh_2017June_MSc.pdf | MSc Thesis | 12.86 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.