Essays about: "GSN"

Showing result 1 - 5 of 7 essays containing the word GSN.

1. 1. Arguing Assurance in Trusted Execution Environments using Goal Structuring Notation

   University essay from Linköpings universitet/Programvara och system

   Author : Nigel Cole; [2021]
   Keywords : Assurance; Trusted Execution Environment; TEE; Goal Structuring Notation; GSN; Keystone;

   Abstract : 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. READ MORE

3. 2. A Comparative Analysis of Argumentation Languages in the Context of Safety Case Development

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Sirisha Bai Govardhan Rao; [2019]
   Keywords : safety case argumentation languages; safety case argumentation notations; documentation of safety cases;

   Abstract : The safety case creation has become an explicit requirement in most of the safety-critical domains to ensure the safety of a system or an application. In the process of developing a safety case, the foremost requirement is choosing an efficient argumentation language which fulfills all the functionalities needed to develop a safety case. READ MORE

4. 3. An Attack Model of Autonomous Systems of Systems

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Dzana Hanic; Amer Surkovic; [2018]
   Keywords : ;

   Abstract : Context: In order to provide more functionalities and services, systems collaborate with each other creating more complex systems called Systems of Systems. Exploiting security vulnerabilities in such complex systems has an impact over system safety and it is not sufficient to analyze them separately in the development process. READ MORE

5. 4. A Tool-Supported Method for Fallacies Detection in Process-Based Argumentation

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Laura Gómez Rodríguez; [2018]
   Keywords : Process models; safety cases; process-based argumentation; argumentation fallacies; model transformation;

   Abstract : Process-based arguments aim at demonstrating that a process, compliant with a standard, has been followed during the development of a safety-critical system. Compliance with these processes is mandatory for certification purposes, so the generation of process-based arguments is essential, but also a very costly and time-consuming task. READ MORE

6. 5. Theoretical and Quantitative Comparison of SensibleThings and GSN

   University essay from Mittuniversitetet/Avdelningen för informations- och kommunikationssystem

   Author : Kaidi Wang; [2016]
   Keywords : IoT; GSN; SensibleThings; Fully distributed system; Partially decentralized system;

   Abstract : This project is aimed at making comparison between current existing Internet- of-Things (IoT) platforms, SensibleThings (ST) and Global Sensors Networks (GSN). Project can be served as a further work of platforms’ investigation. Comparing and learning from each other aim to contribute to the improvement of future platforms development. READ MORE