Sökning: "safety-critical"

Visar resultat 1 - 5 av 190 uppsatser innehållade ordet safety-critical.

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

    Master-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Rawand Alostaz; [2024]
    Nyckelord :RADAR; SAAB; Safety; Aviation; Safety-Critical;

    Sammanfattning : .... LÄS MER

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

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

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

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

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Xuni Huang; [2023-01-09]
    Nyckelord :Inconsistencies; Safety-critical systems; Natural language processing; Classification;

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

  5. 4. Uncertainty Estimation in Radiation Dose Prediction U-Net

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

    Författare :Frida Skarf; [2023]
    Nyckelord :Radiation dose prediction models; U-net; quantile regression; Monte Carlo Dropout; epistemic uncertainty estimation; aleatoric uncertainty estimation; Stråldospredicerande modeller; U-net; kvantilregression; Monte Carlo Dropout; epistemisk osäkerhetsskattning; aletorisk osäkerhetsskattning;

    Sammanfattning : The ability to quantify uncertainties associated with neural network predictions is crucial when they are relied upon in decision-making processes, especially in safety-critical applications like radiation therapy. In this paper, a single-model estimator of both epistemic and aleatoric uncertainties in a regression 3D U-net used for radiation dose prediction is presented. LÄS MER

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

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

    Författare :Axel Abrahamsson; Lukas Granqvist; [2023]
    Nyckelord :;

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