Essays about: "verification report"

Showing result 1 - 5 of 117 essays containing the words verification report.

1. 1. Robotic Automation of Mechanical Verification

   University essay from KTH/Integrerad produktutveckling och design

   Author : Sofie Gårdestam; Amalia Kronér; [2024]
   Keywords : ;

   Abstract : This master thesis explores the implementation of Collaborative robots into Elekta's mechanical product verification process. Elekta is a pioneer in precision radiation therapy solutions. Ensuring the compliance of Elekta's products with performance, safety, and quality criteria is of great importance. READ MORE

3. 2. Cost-Effective Design Solution for GAIM Shooting Trigger PCB & Improving the Power Distribution Network

   University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

   Author : Marko Pajovic; [2024]
   Keywords : Technology and Engineering;

   Abstract : Virtual Reality (VR) shooting simulators have gained popularity as effective training and entertainment tools. GAIM is a Swedish company specializing in VR shooting simulators, offering VR headsets with physical dummy guns and rifles. READ MORE

4. 3. Optimizing Cyber Security Gap Analysis for Legacy Railway Control Systems : A Proposed New Gap Analysis Process using CIS Benchmarks™

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

   Author : Weicheng Xu; [2023]
   Keywords : ;

   Abstract : The global concern over cyber security threats to railway control systems is growing due to the factual and potential threats that could lead to severe consequences, including disruption, derailment, and collision. Legacy railway control systems, which were not originally designed with cyber security in mind, are particularly vulnerable to common cyber attacks. READ MORE

5. 4. Adding Basic Support for Function Pointers in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2023]
   Keywords : ;

   Abstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. READ MORE

6. 5. Enhancing the Swedish Defence : Development of a Modernized Hanguard for AK 4B Battle Rifle

   University essay from Linköpings universitet/Produktrealisering

   Author : Sebastian Danielsson; Fredrik Åström; [2023]
   Keywords : product development; design; cad; product specification; material selection; design for manufacturing; design for assembly; produktutveckling; design; konstruktion; försvar;

   Abstract : This master thesis report describes the development process of a modernized handguard for the AK4B battle rifle, which is the main armament for the Swedish Home Guard. The project was carried out in cooperation with ALTEN Sweden AB. READ MORE