Essays about: "safety-critical"

Showing result 6 - 10 of 176 essays containing the word safety-critical.

1. 6. Evaluation of a Test Rig to Determine the Need For Human Operators in Ergonomic Testing of Pistol Grip Power Tools

   University essay from KTH/Skolan för industriell teknik och management (ITM)

   Author : Felix Ekman; Axel Sernelin; [2023]
   Keywords : ;

   Abstract : Handheld power tools are found in many different manufacturing processes, everywhere from miniature screw joints in cell phones to safety-critical joints in automotive vehicles. The tools are often used for many consecutive hours which emphasizes the need for good ergonomics to ensure the safety of the operators. READ MORE

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

4. 8. Improving Software Development Process Through Industry 4.0 Technologies : A focus on Railway Embedded Software

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

   Author : Julia Eriksson; Victor Busck; [2023]
   Keywords : Safety-critical software development; Industry 4.0; Artificial Intelligence;

   Abstract : Date: 4th June 2023 Level: Master thesis in Product- and Process Development, advanced level, 30 credits Institution: School of Innovation, Design and Engineering at Mälardalen University Authors: Victor Busck Julia Eriksson Title: Improving Software Development Process Through Industry 4.0 Methodologies - A focus on Railway Embedded Software Supervisor: Yuji Yamamoto - Mälardalens University, Raluca Marinescu - Alstom, Ian Bird-Radolovic - Alstom Keywords: Safety-critical software development; Software development;Industry 4. READ MORE

5. 9. Adaptive system for landingapproach trajectory of JAS 39Gripen

   University essay from Linköpings universitet/Institutionen för systemteknik

   Author : Emil Strömblad; Pontus Karlsson; [2023]
   Keywords : Flygplan; styr order;

   Abstract : The landing procedure of an aircraft is a safety critical procedure requiring high precisioncontrol and feasible trajectories to follow from the current state. This thesis implementsand studies a complete system with trajectory planning, trajectory following, and steeringcommand generation. READ MORE

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