Essays about: "project verification"

Showing result 16 - 20 of 260 essays containing the words project verification.

  1. 16. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Author : Hovig Manjikian; [2023]
    Keywords : Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Abstract : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. READ MORE

  3. 17. Modeling, Simulation, and Injection of Camera Images/Video to Automotive Embedded ECU : Image Injection Solution for Hardware-in-the-Loop Testing

    University essay from Uppsala universitet/Signaler och system

    Author : Anton Lind; [2023]
    Keywords : ADAS; AD; ADS; HIL; Hardware in the loop; Hardware-in-the-loop; ECU; VCU; Automotive; Embedded; System; Systems; Camera; Image; Video; Injection; FPGA; MPSoC; Vivado; Vitis; VHDL; Volvo; Cars; FMC; HPC; LPC; MIPI CSI2; GMSL2; AMBA AXI4; Xilinx; RTL; Implementation; Synthesis; Intelectual Property; IP; Vehicle computing unit; Electronic control unit; TEB0911; TEF0007; TEF0010; CSI2 Tx; CSI2 Tx Subsystem; Zynq; SerDes; AXI4; AXI4-Lite; Programmable Logic; PL; Processor System; PS; C; C ; Video test pattern generator; VTPG; Axi traffic generator; ATG; Ultrascale ; Virtual input output; VIO; Integrated logic analyzer; ILA; Interface Unit;

    Abstract : Testing, verification and validation of sensors, components and systems is vital in the early-stage development of new cars with computer-in-the-car architecture. This can be done with the help of the existing technique, hardware-in-the-loop (HIL) testing which, in the close loop testing case, consists of four main parts: Real-Time Simulation Platform, Sensor Simulation PC, Interface Unit (IU), and unit under test which is, for instance, a Vehicle Computing Unit (VCU). READ MORE

  4. 18. Start of a new design method for a competitive Small Modular Reactor (SMR) adaptable to future uses

    University essay from KTH/Skolan för teknikvetenskap (SCI)

    Author : Baptiste Mazurié; [2023]
    Keywords : Requirement modelling; Cyber-physical systems; Small Modular Reactor SMR ; Systems Engineering; CRML;

    Abstract : As cyber-physical systems become increasingly complex, the management and verification of requirements during design is essential. A new language called CRML (Common Requirement Modelling Language) has been created during the European EMBrACE project to formalize realistic dynamical requirements, but a method for representing these requirements and a framework for using them as a design aid must be defined to ease appropriation by engineers. READ MORE

  5. 19. Modelling of a Glued Bolt Joint in Finite Element

    University essay from KTH/Hållfasthetslära

    Author : Tove Boivie; [2023]
    Keywords : Solid Mechanics; finite element method; adhesive; bolt; hybrid joint; Hållfasthetslära; finita element metoden; lim; skurv; hybrid förband;

    Abstract : This report presents a master thesis project at KTH at the school of Engineering Science. The project is done in collaboration with ABB Robotics, a company who develops industrial robots. A robot consists of several parts and the last structural part is the wrist. READ MORE

  6. 20. Exploring Software Project Planning through Effort Uncertainty in Large Software Projects : An Industrial Case Study

    University essay from Blekinge Tekniska Högskola/Institutionen för industriell ekonomi

    Author : Jesper Ellis; Elion Eriksson; [2023]
    Keywords : Software project planning; Effort estimation; Uncertainty; Solution verification; Mjukvarutprojektsplanering; Ansträngningsuppskattning; Osäkerhet; Lösningsverifiering;

    Abstract : Background. Effort estimation is today a crucial part of software development planning. However, much of the earlier research has been focused on the general conditions of effort estimation. Little to no effort has been spent on solution verification (SV) of the projects. READ MORE