Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1255 | 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); |
||
| 3 | # |
||
| 4 | # TASK TYPE |
||
| 5 | # NRT - NON REAL TIME |
||
| 6 | # HARD - HARD REAL TIME |
||
| 7 | # SOFT - SOFT REAL TIME |
||
| 8 | # BACK - BACKGROUND TASK |
||
| 9 | # |
||
| 10 | # TASK EXEC TYPE |
||
| 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 |
||
| 19 | # |
||
| 20 | # TASK ACTIVATION TIME |
||
| 21 | # ACT_SINGLE(START_TIME) |
||
| 22 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
| 23 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
| 24 | # ACT_GAUSS(START_TIME, MEAN, SIGMA) |
||
| 25 | # ACT_GAUSS_MAX(START_TIME, MEAN, SIGMA, MAX) |
||
| 26 | # |
||
| 27 | # CRITICAL SESSION |
||
| 28 | # CRIT(RES NUMBER, MEAN_START, DELTA_START, MEAN_LEN, DELTA_LEN) |
||
| 29 | # NO_CRIT |
||
| 30 | # |
||
| 31 | |||
| 32 | TOTAL_EXEC_TIME:[20][0]; |
||
| 33 | |||
| 34 | BACK:[1]:[1]:ACT_SINGLE([4][0]):[0][0]:[0][0] |
||
| 35 | :EXEC_CONST([0][5000]):NO_CRIT; |
||
| 36 | |||
| 37 | HARD:[0]:[10]:ACT_PERIODIC([5][0],[0][100000]):[0][100000]:[0][1000] |
||
| 38 | :EXEC_CONST([0][50]):CRIT([0],[0][5],[0][10],[0][20],[0][1]); |
||
| 39 | |||
| 40 | FSF:[S0]:POSIX:[1]:ACT_SINGLE([0][0]):[0][0]:[0][0] |
||
| 41 | :EXEC_CONST([0][5000]):CRIT([1],[0][500],[0][1000],[0][2000],[0][1]); |
||
| 42 | |||
| 43 | FSF:[S1]:POSIX:[1]:ACT_SINGLE([0][0]):[0][0]:[0][0] |
||
| 44 | :EXEC_CONST([0][5000]):CRIT([1],[0][500],[0][1000],[0][2000],[0][1]); |
||
| 45 | |||
| 46 | FSF:[S2]:POSIX:[20]:ACT_SINGLE([0][0]):[0][0]:[0][0] |
||
| 47 | :EXEC_CONST([0][16000]):CRIT([2],[0][500],[0][1000],[0][5000],[0][10000]); |
||
| 48 | |||
| 49 | FSF:[S3]:EDF:[5]:ACT_PERIODIC([0][0],[0][200000]):[0][200000]:[0][20000] |
||
| 50 | :EXEC_CONST([0][15000]):CRIT([2],[0][5000],[0][10000],[0][5000],[0][1]); |
||
| 51 | |||
| 52 | FSF:[S3]:EDF:[5]:ACT_PERIODIC([0][0],[0][111111]):[0][111111]:[0][11111] |
||
| 53 | :EXEC_MEAN([0][10000],[0][5000]):NO_CRIT; |
||
| 54 | |||
| 55 | END |