Essays about: "Validation Verification"

Showing result 16 - 20 of 146 essays containing the words Validation Verification.

  1. 16. Application of formal verification and validation on modern multi-functional signalling system

    University essay from KTH/Transportplanering

    Author : Shamsul Arefin; [2022]
    Keywords : ;

    Abstract : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. READ MORE

  3. 17. On-board processing with AI for more autonomous and capable satellite systems

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Tamina Lund; [2022]
    Keywords : Satellite telemetry forecasting; battery degradation prediction; LSTM; artificial intelligence; on-board processing;

    Abstract : While the use of Artificial Intelligence (AI) has faced a sharp up-rise in popularity in ground-based industries, such as for autonomous navigation in the automotive industry and predictive maintenance in manufacturing processes, it is yet only rarely used in space industry. Hence, this thesis aims to investigate the possibilities of using AI for processing on-board Earth-orbiting satellites while in orbit. READ MORE

  4. 18. Verification and Validation of DORN Engineering model : Joint Master Program in Space Science and Technology Spacemasters

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Arjun Menon Mohana Krishnan; [2022]
    Keywords : Validation; Testing and Analysis of Engineering model; Alpha spectroscopy;

    Abstract : This report presents the various test procedures carried out to verify and validate the engineering model of the DORN instrument. DORN is an instrument designed to perform alpha spectroscopy on the lunar surface, this instrument will be onboard Chang’e 6 lunar mission which is a lunar sample return mission conducted by China. READ MORE

  5. 19. Validation of efficiency of formal verification methodology for verification closure

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

    Author : Gautham Prabhakar; [2022]
    Keywords : UVM; formal verification; assertions; verification engineers; SVA; TLV; jasper gold; UVM; formell verifiering; assertions; verifierar; SVA; TLV; jasper gold;

    Abstract : Application Specific Integrated Circuits (ASIC) and Field Programmable Gate Arrays (FPGA) verification is quite a time consuming phase in design flow cycle and it can be done using methodologies such as Universal Verification Methodology (UVM) and formal verification.The UVM methodology is simulation based verification where in the verifier will have to trigger the Design Under Test (DUT) manually by writing sequences which target different features of the DUT and the verification environment can also have verification directives such as assertions to spot design bugs. READ MORE

  6. 20. Testing macroscopic traffic evacuation models for wildland-urban interface fires

    University essay from Lunds universitet/Avdelningen för Brandteknik

    Author : Adam Ardinge; [2021]
    Keywords : WUI-NITY; WUI; V V; traffic evacuation; WUI fire evacuation; simulation model; verification testing; validation testing; Kincade; Technology and Engineering;

    Abstract : This thesis presents the verification and validation testing performed on the evacuation simulation platform WUI-NITY which has the aim of being a simulation tool for the integration of different layers, such as pedestrian, traffic and wildfire with evolving dynamic interactions. The present thesis aims at applying a set of verification tests and validation testing suitable for WUI-NITY with a focus on the traffic component. READ MORE