Rev 1273 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1267 | trimarchi | 1 | <?xml version="1.0" encoding="UTF-8"?> |
1273 | giacomo | 2 | <fsf_framework xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../generators/java/fsf-schema.xsd"> |
1267 | trimarchi | 3 | |
4 | <simulation> |
||
5 | <time>20s 0u</time> |
||
6 | </simulation> |
||
7 | <contract> |
||
8 | <cmin>0s 3000u</cmin> |
||
9 | <tmax>0s 10000u</tmax> |
||
10 | <cmax>0s 3000u</cmax> |
||
11 | <tmin>0s 10000u</tmin> |
||
1272 | giacomo | 12 | <workload>0</workload> |
1267 | trimarchi | 13 | <localscheduler type="POSIX"> |
14 | <task_section type="BackTask"> |
||
15 | <number>1</number> |
||
1272 | giacomo | 16 | <act_section> |
17 | <start_time>3s 0u</start_time> |
||
18 | </act_section> |
||
19 | <exec_section> |
||
20 | <exec_time>3s 0u</exec_time> |
||
21 | </exec_section> |
||
1267 | trimarchi | 22 | </task_section> |
23 | <task_section type="OneShot"> |
||
24 | <number>2</number> |
||
1272 | giacomo | 25 | <dline>0s 0u</dline> |
26 | <wcet>0s 0u</wcet> |
||
27 | <act_section> |
||
28 | <start_time>3s 0u</start_time> |
||
29 | </act_section> |
||
30 | <exec_section> |
||
31 | <exec_time>3s 0u</exec_time> |
||
32 | </exec_section> |
||
1267 | trimarchi | 33 | </task_section> |
34 | </localscheduler> |
||
35 | </contract> |
||
36 | <contract> |
||
37 | <cmin>0s 3000u</cmin> |
||
38 | <tmax>0s 10000u</tmax> |
||
39 | <cmax>0s 3000u</cmax> |
||
40 | <tmin>0s 10000u</tmin> |
||
1272 | giacomo | 41 | <workload>0</workload> |
1267 | trimarchi | 42 | <localscheduler type="EDF"> |
1272 | giacomo | 43 | <task_section type="CyclicalTask"> |
44 | <number>1</number> |
||
45 | <dline>1s 0u</dline> |
||
46 | <wcet>0s 100000u</wcet> |
||
47 | <act_section> |
||
48 | <start_time>3s 0u</start_time> |
||
49 | <period_time>1s 0u</period_time> |
||
50 | </act_section> |
||
51 | <exec_section> |
||
52 | <exec_time>0s 10000u</exec_time> |
||
53 | <delta_time>0s 10000u</delta_time> |
||
54 | </exec_section> |
||
55 | </task_section> |
||
1267 | trimarchi | 56 | </localscheduler> |
57 | </contract> |
||
58 | |||
59 | </fsf_framework> |