Sökning: "WCET analysis"

Visar resultat 1 - 5 av 18 uppsatser innehållade orden WCET analysis.

  1. 1. Model-Level Timing Analysis for UML-RT Capsules

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

    Författare :Niclas Ståhlbom; [2023]
    Nyckelord :computer science; software engineering; algorithm; real-time; real-time systems; UML-RT; capsule diagram; WCET; analysis; WCET analysis;

    Sammanfattning : Real-time systems surround every facet of our lives. They can be found in anything from everyday objects like mobile phones and washing machines to objects critical to life and infrastructure including heart rate monitors and nuclear power plants. As time progresses these systems are becoming ever more complex. LÄS MER

  3. 2. Measurement-based WCET estimation in multicore real-time systems

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

    Författare :Sören Meinken; [2022]
    Nyckelord :;

    Sammanfattning : Increasing complexity and advancements of hardware continue to make WCET analysis a non-trivial problem especially on modern COTS processors. Finding a tightand reliable WCET upper bound is vital for schedulability analysis and increasing theresource utilization of a real-time system. LÄS MER

  4. 3. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

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

    Författare :Mark Håkansson; [2022]
    Nyckelord :RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Sammanfattning : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. LÄS MER

  5. 4. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

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

    Författare :Isak Sundell; [2022]
    Nyckelord :WCET; symbolic execution; LLVM;

    Sammanfattning : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. LÄS MER

  7. 5. Calculation of WCET with symbolic execution

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

    Författare :Carl Österberg; [2022]
    Nyckelord :wcet; klee; static analysis; rust; llvm;

    Sammanfattning : Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. LÄS MER