Essays about: "Safety-critical systems"

Showing result 1 - 5 of 122 essays containing the words Safety-critical systems.

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

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

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

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

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Danyal Mirza; [2023]
   Keywords : ;

   Abstract : 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. READ MORE

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

   University essay from Jönköping University/JTH, Avdelningen för datateknik och informatik

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

   Abstract : 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. READ MORE