Sökning: "Worst-case execution time analysis"

Visar resultat 11 - 15 av 29 avhandlingar innehållade orden Worst-case execution time analysis.

1. 11. 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

3. 12. Real-Time Certified MPC : Reliable Active-Set QP Solvers

   Författare :Daniel Arnström; Daniel Axehill; Anders Hansson; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : In Model Predictive Control (MPC), optimization problems are solved recurrently to produce control actions. When MPC is used in real time to control safety-critical systems, it is important to solve these optimization problems with guarantees on the worst-case execution time. LÄS MER

4. 13. Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems

   Författare :Yue Lu; Thomas Nolte; Christer Norström; Anders Wall; Enrico Bini; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Many industrial real-time embedded systems are very large, flexible and highly configurable software systems. Such systems are becoming ever more complex, and we are reaching the stage in which even if existing timing analysis was feasible from a cost and technical perspective, the analysis results are overly pessimistic, making them less useful to practitioners. LÄS MER

5. 14. Measurement and simulation based techniques for real-time systems analysis

   Författare :Markus Lindgren; Hans Hansson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses. Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. LÄS MER

7. 15. Predictable Real-Time Applications on Multiprocessor Systems-on-Chip

   Författare :Jakob Rosén; Zebo Peng; Petru Eles; Thomas Nolte; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Embedded Systems; Real-Time Systems; Predictability; Multiprocessor Systems; Computer science; Datavetenskap;

   Sammanfattning : Being predictable with respect to time is, by definition, a fundamental requirement for any real-time system. Modern multiprocessor systems impose a challenge in this context, due to resource sharing conflicts causing memory transfers to become unpredictable. LÄS MER