Sökning: "safety-critical systems"

Visar resultat 1 - 5 av 131 uppsatser innehållade orden safety-critical systems.

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

  3. 2. 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

  4. 3. 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

  5. 4. Adding Floating-point Arithmetic Support to TriCera

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Danyal Mirza; [2023]
    Nyckelord :;

    Sammanfattning : Floating-point arithmetic is a widely utilized technique for approximating real numbers. When applied in safety-critical systems, it is essential to ensure that these numbers behave as they should and do not give unsuspected errors. To ensure this, the utilization of floating-point verification is needed. LÄS MER

  7. 5. Requirement Validation - A multi-case study to identifyfailure factors in safety critical software development

    Kandidat-uppsats, Jönköping University/JTH, Avdelningen för datateknik och informatik

    Författare :Kyrollos Ceriacous; Jakoob Ishak; [2023]
    Nyckelord :Requirements; Requirement Validation; Requirement Engineering; Safety-critical; Software Development; Failure Factors; Multiple Case Study.;

    Sammanfattning : In software development, customer trust hinges on a product performing as expectedand ensuring appropriate steps are taken to prevent incidents due to faulty systems. Oneway of achieving this lies within in requirement validation – the process of validatingthe requirements set on the software. LÄS MER