Sökning: "Hardware Verification"

Visar resultat 16 - 20 av 114 uppsatser innehållade orden Hardware Verification.

  1. 16. Deployment, verification, and optimization of algorithms for simultaneous task planning and allocation in dynamic environments.

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Yucheng Zhao; [2021]
    Nyckelord :;

    Sammanfattning : With the upgrading of hardware such as sensors, processors, and artificial intelligence technologies, robotics technology is developing in the direction of intelligence. As multi-robot collaborative work is required in more and more scenarios, the robustness of multi-robot systems(MRS) against sensor errors, mapping errors, and dynamic obstacles is becoming a focus issue. LÄS MER

  3. 17. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification

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

    Författare :Henrik Andersson Glass; [2021]
    Nyckelord :Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

    Sammanfattning : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. LÄS MER

  4. 18. Enhancing Analysis of Hardware Design Verification Metrics Using Machine Learning & Data Visualization

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Oscar Uggla; Axel Voss; [2021]
    Nyckelord :Technology and Engineering;

    Sammanfattning : Closing coverage holes during verification of digital integrated circuits is an iterative process to guarantee all parts are verified before fabrication. The time and manpower it takes to close coverage holes extend with the increasing complexity and size of a digital circuit. LÄS MER

  5. 19. Safety-Oriented Task Offloading for Human-Robot Collaboration : A Learning-Based Approach

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

    Författare :Franco Ruggeri; [2021]
    Nyckelord :Human-Robot Collaboration; Multi-access Edge Computing; Task Offloading; Artificial Intelligence; Reinforcement Learning; Människa-robotkollaboration; Multi-access Edge Computing; Uppgiftsavlastning; Artificiell intelligens; Reinforcement Learning;

    Sammanfattning : In Human-Robot Collaboration scenarios, safety must be ensured by a risk management process that requires the execution of computationally expensive perception models (e.g., based on computer vision) in real-time. However, robots usually have constrained hardware resources that hinder timely responses, resulting in unsafe operations. LÄS MER

  7. 20. Formal verification of device driver monitors in HOL 4

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

    Författare :Tomas Möre; [2021]
    Nyckelord :;

    Sammanfattning : As computer systems become more ubiquitous in society the negative consequences of security holes and bugs in software and hardware grow larger. In theory, the optimal way to ensure that no such possibilites exists is to conduct formal proofs that the system behaves as it should and that it is incapable of performing unintended side-effects. LÄS MER