Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1672 | tullio | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <fsf_framework xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../generators/java/fsf-schema.xsd"> |
||
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> |
||
12 | <workload>0</workload> |
||
13 | <localscheduler type="POSIX"> |
||
14 | <task_section type="BackTask"> |
||
15 | <number>1</number> |
||
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> |
||
22 | </task_section> |
||
23 | <task_section type="OneShot"> |
||
24 | <number>2</number> |
||
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> |
||
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> |
||
41 | <workload>0</workload> |
||
42 | <localscheduler type="EDF"> |
||
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> |
||
56 | </localscheduler> |
||
57 | </contract> |
||
58 | |||
59 | </fsf_framework> |