Loading...
Please wait, while we are loading the content...
Similar Documents
Timing Predictability — a Must for Avionics Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Wilhelm, Reinhard Thiele, Lothar |
| Copyright Year | 2006 |
| Abstract | Timing Analysis – the Problem This position statement concentrates on the certification of the timing properties of embedded avionics systems with hard real-timecharacteristics. For certification, they need offline guarantees for the satisfaction of their timing constraints , and these should be derived by sound methods . In modern microprocessor architectures, caches, pipeline s, and all kinds of speculation are key features for improving (average-case) performance. They also increase the var iability of execution times; an individual instruction may take (amortized) one machine cycle to execute if everything goes well, i.e., no cache misses, no pipeline stalls, no misspecu lation, or it may take 100 cycles is everything goes wrong, i. e. cache misses, pipeline stalls, long instruction latenc ies, long retirement. The variability of execution times exists on all system layers, not only in the processor architecture , but also the software development for single tasks, the task-co ordination level and distributed operation [5]. Approache s to improve the average case behavior of systems are often disas trous to predictability. Actual execution times depend on the execution state of the s yst m, which are determined by the execution history. TheTiming-Analysisproblem consists in the determination of safeandprecisebounds on the execution times of all runs of a system. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://chess.eecs.berkeley.edu/hcssas/papers/Wilhelm-aviation.pdf |
| Alternate Webpage(s) | http://chess.eecs.berkeley.edu/hcssas/papers/Wilhelm-aviation.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
