Subversion Repositories shark

Rev

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>