Sökning: "safety verification"

Visar resultat 1 - 5 av 125 avhandlingar innehållade orden safety verification.

  1. 1. Computational Verification Methods for Automotive Safety Systems

    Författare :Jonas Nilsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Active Safety; Automotive; Verification; Augmented Reality; Performance Evaluation; Decision Making; Semi-Autonomous Vehicles;

    Sammanfattning : This thesis considers computational methods for analysis and verification of the class of automotive safety systems which support the driver by monitoring the vehicle and its surroundings, identifying hazardous situations and actively intervening to prevent or mitigate consequences of accidents. Verification of these systems poses a major challenge, since system decisions are based on remote sensing of the surrounding environment and incorrect decisions are only rarely accepted by the driver. LÄS MER

  3. 2. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  4. 3. Procedure-Modular Verification of Temporal Safety Properties

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER

  5. 4. Formal Specification and Verification of Safety-Critical Software

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER

  7. 5. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER