Sökning: "model checking"

Visar resultat 11 - 15 av 161 uppsatser innehållade orden model checking.

  1. 11. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility

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

    Författare :Johan Moritz; [2023]
    Nyckelord :Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

    Sammanfattning : As the threat of supply-chain attacks grows, the need for techniques to protect software integrity likewise increases. The concept of reproducible builds is one such protection. LÄS MER

  3. 12. Parallel Query Systems : Demand-Driven Incremental Compilers

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

    Författare :Christofer Nolander; [2023]
    Nyckelord :Query Systems; Parallelism; Incremental Computation; Compiler Architecture; Dependency Tracking; Query system; Parallelism; inkrementella beräkningar; kompilatorer; beroende spårning;

    Sammanfattning : Query systems were recently introduced as an architecture for constructing compilers, and have shown to enable fast and efficient incremental compilation, where results from previous builds is reused to accelerate future builds. With this architecture, a compiler is composed of several queries, each of which extracts a small piece of information about the source program. LÄS MER

  4. 13. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

    Magister-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Blerta Vuthaj; [2023]
    Nyckelord :;

    Sammanfattning : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. LÄS MER

  5. 14. Teknoekonomisk utvärdering och klimatpåverkan av konventionella värme- och kylsystem i kontorsfastigheter

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Författare :Gusten Lindé; [2023]
    Nyckelord :Kylmaskin; värmeåtervinning; fjärrvärme; fjärrkyla; bergvärme; frikyla; klimatpåverkan; LCA; LCC;

    Sammanfattning : Vid bestämmelse av vilket värme- och kylsystem som ska användas i fastigheter så finns det flertalet aspekter som går att ta hänsyn till. Tidigare har det varit högt fokus på energi och ekonomi, men med ökat fokus på hållbarhet och miljön både globalt och i Sverige har det blivit allt mer viktigt att hitta robusta lösningar som presterar inom samtliga av dessa områden. LÄS MER

  7. 15. Integration of Advanced Product Quality Planning in Quality Preparation for an Original Equipment Manufacturer in the Automotive Industry : A Case Study at Volvo Group Trucks Operations Powertrain Production in Skövde

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för ekonomi, teknik, konst och samhälle

    Författare :Hanna Gertsson; Henrik Lindberg; [2023]
    Nyckelord :Advanced product quality planning APQP ; quality preparation; production part approval process PPAP ; IATF 16949; ISO 9001; automotive industry; gap analysis; change management; risk management; product development and process development.;

    Sammanfattning : This study examines the development of Volvo Group Trucks Operations Powertrain Production (Volvo GTO PTP) in Skövde, focusing on the implementation of processes for new products intended for both internal and external customers. Previously, the company solely supplied products within the Volvo Group, functioning as an Original Equipment Manufacturer (OEM). LÄS MER