Sökning: "Software verification"

Visar resultat 1 - 5 av 334 uppsatser innehållade orden Software verification.

  1. 1. INTRODUCTION OF CYBERSECURITY INTO VERIFICATION PROCESSES FOR CONSTRUCTION EQUIPMENT : Cybersecurity Verification

    Master-uppsats, Mälardalens universitet/Inbyggda system

    Författare :Selam Fitsum Andemariam; [2024]
    Nyckelord :;

    Sammanfattning : Technology is evolving at a very fast pace in various domains, including the construction equipment industry. Although the increased automation and connectivity in different products, such as vehicles, heavy machinery, and many others, have advantages, they also have disadvantages. LÄS MER

  3. 2. Implicit Message Integrity Provision : In Heterogeneous Vehicular Systems

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Paul Molloy; [2023]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 3. Code Synthesis for Heterogeneous Platforms

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : 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. LÄS MER

  5. 4. Multiscale & Multiphysics Modelling of Thrust Pad (Air) Bearings

    Master-uppsats, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Författare :Nipon Roy; [2023]
    Nyckelord :Finite element modelling; Air bearing; Multiphysics simulations; Air lubrication; surface texture; Topology optimization;

    Sammanfattning : 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. LÄS MER

  7. 5. Model Based Testing for Programmable Data Planes

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Gustav Rixon; [2023]
    Nyckelord :Model Based Testing; Programmable Data Planes; P4; Software- Defined Networking;

    Sammanfattning : 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. LÄS MER