Rev 1203 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1203 | giacomo | 1 | # TASK TYPE:TASK LEVEL:NUMBER OF:TASK ACT TYPE (PAR0,PAR1,...):DEADLINE:WCET:TASK EXEC TYPE; |
| 1199 | giacomo | 2 | # |
| 3 | # TASK TYPE |
||
| 4 | # NRT - NON REAL TIME |
||
| 5 | # HARD - HARD REAL TIME |
||
| 6 | # SOFT - SOFT REAL TIME |
||
| 7 | # |
||
| 8 | # TASK EXEC TYPE |
||
| 1203 | giacomo | 9 | # EXEC_CONST(TIME) |
| 10 | # - CONSTANT EXEC TIME |
||
| 11 | # EXEC_MEAN(MEAN, DELTA) |
||
| 12 | # - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
||
| 13 | # EXEC_GAUSS(MEAN, SIGMA) |
||
| 14 | # - VARIABLE EXEC TIME WITH GAUSSIAN DISTRIBUTION |
||
| 15 | # EXEC_GAUSS_MAX(MEAN, SIGMA, MAX) |
||
| 16 | # - VARIABLE EXEC TIME WITH GAUSSIAN DISTRIBUTION MAXIMIZED |
||
| 1199 | giacomo | 17 | # |
| 18 | # TASK ACTIVATION TIME |
||
| 19 | # ACT_SINGLE(START_TIME) |
||
| 20 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
| 21 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
| 1203 | giacomo | 22 | # ACT_GAUSS(START_TIME, MEAN, SIGMA) |
| 23 | # ACT_GAUSS_MAX(START_TIME, MEAN, SIGMA, MAX) |
||
| 1199 | giacomo | 24 | |
| 1203 | giacomo | 25 | TOTAL_EXEC_TIME:[200][0]; |
| 1205 | giacomo | 26 | HARD:[0]:[10]:ACT_MEAN([3][0],[1][0],[0][100000]):[0][900000]:[0][10000]:EXEC_MEAN([0][5000],[0][1000]); |
| 1203 | giacomo | 27 | HARD:[0]:[10]:ACT_PERIODIC([1][0],[0][300000]):[0][100000]:[0][5000]:EXEC_CONST([0][1000]); |
| 28 | SOFT:[1]:[10]:ACT_PERIODIC([2][0],[0][200000]):[0][200000]:[0][5000]:EXEC_CONST([0][2000]); |
||
| 1200 | giacomo | 29 |