1 |
Goal Structuring of a Knowledge DomainNasser, Nikoo 26 November 2012 (has links)
This thesis aims to develop a knowledge structuring framework to organize knowledge according to means-ends relationships. Means-ends relationships are particularly relevant in technology and goal-oriented domains such as the geo-engineering domain, where technical problems are identified, and solutions proposed. The proposed goal oriented representation in this thesis does not replace current classification methodologies.
In this project, a small corpus of research publications from a technology domain is used to help construct the framework. The main means-ends relationships from the articles are manually extracted and represented in a graphical model showing which problems are approached, by which solutions proposed, and in which publications. Proposed solutions can lead to new problems which are in turn addressed by solutions proposed in other publications. A metamodel is derived to capture the important concepts and relationships relevant for this purpose. The metamodel, and the framework have undergone several iterations before finalization.
|
2 |
Goal Structuring of a Knowledge DomainNasser, Nikoo 26 November 2012 (has links)
This thesis aims to develop a knowledge structuring framework to organize knowledge according to means-ends relationships. Means-ends relationships are particularly relevant in technology and goal-oriented domains such as the geo-engineering domain, where technical problems are identified, and solutions proposed. The proposed goal oriented representation in this thesis does not replace current classification methodologies.
In this project, a small corpus of research publications from a technology domain is used to help construct the framework. The main means-ends relationships from the articles are manually extracted and represented in a graphical model showing which problems are approached, by which solutions proposed, and in which publications. Proposed solutions can lead to new problems which are in turn addressed by solutions proposed in other publications. A metamodel is derived to capture the important concepts and relationships relevant for this purpose. The metamodel, and the framework have undergone several iterations before finalization.
|
3 |
Arguing Assurance in Trusted Execution Environments using Goal Structuring Notation / Argumentera assurans i trusted execution environment med goal structuring notationCole, Nigel January 2021 (has links)
A trusted execution environment (TEE) is an isolated environment used for trusted execution. TEE solutions are usually proprietary and specific for a certain hardware specification, thereby limiting developers that use those TEEs. A potential solution to this issue is the use of open-source alternatives such as the TEE framework Keystone and the Reduced Instruction Set Computer V (RISC-V) hardware. These alternatives are rather young and are not as well established as the variants developed by ARM and Intel. To this end, the assurance in Keystone and RISC-V are analysed by studying a remote attestation assurance use case using the goal structuring notation (GSN) method. The aim is to investigate how GSN can be utilised to build assurance cases for TEEs on RISC-V. This thesis presents a process of how GSNs can be created to argue assurance for a TEE solution. Furthermore, Keystone operates under a specific threat model with made assumptions that may have a large impact depending on the use case. Therefore, Keystone is analysed to understand whether the framework mitigates existing vulnerabilities in TEEs. It is concluded that GSN is a viable method for arguing assurance in TEEs, providing great freedom in the creation of the GSN model. The freedom is also its weakness since the argument composition has a high impact on the argument. Furthermore, we conclude that Keystone mitigates multiple known vulnerabilities primarily through made assumptions in its threat model. These cases need to be considered by developers utilising Keystone to determine whether or not the assumptions are valid for their use case.
|
4 |
A CASE STUDY IN ASSURANCE CASE DEVELOPMENT FOR SCIENTIFIC SOFTWARSayari Nejad, Mojdeh January 2017 (has links)
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. / Thesis / Master of Science (MSc)
|
Page generated in 0.087 seconds