Rev 1200 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1199 | giacomo | 1 | # TASK TYPE:TASK LEVEL:NUMBER OF:TASK ACTIVATION TYPE (PAR0,PAR1,...):WCET:TASK EXEC TYPE; |
2 | # |
||
3 | # TASK TYPE |
||
4 | # NRT - NON REAL TIME |
||
5 | # HARD - HARD REAL TIME |
||
6 | # SOFT - SOFT REAL TIME |
||
7 | # |
||
8 | # TASK EXEC TYPE |
||
9 | # EXEC_CONST(TIME) - CONSTANT EXEC TIME |
||
10 | # EXEC_MEAN(MEAN, DELTA) - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
||
11 | # EXEC_EXP(MEAN, SIGMA) - VARIABLE EXEC TIME WITH EXP DISTRIBUTION |
||
12 | # EXEC_EXP_MAX(MEAN, SIGMA, MAX) - VARIABLE EXEC TIME WITH EXP DISTRIBUTION MAXIMIZED |
||
13 | # |
||
14 | # TASK ACTIVATION TIME |
||
15 | # ACT_SINGLE(START_TIME) |
||
16 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
17 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
18 | # ACT_EXP(START_TIME, MEAN, SIGMA) |
||
19 | # ACT_EXP_MAX(START_TIME, MEAN, SIGMA, MAX) |
||
20 | |||
21 | TOTAL_EXEC_TIME:[10][0]; |
||
22 | HARD:1:1:ACT_PERIODIC([0][0],[1][0]):[0][10000]:EXEC_CONST([0][1000]); |