Essays about: "säkerhetskritiska system"

Showing result 1 - 5 of 39 essays containing the words säkerhetskritiska system.

  1. 1. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Author : Zelin Yu; [2023]
    Keywords : Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Abstract : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. READ MORE

  3. 2. Syntax-Based Dependency Discovery : Extracting Dependencies Between Integration Test Cases for Passive Testing

    University essay from KTH/Hälsoinformatik och logistik

    Author : David Halldoff; Martin Sten; [2023]
    Keywords : Software testing; passive testing; integration testing; test case; dependency discovery; guarded assertion; automotive; safety-critical; Mjukvarutestning; passiv testning; integrationstestning; testfall; beroendeupptäckt; fordon; säkerhetskritisk;

    Abstract : Modern-day vehicles consist of numerous electronic computing devices with accompanying software. Since vehicles are generally classified as safety-critical systems, rigorous testing strategies have to be deployed to ensure correct operation of the embedded software. READ MORE

  4. 3. Safety-Critical Teleoperation with Time-Varying Delays : MPC-CBF-based approaches for obstacle avoidance

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

    Author : Riccardo Periotto; [2023]
    Keywords : Robust Control Barrier Functions RCBFs ; Model Predictive Control MPC ; Obstacle Avoidance; Time-Varying Delays; Teleoperation; Robust Control Barrier Functions RCBFs ; Model Predictive Control MPC ; Obstacle Avoidance; Time-Varying Delays; Teleoperation;

    Abstract : The thesis focuses on the design of a control strategy for safety-critical remote teleoperation. The main goal is to make the controlled system track the desired velocity specified by a human operator while avoiding obstacles despite communication delays. READ MORE

  5. 4. Parameter Estimation and Simulation of Driving Datasets

    University essay from KTH/Väg- och spårfordon samt konceptuell fordonsdesign

    Author : Bojian Qu; [2023]
    Keywords : autonomous vehicles; safety assessment; trajectory generation; safety-critical scenarios; density estimation; approximate inference; självkörande fordon; säkerhetsbedömning; bana generering; säkerhetskritiska scenarier; densitetsuppskattning; ungefärlig slutledning;

    Abstract : The development of autonomous driving in recent years has been in full swing and one of the aspects that Autonomous Vehicles (AVs) should always focus on is safety. Although the corresponding technology has gradually matured, and AVs have performed well in a large number of tests, people are still uncertain whether AVs can cope with all possible situations. READ MORE

  6. 5. On the Equivalence of Time-Varying CBF-Based Control and Prescribed Performance Control : Conversion and Qualitative Comparison

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

    Author : Ryo Namerikawa; [2023]
    Keywords : Control Barrier Function; Invariance control; Nonlinear control; Prescribed Performance Control; Safety-critical system; Icke-linjär reglering; invariansreglering; säkerhetskritiska system; prestandasäkring;

    Abstract : These days, a wide range of autonomous systems, such as automobiles, delivery drones, and embedded household systems, are becoming more and more common in our society. This trend is projected to continue in the future. To effectively manage these dynamic systems, ensuring their safe operation is crucial for the well-being of our lives. READ MORE