Essays about: "Automatiserad verifiering"

Showing result 1 - 5 of 8 essays containing the words Automatiserad verifiering.

  1. 1. Robotic Automation of Mechanical Verification

    University essay from KTH/Integrerad produktutveckling och design

    Author : Sofie Gårdestam; Amalia Kronér; [2024]
    Keywords : ;

    Abstract : This master thesis explores the implementation of Collaborative robots into Elekta's mechanical product verification process. Elekta is a pioneer in precision radiation therapy solutions. Ensuring the compliance of Elekta's products with performance, safety, and quality criteria is of great importance. READ MORE

  3. 2. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  4. 3. 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

  5. 4. 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

  6. 5. Hardware Synthesis of Automated Electrical Fault Testing in Trucks

    University essay from KTH/Mikro- och nanosystemteknik

    Author : Martin Orre; [2015]
    Keywords : ;

    Abstract : In modern trucks there is a number of control units, which tasks are varying; control of the engine, brakes, gearbox, etc. In order to ensure that these devices work properly, they must be thoroughly tested under normal conditions but also when they are exposed to stresses such as electrical faults (short circuit, breaks, etc.). READ MORE