Please use this identifier to cite or link to this item:
|Title:||Identification and Documentation of Environmental Assumptions for the PACEMAKER System|
|Authors:||WANG, Vivien You|
|Department:||Computing and Software|
|Keywords:||pacemaker;medical instrumentation system;software requirement;formal method;environmental assumptions;documentation;software;Other Computer Engineering;Other Computer Engineering|
|Abstract:||<p>An interest has been established in the identification, documentation and classifi- cation of the environmental assumptions that are missing from the original PACE- MAKER System Specification. This thesis addresses the presented challenge and documents the procedure used to identify, classify, and document these missing en- vironmental assumptions.</p> <p>In summary, this thesis answers the following questions: <ol> <li></p> <p>What can be done in order to improve the original PACEMAKER System</p> <p>Specification with respect to environmental assumptions? </li> <li></p> <p>Why is it beneficial, in terms of enhancing software quality, to include the doc- umentation of environmental assumptions – which sometimes are (wrongfully) perceived as being collateral and optional – as part of the software requirements document? </li> <li></p> <p>How should such environmental assumptions be documented? </li> </ol></p> <p>More specifically, this thesis • Presents an abstract model for the PACEMAKER system. • Identifies system boundaries and interfaces in the PACEMAKER model. • Identifies environmental assumptions for the PACEMAKER system.</p> <p>• Presents a classification system for the environmental assumptions identified for the PACEMAKER system based on the proposed model.</p> <p>• Proposes a process for identifying environmental assumptions.</p> <p>Furthermore, the research findings presented in this thesis are not limited to the PACEMAKER system. The documentation convention proposed in this thesis is meant to be generalized and can be extended to address similar documentation needs posed by all kinds of software systems. Additionally, the process of environmental assumptions elicitation described in this thesis provides a useful reference for con- ducting similar assumption identification projects. Lastly, the classification system presented in this thesis for the environmental assumptions exhibits one facet of a grander conceptual system – one that incorporates multiple ‘views’ of the same set of assumptions, with each view being distinguished by a unique set of classification criteria.</p>|
|Appears in Collections:||Open Access Dissertations and Theses|
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.