Sökning: "verification"

Visar resultat 6 - 10 av 735 avhandlingar innehållade ordet verification.

  1. 6. 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. 7. Situation awareness in pervasive computing systems : reasoning, verification, prediction

    Författare :Andrey Boytsov; Christian Becker; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; situation awareness; context awareness; pervasive computing; ubiquitous computing; context prediction; Pervasive Mobile Computing; Distribuerade datorsystem;

    Sammanfattning : The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs are becoming a part of everyday life. LÄS MER

  4. 8. Robust Verification and Identification of Piecewise Affine Systems

    Författare :Jakob Roll; Lennart Ljung; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Piecewise affine systems; Verification; Robustness; Identification; Mixed-integer programming;

    Sammanfattning : iecewise affine systems constitute an important subclass of hybrid systems, and consist of several affine dynamic subsystems, between which switchings occur at different occasions. As for hybrid systems in general, there has been a growing interest for piecewise affine systems in recent years, and they occur in many application areas. LÄS MER

  5. 9. Automated Verification and Generation of Flexible Automation Control

    Författare :Johan Richardsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; manufacturing systems; program generation; control; verification;

    Sammanfattning : Consumer product life-cycles are constantly shortening; the automotive industry is an illustrative example. As a consequence, the introduction of new products into the manufacturing system necessarily becomes more frequent. Inherently, this brings a performance reduction for the manufacturing system. LÄS MER

  7. 10. 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