Sökning: "säkerhetskritiska system"

Visar resultat 1 - 5 av 51 uppsatser innehållade orden säkerhetskritiska system.

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

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

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

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

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

    M1-uppsats, KTH/Hälsoinformatik och logistik

    Författare :David Halldoff; Martin Sten; [2023]
    Nyckelord :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;

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

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

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

    Författare :Riccardo Periotto; [2023]
    Nyckelord :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;

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

  5. 4. Utvecklandet av ett mer användbart system : - En designanalys av ledningssystemet C2STRIC -

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen Vi3

    Författare :Joacim Schenning; Tova Rydén; [2023]
    Nyckelord :usability; user interface; HMI; command-and-control systems; user-centered design; safety critical systems; användbarhet; ändamålsenlighet; effektivitet; ledningssystem; säkerhetskritiska system; användargränssnitt; användarcentrerad design; systemanalys;

    Sammanfattning : In a modern world torn apart by war the basic human need to feel safe is threatened. In order to defend and protect this need, technical defense systems solving complex situations are of great importance. As the rate of technological innovation accelerates it is important for companies like Saab to maintain their competitive advantage. LÄS MER

  7. 5. Parameter Estimation and Simulation of Driving Datasets

    Master-uppsats, KTH/Väg- och spårfordon samt konceptuell fordonsdesign

    Författare :Bojian Qu; [2023]
    Nyckelord :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;

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