Essays about: "formella metoder"

Showing result 1 - 5 of 39 essays containing the words formella metoder.

  1. 1. Code Synthesis for Heterogeneous Platforms

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

    Author : Zhouxiang Fu; [2023]
    Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

  3. 2. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Author : Manon Lecart; [2023]
    Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE

  4. 3. Methods for local energy and climate planning : A Case stuudy on the Urban Community of Dunkirk

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Sacha Thibault; [2023]
    Keywords : Energy transition - Climate and energy policy - Renewable energy - Decision-Support Tools - Local authorities; Energiomställning - Klimat- och energipolitik - Förnybar energi - Verktyg för beslutsstöd - Lokala myndigheter;

    Abstract : Energy management concerns were raised in France after the oil crisis in the 1970s. From then, the local actors developed policies to better control the energy production and consumption on the territories. Climate considerations and the need to limit greenhouse gases (GHG) emissions were then added to these energy issues in the early 2000s. READ MORE

  5. 4. The industry adoption of innovative safety-analysis approaches for autonomous vehicles : A case study exploring the industry adoption of model-based safety analysis

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Sam Khogasteh; [2023]
    Keywords : ;

    Abstract : In recent years, autonomous vehicles have been gaining traction as a technology that can revolutionize society and save approximately $800 billion per year in the U.S. alone. However, due to their complex and dynamic behavior, ensuring the safety of these vehicles has proven to be a challenge for traditional safety analysis methods. READ MORE

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