Rev 1206 | Rev 1209 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1208 | giacomo | 1 | # TASK TYPE:TASK LEVEL:NUMBER OF:TASK ACT TYPE (PAR1,PAR2,...):DEADLINE:WCET |
2 | # :TASK EXEC TYPE (PAR1,PAR2,...):CRITICAL SESSION (PAR1,PAR2,PAR3,PAR4); |
||
1199 | giacomo | 3 | # |
4 | # TASK TYPE |
||
5 | # NRT - NON REAL TIME |
||
6 | # HARD - HARD REAL TIME |
||
7 | # SOFT - SOFT REAL TIME |
||
1206 | giacomo | 8 | # BACK - BACKGROUND TASK |
1199 | giacomo | 9 | # |
10 | # TASK EXEC TYPE |
||
1203 | giacomo | 11 | # EXEC_CONST(TIME) |
12 | # - CONSTANT EXEC TIME |
||
13 | # EXEC_MEAN(MEAN, DELTA) |
||
14 | # - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
||
15 | # EXEC_GAUSS(MEAN, SIGMA) |
||
16 | # - VARIABLE EXEC TIME WITH GAUSSIAN DISTRIBUTION |
||
17 | # EXEC_GAUSS_MAX(MEAN, SIGMA, MAX) |
||
18 | # - VARIABLE EXEC TIME WITH GAUSSIAN DISTRIBUTION MAXIMIZED |
||
1199 | giacomo | 19 | # |
20 | # TASK ACTIVATION TIME |
||
21 | # ACT_SINGLE(START_TIME) |
||
22 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
23 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
1203 | giacomo | 24 | # ACT_GAUSS(START_TIME, MEAN, SIGMA) |
25 | # ACT_GAUSS_MAX(START_TIME, MEAN, SIGMA, MAX) |
||
1206 | giacomo | 26 | # |
27 | # CRITICAL SESSION |
||
28 | # CRIT(RES NUMBER, MEAN_START, DELTA_START, MEAN_LEN, DELTA_LEN) |
||
29 | # NO_CRIT |
||
30 | # |
||
1199 | giacomo | 31 | |
1208 | giacomo | 32 | TOTAL_EXEC_TIME:[20][0]; |
1206 | giacomo | 33 | HARD:[0]:[10]:ACT_MEAN([3][0],[1][0],[0][100000]):[0][900000]:[0][10000] |
34 | :EXEC_MEAN([0][5000],[0][1000]):NO_CRIT; |
||
35 | HARD:[0]:[10]:ACT_PERIODIC([1][0],[0][300000]):[0][100000]:[0][5000] |
||
36 | :EXEC_CONST([0][1000]):NO_CRIT; |
||
37 | SOFT:[1]:[10]:ACT_PERIODIC([2][0],[0][200000]):[0][200000]:[0][5000] |
||
1208 | giacomo | 38 | :EXEC_CONST([0][4000]):CRIT([0],[0][0],[0][1000],[0][2000],[0][1]); |
39 | BACK:[2]:[1]:ACT_SINGLE([3][0]):[0][0]:[0][0] |
||
40 | :EXEC_CONST([0][1000]):NO_CRIT; |
||
41 | END |