Sökning: "WCET"

Visar resultat 1 - 5 av 23 avhandlingar innehållade ordet WCET.

1. 1. Parametric WCET Analysis

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Petros Voudouris; Chalmers tekniska högskola; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Thomas Lundqvist; Chalmers tekniska högskola; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER