Sökning: "Verification"

Visar resultat 21 - 25 av 1379 uppsatser innehållade ordet Verification.

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

  3. 22. Sammanfogningsmetoder för metallprofiler - lådor och ramar

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskap

    Författare :Björn Rehnberg; Vincent Vallin Sälle; [2023]
    Nyckelord :;

    Sammanfattning : Joining of materials is a very popular area of research, as a result of its central role within modern industry. The automotive industry has seen an increase in demand for joining methods that can contribute to weight reduction and meet the criteria for strength, while co-existing with goals set for sustainable development for the future. LÄS MER

  4. 23. Adding Basic Support for Function Pointers in TriCera

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2023]
    Nyckelord :;

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

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

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

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

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

  7. 25. Verifiering av reagens för analys av järn i plasma på Abbott® Alinity™ ci-series

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för kemi och biomedicin (KOB)

    Författare :Julia Klevmark; [2023]
    Nyckelord :Method verification; Abbott® Alinity™ ci-series; Iron; Metodverifiering; Abbott® Alinity™ ci-series; Järn;

    Sammanfattning : Järn är ett livsviktigt spårämne som vid både brist och överskott kan leda till sjukdom. Järnmetabolismen är komplex och det finns flera biomarkörer som används för att utvärdera järnstatus, till exempel transferrinbundet järn. På grund av detta är det avgörande att den analytiska säkerheten för järnanalys bibehålls. LÄS MER