Essays about: "Automated verification"

Showing result 1 - 5 of 84 essays containing the words Automated verification.

  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

  2. 2. Code Synthesis for Heterogeneous Platforms

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

    Author : Zhouxiang Fu; [2023]
    Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

  3. 3. Automated High-Temperature Pressure Sensor Verification and Characterization

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

    Author : Algirdas Bartkevicius; [2023]
    Keywords : Pressure sensor; sensor verification; sensor characterization; piezoelectric sensor; dynamic pressure sensor;

    Abstract : Gas turbines are widely used in power generation. Monitoring pressure variations in the combustion chamber allows for real-time assessment of the turbines performance, and can be used to optimize combustion processes, leading to reduced emissions. READ MORE

  4. 4. Study of the ALKS Parameter Space for Validation and Verification of Autonomous Cars’ Function via Design of Experiments

    University essay from Karlstads universitet/Avdelningen för matematik

    Author : Seyedhadi Kalantarihemmatabadi; [2023]
    Keywords : Design of Experiment; Box–Behnken Method; Autonomous Cars; Driving model; Self–Driving Cars; Collision Avoidance; Cut–in Scenario; Cut–out Scenario; Automated Lane Keeping System ALKS ; Linear Regression; Machine Learning;

    Abstract : .... READ MORE

  5. 5. Safety and Security in AutonomousVehicles : A Systematic Literature Review

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Amirhossein Soltaninejad; Mohammad Ali Rashidfarokhi; [2023]
    Keywords : Autonomous Vehicles; Autonomous Driving AD ; sensors; LiDAR; RADAR; Intelligent Transportation System ITS ; Safety; Security;

    Abstract : A transformative revolution in transportation is coming with the advent of Au-tonomous Vehicles (AVs), which are expected to increase mobility, reduce trafficcongestion, and save fuel. Although AVs present significant advantages, they alsopose substantial challenges, particularly when it comes to security and safety. READ MORE