Subversion Repositories shark

Rev

Rev 1205 | Rev 1208 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1206 giacomo 1
# TASK TYPE:TASK LEVEL:NUMBER OF:TASK ACT TYPE (PAR0,PAR1,...)
2
# :DEADLINE:WCET:TASK EXEC TYPE:CRIT_START (PAR0,PAR1,PAR2):CRIT_LEN (PAR0,PAR1,PAR2);
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
 
1203 giacomo 32
TOTAL_EXEC_TIME:[200][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]
38
:EXEC_CONST([0][2000]):NO_CRIT;
1200 giacomo 39