Nessun titolo diapositiva

1
Modeling event-driven real-time application using
DAGs
Enrico Bini
Carlo Vitucci
Scuola Superiore A.Anna
Giuseppe Lipari
Ericsson Lab Italy
2
Our Approach
Preliminar study of the application
3
Results of the preliminar study
4
The task ti
5
Activation condition
6
The precedence constraint
7
The AND-synchronization constraint
8
The OR-synchronization constraint
Graphical representation
t1
t3
t2
9
The conditional constraint
Graphical representation
t2
TRUE
t1
xi
t3
FALSE
The timeline
C2
t2
C1
T
t1
C3
F
t3
t2
t1
t
t3
10
The timeout constraint
t2
tx
RECEIVED
t1
Wk
t3
11
Does the hardware imply any constraint?
12
The non-concurrency constraint
Formal definition
The non-concurrency constraint is equivalent
to t1 precedes t2 or t2 precedes t1
13
CPU bandwidth constraint
Formal definition
In the time interval a,b, the CPU
utilization must be U lt 1.
14
Hybrib CPUs condition
Depending on the CPU, the Worst Case Computation
Time is different!!
15
Lets put all togheter
16
This is the last slide
So far