Essays about: "säkerhetskrav"

Showing result 11 - 15 of 36 essays containing the word säkerhetskrav.

  1. 11. Synthesis of Annotations for Partially Automated Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Daniel Skantz; [2021]
    Keywords : ;

    Abstract : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. READ MORE

  3. 12. Measuring Coverage of Attack Simulations on MAL Attack Graphs

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Nicklas Hersén; [2021]
    Keywords : ;

    Abstract : With the transition from traditional media and the increasing number of digital devices, the threats against digital infrastructure is greater than ever before. New and stricter security requirements are placed on digital platform in order to protect sensitive information against external cyber threats. READ MORE

  4. 13. Measurement System Analysis : For Battery Production Using DMAIC at Northvolt AB

    University essay from Luleå tekniska universitet/Institutionen för ekonomi, teknik och samhälle

    Author : Phuc Nguyen; Adam Sahlberg; [2020]
    Keywords : Measurement System Analysis; Measurement System; Measurement Instrument; DMAIC;

    Abstract : As battery manufacturing is enclosed with multiple quality and safety requirements, the batteryindustry needs adequate Measurement Systems (MS) to provide high product quality and ensure a safe working environment. The study purpose was to improve the performance of an MS for battery production by utilizing MSA and Six Sigma methodology, and to make appropriate recommendations for improvement and future control. READ MORE

  5. 14. Landskapsarkitekturen bakom galler

    University essay from SLU/Dept. of Urban and Rural Development

    Author : Karin Schedin; [2020]
    Keywords : kriminalvård; fängelseanstalt; fängelse; välgörande grönska; trädgårdsterapi;

    Abstract : I Sverige sitter cirka 4400 personer frihetsberövade på någon av Sveriges fängelser. Frihetsberövandet utgör en belastning för individen och kan utlösa krissituationer med självskadande handlingar som följd. READ MORE

  6. 15. Practical Verification of Stateful Embedded C Code using Finite State Machines and VCC

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Mathias Lindgren; [2020]
    Keywords : ;

    Abstract : Vehicles in the 21st-century are becoming more and more dependent on embedded software systems for navigation, system control, monitoring, and entertainment. Manufacturers of cars have also over the years been put under more and more safety regulations and as such, some of these systems are of a safety critical nature and undergo rigorous reliability testing. READ MORE