Essays about: "Static verification"

Showing result 1 - 5 of 53 essays containing the words Static verification.

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

  3. 2. Evaluation of probabilistic forecasts in Uppsala and its potential use in winter road maintenance

    University essay from Uppsala universitet/Luft-, vatten- och landskapslära

    Author : Elisabet Johansson; [2023]
    Keywords : forecast evaluation; ensemble system; MetCoOp; winter road maintenance; snow removal; utvärdering; ensembelprognos; MetCoOp; snöröjning; vinterväghållning;

    Abstract : Efficient winter road maintenance is crucial for safety and societal function during the winter months in Sweden. This report aims to evaluate the MetCoOp ensemble system CMEPS and investigate its potential use as a basis for formulating criteria for snow removal that accounts for forecasted weather. READ MORE

  4. 3. Static Analysis Of Client-Side JavaScript Code To Detect Server-Side Business Logic Vulnerabilities

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

    Author : Frederick van der Windt; [2023]
    Keywords : JavaScript; Static Analysis; Business Logic Vulnerabilities; Client-side; Fuzzing; Black-box; JavaScript; statisk analys; sårbarheter i affärslogiken; klientsidan; Fuzzing; Black-box;

    Abstract : In the real world, web applications are crucial in various domains, from e-commerce to finance and healthcare. However, these applications are not immune to vulnerabilities, particularly in business logic. Detecting such vulnerabilities can be challenging due to the complexity and diversity of application functionality. READ MORE

  5. 4. Study of Corner and Bathtub Attachments with Respect to Static Sizing

    University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Author : Linus Malm; [2022]
    Keywords : Applied Mechanics; Solid Mechanics; FEM; Static Strength; Abaqus; Fittings; Failure Modes;

    Abstract : This master thesis studied the possibilities of implementing new handbook methodologies for sizing of corner and bathtub attachments with respect to static strength.  Parametric studies of corner and bathtub attachments were performed in order to examine the effect of boundary conditions and vital dimensions with respect to static strength. READ MORE

  6. 5. Mitigating SSCI in a hybrid wind and PV farm utilizing PV-STATCOM : A Swedish case study

    University essay from Högskolan Dalarna/Institutionen för information och teknik

    Author : Isabelle Löfgren; [2022]
    Keywords : impedance analysis; PV-STATCOM; SSCI; SSO; SSR; sub-synchronous control interaction;

    Abstract : The share of electricity generation in the power system being based on power electronics is increasing, which will impact the system in different ways, such as an increased risk for undesired interactions. An example is doubly fed induction generator (DFIG) based windfarms which have been shown to present negative resistance in (parts of) the sub-synchronous range (i. READ MORE