Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1267 | trimarchi | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <fsf_framework xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="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 | <localscheduler type="POSIX"> |
||
13 | <task_section type="BackTask"> |
||
14 | <number>1</number> |
||
15 | <start_time>3s 0u</start_time> |
||
16 | <wcet>0s 16000u</wcet> |
||
17 | </task_section> |
||
18 | <task_section type="OneShot"> |
||
19 | <number>2</number> |
||
20 | <start_time>1s 0u</start_time> |
||
21 | <wcet>1s 0u</wcet> |
||
22 | </task_section> |
||
23 | </localscheduler> |
||
24 | </contract> |
||
25 | <contract> |
||
26 | <cmin>0s 3000u</cmin> |
||
27 | <tmax>0s 10000u</tmax> |
||
28 | <cmax>0s 3000u</cmax> |
||
29 | <tmin>0s 10000u</tmin> |
||
30 | <localscheduler type="EDF"> |
||
31 | <task_section type="PeriodicTask"> |
||
32 | <number>10</number> |
||
33 | <start_time>3s 0u</start_time> |
||
34 | <wcet>0s 16000u</wcet> |
||
35 | </task_section> |
||
36 | <task_section type="OneShot"> |
||
37 | <number>2</number> |
||
38 | <start_time>1s 0u</start_time> |
||
39 | <wcet>0s 100000u</wcet> |
||
40 | <mit>1s 0u</mit> |
||
41 | <dline>1s 0u</dline> |
||
42 | </task_section> |
||
43 | </localscheduler> |
||
44 | </contract> |
||
45 | |||
46 | </fsf_framework> |