Download:
by Marek Jersak, Rolf Ernst
http://www.comp.nus.edu.sg/~cs5271/readings/jersak_dac03.pdf
Add To MetaCart
Abstract:
Formal methods are growing in importance for performance analysis of real-time systems, but embedded system heterogeneity limits the application of these methods to subsystems or special cases. One of the problems is the rich variety of interactions between embedded system processes, which cannot be directly expressed with the typical event models used in real-time analysis. This paper shows how to transform complex interaction patterns into the integral representation of minimum and maximum arrival curves, and then to conservatively approximate these arrival curves using standard event models. This approach paves the way to apply the formal approaches known from real-time analysis to heterogeneous embedded systems.
Citations
|
286
|
Synchronous data flow
– Lee, Messerschmitt
- 1987
|
|
134
|
real-time computing systems: predictable scheduling algorithms and applications
– Buttazzo, “Hard
- 1997
|
|
100
|
An Extendible Approach for Analysing Fixed Priority Hard Real-Time Systems
– Tindell, Burns, et al.
- 1994
|
|
39
|
A theory of rate-based execution
– Jeffay, Goddard
- 1999
|
|
29
|
Scheduling of conditional process graphs for the synthesis of embedded systems
– Eles, Kuchcinski, et al.
- 1998
|
|
27
|
Design space exploration of network processor architectures
– Thiele, Chakraborty, et al.
- 2002
|
|
22
|
Event model interfaces for heterogeneous system analysis
– Richter, Ernst
- 2002
|
|
20
|
Model composition for scheduling analysis in platform design
– Richter, Ziegenbein, et al.
- 2002
|
|
17
|
Allocation and scheduling of conditional task graph in hardware/software co-synthesis
– Xie, Wolf
- 2001
|
|
11
|
Real-time schedulability tests for preemptive multitasking
– Fidge
- 1998
|
|
9
|
Echtzeitnachweis ereignisgesteuerter Realzeitsysteme
– Gresser
- 1993
|
|
7
|
A TimingDriven Design and Validation Methodology for Embeded Real-Time Systems
– Dasdan, Ramanathan, et al.
- 1998
|
|
5
|
Dynamic response time optimization for SDF graphs
– Ziegenbein, Uerpmann, et al.
- 2000
|
|
4
|
Breaking down complexity for reliable system-level timing validation
– Ziegenbein, Jersak, et al.
- 2002
|
|
2
|
Extending existing scheduling analysis techniques to heterogeneous systems with multi-rate data dependencies and rate intervals
– Jersak
- 2002
|
