Sökning: "Specifikation"

Visar resultat 1 - 5 av 139 uppsatser innehållade ordet Specifikation.

  1. 1. Multimodal analys av energiföretags texter på webben : Karlstad Energi och Hedemora Energis, webbpublicerade texters visuella och textuella likheter och skillnader efter Rysslands invasion på Ukraina.

    Kandidat-uppsats, Högskolan i Gävle/Avdelningen för humaniora

    Författare :Ruth Schliephacke; [2024]
    Nyckelord : the energy crisis; Karlstad Energy; Hedemora Energy; visually analyze; textually analyze; energy and electricity.; Energikris en ; Karlstad Energi; Hedemora Energi; visuell analys; textuell analys; energi och el.;

    Sammanfattning : Background and Purpose: The energy crisis that evolved from Russia’s attack on Ukraine had an impact on Swedish energy companies. Therefor these energy companies Karlstad Energy and Hedemora Energy published texts containing the word “energy crisis”. LÄS MER

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

  4. 3. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Författare :Zelin Yu; [2023]
    Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

  5. 4. Practical Analysis of the Giskard Consensus Protoco

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

    Författare :Leon Sandner; [2023]
    Nyckelord :Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER

  7. 5. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER