Rev 1237 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1237 | giacomo | 1 | # TASK TYPE:SERVER NUMBER:LOCAL SCHEDULER:NUMBER OF TASK:DEADLINE:WCET:TASK ACT TYPE (PAR1,PAR2,...): |
| 2 | # :TASK EXEC TYPE (PAR1,PAR2,...):CRITICAL SESSION (PAR1,PAR2,PAR3,PAR4); |
||
| 3 | # |
||
| 4 | # TASK TYPE |
||
| 5 | # OS - ONE_SHOT |
||
| 6 | # CT - CYCLICAL_TASK |
||
| 7 | # BT - BACKGROUND_TASK |
||
| 8 | # |
||
| 9 | # TASK EXEC TYPE |
||
| 10 | # EXEC_CONST(TIME) |
||
| 11 | # - CONSTANT EXEC TIME |
||
| 12 | # EXEC_MEAN(MEAN, DELTA) |
||
| 13 | # - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
||
| 14 | # |
||
| 15 | # TASK ACTIVATION TIME |
||
| 16 | # ACT_SINGLE(START_TIME) |
||
| 17 | # ACT_PERIODIC(START_TIME, PERIOD) |
||
| 18 | # ACT_MEAN(START_TIME, MEAN, DELTA) |
||
| 19 | # |
||
| 20 | # CRITICAL SESSION |
||
| 21 | # CRIT(RES NUMBER, MEAN_START, DELTA_START, MEAN_LEN, DELTA_LEN) |
||
| 22 | # NO_CRIT |
||
| 23 | # |
||
| 24 | |||
| 25 | TOTAL_EXEC_TIME:[20][0]; |
||
| 26 | |||
| 1243 | giacomo | 27 | BT:[0]:POSIX:[1]:[0][0]:[0][0]:ACT_SINGLE([0][0]): |
| 1237 | giacomo | 28 | :EXEC_CONST([0][16000]):CRIT([2],[0][500],[0][1000],[0][5000],[0][10000]); |
| 29 | |||
| 30 | END |