Sökning: "worst-case execution time"

Visar resultat 1 - 5 av 34 uppsatser innehållade orden worst-case execution time.

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. Model Checked Reinforcement Learning For Multi-Agent Planning

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

   Författare :Erik Wetterholm; [2023]
   Nyckelord :MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

   Sammanfattning : Autonomous systems, or agents as they sometimes are called can be anything from drones, self-driving cars, or autonomous construction equipment. The systems are often given tasks of accomplishing missions in a group or more. This may require that they can work within the same area without colliding or disturbing other agents' tasks. 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. HIGHLY CRITICAL GRAPHICS GENERATION ON A SYSTEM-ON-CHIP PLATFORM

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

   Författare :Fredrik Andersson; Rikard Karlsson; [2022]
   Nyckelord :;

   Sammanfattning : The critical applications domain stands today at the brink of a great divide. On one side, the deterministic and safe operational prerequisite of the system. On the other, an ever increasing demand for computational power and miniaturization. In some cases, the welfare of people hinge in the balance of these attributes. LÄS MER