Essays about: "Verification of function"

Showing result 1 - 5 of 74 essays containing the words Verification of function.

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

3. 2. Model Based Testing for Programmable Data Planes

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

   Author : Gustav Rixon; [2023]
   Keywords : Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

   Abstract : The advent of Software Defined Networking (SDN) and programmable data planes has revolutionized the networking domain, enabling the programming of networking functions down to the silicon level responsible for data packet switching. Unfortunately, while this programmability offers greater flexibility and control, it also increases the likelihood of introducing software bugs. READ MORE

4. 3. Harmonisk strömsimulering i inverterbaserade värmepumpar

   University essay from Umeå universitet/Institutionen för fysik

   Author : Alexander Magnusson; [2023]
   Keywords : Current harmonics; inverter-driven compressor; black box simulation;

   Abstract : An electrical distribution network supplies power to many households at a time. Each house has various types of electrical appliances which consume different levels of power depending on its function and the load it supplies. An ideal case would be when no appliances cause power disturbances, however, in reality, many electrical appliances (e.g. READ MORE

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

6. 5. The design of a hydraulic equalizer bar for the feeding mechanism on forest harvester heads

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

   Author : Arvid Söderlund; [2023]
   Keywords : Harvester; Harvester head; Komatsu Forest; Hydraulics; Equalizer bar; Parallellstag; Stag; Skogsmaskin; Skördare; Aggregat; Skog;

   Abstract : Due to the importance of a correct tree placement and the wear that occurs to equalizer bars inharvester heads, Komatsu Forest AB in Umeå was interested if the bar could be replaced with ahydraulic system. According to Komatsu, the problems were that the equalizer bars that are responsible forsynchronizing the delimbing knives and feeding mechanism add weight, take up space and have atendency to break before their life expectancy. READ MORE