Sökning: "Formal Verification"

Visar resultat 36 - 40 av 84 uppsatser innehållade orden Formal Verification.

  1. 36. Practical Verification of Stateful Embedded C Code using Finite State Machines and VCC

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Mathias Lindgren; [2020]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  3. 37. Extraction of Rust code from the Why3 verification platform

    Master-uppsats, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Nils Fitinghoff; [2019]
    Nyckelord :Formal verification;

    Sammanfattning : It is hard to ensure correctness as software grows more complex. There are many ways to tackle this problem. Improved documentation can prevent misunderstandings what an interface does. Well built abstractions can prevent some kinds of misuse. LÄS MER

  4. 38. CASE STUDIES ON MODELING SECURITY IMPLICATIONS ON SAFETY

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Aleksandar Matović; [2019]
    Nyckelord :model-checking; security; safety-critical; rebeca; modeling security implications;

    Sammanfattning : Security is widely recognized as an important property that is tightly interdependentwith safety in safety-critical systems. The goal of this thesis is to conduct case studies on the implications that security attacks may have on the safety of these systems. LÄS MER

  5. 39. Secure Self-Reconfiguring Services to Mitigate DoS Attacks

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Silvan Zeller; [2019]
    Nyckelord :Rule-Based IDS; Runtime Verification; Domain Attacks; Self-Reconfiguring Systems;

    Sammanfattning : Protecting web services from cyber attacks is a complex problem requiring many layers of defense and mitigation strategies. Out of the diverse range of attacks, denial of service (DoS) attacks on the business logic – or the domain – are poorly studied and no widely accepted general-purpose software product to prevent these attacks exists today. LÄS MER

  7. 40. MAPPING UML DIAGRAMS TO THE REACTIVE OBJECT LANGUAGE (REBECA)

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Vladimir Djukanovic; [2019]
    Nyckelord :model-driven engineering; uml; rebeca; conceptual mapping;

    Sammanfattning : Unified Modeling Language (UML) is a de-facto standard modeling language with an extensive syntax and notations that can be used to model systems of any kind. However, being a general-purpose language, its semantics are intrinsically under-specified and broad to leave a room for different interpretations. LÄS MER