Essays about: "Verification."

Showing result 16 - 20 of 1088 essays containing the word Verification..

1. 16. Implicit Message Integrity Provision : In Heterogeneous Vehicular Systems

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

   Author : Paul Molloy; [2023]
   Keywords : Privacy; Code Generation; Vehicle-to-infrastructure; Vehicular ad hoc Networks; Standardization; Remote Procedure Calls; Safety; Integritet; Kodgenerering; Fordon-till-infrastruktur; Ad hoc-nät för Fordon; Standardisering; Samtal om fjärrprocedur; Säkerhet;

   Abstract : Vehicles on the road today are complex multi-node computer networks. Security has always been a critical issue in the automotive computing industry. It is becoming even more crucial with the advent of autonomous vehicles and driver assistant technology. There is potential for attackers to control vehicles maliciously. READ MORE

3. 17. 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

4. 18. 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

5. 19. Probabilistic guarantees in model-checking with Time Petri Nets

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

   Author : Manon Lecart; [2023]
   Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

   Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE

6. 20. Multiscale & Multiphysics Modelling of Thrust Pad (Air) Bearings

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

   Author : Nipon Roy; [2023]
   Keywords : Finite element modelling; Air bearing; Multiphysics simulations; Air lubrication; surface texture; Topology optimization;

   Abstract : Without lubrication, machines are not imaginable to perform over a long period of time and complete their designated operations. With its omnipresent availability, the air is capable of functioning as a lubricant in long operations very efficiently. Moreover, thrust bearings support axial loads and transmit power at the same time under heavy loads. READ MORE