Search for dissertations about: "WCET"

Showing result 1 - 5 of 23 swedish dissertations containing the word WCET.

2. 1. Parametric WCET Analysis

   Author : Stefan Bygde; Björn Lisper; Raimund Kirner; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; WCET Analysis; parametric WCET Analysis; WCET; Timing; Computer Science; datavetenskap;

   Abstract : In a real-time system, it is crucial to ensure that all tasks of the system hold their deadlines. A missed deadline in a real-time system means that the system has not been able to function correctly. If the system is safety critical, this could potentially lead to disaster. READ MORE

4. 2. Techniques to Tighten the Upper Bound on the ExecutionTime of Task-based Parallel Applications

   Author : Petros Voudouris; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Scheduling; Multiprocessor; WCET; Uniform; Hard; multicore; Related; DAG; Real-Time; Dynamic; Unrelated; Makespan; Homogeneous; Parallel; Identical;

   Abstract : To use multiprocessors in hard real-time systems, schedulability analysis is needed to provide formally proven guarantees for the timing behavior of the system. Programming models for parallel applications, such as OpenMP, use pragmas to specify parts of the application as parallel tasks, for example, a function or a body of a loop. READ MORE

5. 3. Timing Predictability in Future Multi-Core Avionics Systems

   Author : Andreas Löfwenmark; Simin Nadjm-Tehrani; Risat Pathan; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Timing Predictability; WCET; WCRT; Fault Tolerance; Safety Critical; Avionics;

   Abstract : With more functionality added to safety-critical avionics systems, new platforms are required to offer the computational capacity needed. Multi-core platforms offer a potential that is now being explored, but they pose significant challenges with respect to predictability due to shared resources (such as memory) being accessed from several cores in parallel. READ MORE

6. 4. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

   Author : Stefan Bygde; Björn Lisper; Andreas Ermedahl; Jan Gustafsson; Konstantinos Sagonas; Ulf Nilsson; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; parametric WCET analysis; program analysis; abstract interpretation; Computer science; Datalogi; Computer Science; datavetenskap;

   Abstract : In a real-time system, it is crucial to ensure that all tasks of the system holdtheir deadlines. A missed deadline in a real-time system means that the systemhas not been able to function correctly. If the system is safety critical, this canlead to disaster. READ MORE

7. 5. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories

   Author : Thomas Lundqvist; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; real-time systems; data cache; infeasible paths; pipeline; instruction cache; dynamically scheduled processor; worst-case execution time; timing analysis; path analysis; timing anomaly;

   Abstract : When constructing real-time systems, safe and tight estimations of the worst case execution time (WCET) of programs are needed. To obtain tight estimations, a common approach is to do path and timing analyses. READ MORE