Essays about: "Safety-critical system"

Showing result 1 - 5 of 132 essays containing the words Safety-critical system.

  1. 1. A CONCEPT STUDY OVER A RADAR-BASED TERRAIN AWARENESS SYSTEM (RTAS)

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Rawand Alostaz; [2024]
    Keywords : RADAR; SAAB; Safety; Aviation; Safety-Critical;

    Abstract : .... READ MORE

  3. 2. Challenges in Specifying Safety-Critical Systems with AI-Components

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Iswarya Malleswaran; Shruthi Dinakaran; [2023-09-26]
    Keywords : Software engineering; Requirement engineering; Specification; Safety; Computer Science; Engineering; Machine learning; Deep learning; Runtime monitor; Data Selection; Data Collection;

    Abstract : Safety is an important feature in automotive industry. Safety critical system such as Advanced Driver Assistance System (ADAS) and Autonomous Driving (AD) follows certain processes and procedures in order to perform the desired function safely. READ MORE

  4. 3. Detecting inconsistencies of safety artifacts with Natural Language Processing Bachelor of Science Thesis

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Xuni Huang; [2023-01-09]
    Keywords : Inconsistencies; Safety-critical systems; Natural language processing; Classification;

    Abstract : This paper investigates a method that helps detect inconsistencies between safety-critical systems’ textual safety artifacts that safety cases rely on by involving NLP techniques. A design science research study was conducted in three iterations. I evaluate the method by conducting different experiments. READ MORE

  5. 4. Multi-Robot Motion Planning Under High-Level Task Specifications

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

    Author : Axel Abrahamsson; Lukas Granqvist; [2023]
    Keywords : ;

    Abstract : This bachelor thesis explores the use of Signal Temporal Logic (STL) and ControlBarrier Functions (CBFs) to address the challenges associated with multi-robot motionplanning under high-level task specifications. STL is a formalism used to specify temporalproperties of signals, while CBFs are used to enforce safety constraints. READ MORE

  6. 5. 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