1,4 → 1,4 |
# TASK TYPE:TASK LEVEL:NUMBER OF:TASK ACTIVATION TYPE (PAR0,PAR1,...):WCET:TASK EXEC TYPE; |
# TASK TYPE:TASK LEVEL:NUMBER OF:TASK ACT TYPE (PAR0,PAR1,...):DEADLINE:WCET:TASK EXEC TYPE; |
# |
# TASK TYPE |
# NRT - NON REAL TIME |
6,18 → 6,24 |
# SOFT - SOFT REAL TIME |
# |
# TASK EXEC TYPE |
# EXEC_CONST(TIME) - CONSTANT EXEC TIME |
# EXEC_MEAN(MEAN, DELTA) - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
# EXEC_EXP(MEAN, SIGMA) - VARIABLE EXEC TIME WITH EXP DISTRIBUTION |
# EXEC_EXP_MAX(MEAN, SIGMA, MAX) - VARIABLE EXEC TIME WITH EXP DISTRIBUTION MAXIMIZED |
# EXEC_CONST(TIME) |
# - CONSTANT EXEC TIME |
# EXEC_MEAN(MEAN, DELTA) |
# - VARIABLE EXEC TIME WITH CONSTANT DISTRIBUTION |
# EXEC_GAUSS(MEAN, SIGMA) |
# - VARIABLE EXEC TIME WITH GAUSSIAN DISTRIBUTION |
# EXEC_GAUSS_MAX(MEAN, SIGMA, MAX) |
# - VARIABLE EXEC TIME WITH GAUSSIAN DISTRIBUTION MAXIMIZED |
# |
# TASK ACTIVATION TIME |
# ACT_SINGLE(START_TIME) |
# ACT_PERIODIC(START_TIME, PERIOD) |
# ACT_MEAN(START_TIME, MEAN, DELTA) |
# ACT_EXP(START_TIME, MEAN, SIGMA) |
# ACT_EXP_MAX(START_TIME, MEAN, SIGMA, MAX) |
# ACT_GAUSS(START_TIME, MEAN, SIGMA) |
# ACT_GAUSS_MAX(START_TIME, MEAN, SIGMA, MAX) |
|
TOTAL_EXEC_TIME:[10][0]; |
HARD:[0]:[1]:ACT_PERIODIC([0][0],[1][0]):[0][10000]:EXEC_CONST([0][1000]); |
TOTAL_EXEC_TIME:[200][0]; |
HARD:[0]:[1]:ACT_MEAN([3][0],[1][0],[0][100000]):[0][900000]:[0][10000]:EXEC_MEAN([0][5000],[0][1000]); |
HARD:[0]:[10]:ACT_PERIODIC([1][0],[0][300000]):[0][100000]:[0][5000]:EXEC_CONST([0][1000]); |
SOFT:[1]:[10]:ACT_PERIODIC([2][0],[0][200000]):[0][200000]:[0][5000]:EXEC_CONST([0][2000]); |
|