Rev 1267 | 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"?> |
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> |
||
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"> |
43 | <task_section type="OneShot"> |
||
1272 | giacomo | 44 | <number>1</number> |
1267 | trimarchi | 45 | <dline>1s 0u</dline> |
1272 | giacomo | 46 | <wcet>0s 100000u</wcet> |
47 | <act_section> |
||
48 | <start_time>3s 0u</start_time> |
||
49 | </act_section> |
||
50 | <exec_section> |
||
51 | <exec_time>0s 10000u</exec_time> |
||
52 | </exec_section> |
||
1267 | trimarchi | 53 | </task_section> |
1272 | giacomo | 54 | <task_section type="CyclicalTask"> |
55 | <number>1</number> |
||
56 | <dline>1s 0u</dline> |
||
57 | <wcet>0s 100000u</wcet> |
||
58 | <act_section> |
||
59 | <start_time>3s 0u</start_time> |
||
60 | <period_time>1s 0u</period_time> |
||
61 | </act_section> |
||
62 | <exec_section> |
||
63 | <exec_time>0s 10000u</exec_time> |
||
64 | <delta_time>0s 10000u</delta_time> |
||
65 | </exec_section> |
||
66 | </task_section> |
||
1267 | trimarchi | 67 | </localscheduler> |
68 | </contract> |
||
69 | |||
70 | </fsf_framework> |