Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1270 | giacomo | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema'> |
||
3 | |||
4 | <xs:element name="fsf_framework"> |
||
5 | <xs:complexType> |
||
6 | <xs:sequence> |
||
7 | <xs:element ref="simulation"/> |
||
8 | <xs:element ref="contract" minOccurs='1' maxOccurs='unbounded'/> |
||
9 | </xs:sequence> |
||
10 | </xs:complexType> |
||
11 | </xs:element> |
||
12 | |||
13 | <xs:element name="simulation"> |
||
14 | <xs:complexType> |
||
15 | <xs:sequence> |
||
16 | <xs:element name="time" type="xs:string"/> |
||
17 | </xs:sequence> |
||
18 | </xs:complexType> |
||
19 | </xs:element> |
||
20 | |||
21 | <xs:element name="contract"> |
||
22 | <xs:complexType> |
||
23 | <xs:sequence> |
||
24 | <xs:element name="cmin" type="xs:string"/> |
||
25 | <xs:element name="tmax" type="xs:string" /> |
||
26 | <xs:element name="cmax" type="xs:string" /> |
||
27 | <xs:element name="tmin" type="xs:string" /> |
||
28 | <xs:element name="workload" type="xs:string" /> |
||
29 | <xs:element ref="localscheduler"/> |
||
30 | </xs:sequence> |
||
31 | </xs:complexType> |
||
32 | </xs:element> |
||
33 | |||
34 | <xs:element name="localscheduler"> |
||
35 | <xs:complexType> |
||
36 | <xs:sequence> |
||
37 | <xs:element ref="task_section" minOccurs='1' maxOccurs='unbounded'/> |
||
38 | </xs:sequence> |
||
39 | <xs:attribute name="type" type="xs:string" use='required'/> |
||
40 | </xs:complexType> |
||
41 | </xs:element> |
||
42 | |||
43 | <xs:element name="task_section"> |
||
44 | <xs:complexType> |
||
45 | <xs:sequence> |
||
46 | <xs:element name="number" type="xs:integer"/> |
||
47 | <xs:element name="dline" type="xs:string" minOccurs="0" /> |
||
48 | <xs:element name="wcet" type="xs:string"/> |
||
49 | <xs:element ref="act_section"/> |
||
50 | <xs:element ref="exec_section"/> |
||
51 | </xs:sequence> |
||
52 | <xs:attribute name="type" type="xs:string" use='required'/> |
||
53 | </xs:complexType> |
||
54 | </xs:element> |
||
55 | |||
56 | <xs:element name="act_section"> |
||
57 | <xs:complexType> |
||
58 | <xs:sequence> |
||
59 | <xs:element name="start_time" type="xs:string"/> |
||
60 | <xs:element name="period_time" type="xs:string" minOccurs="0" /> |
||
61 | <xs:element name="delta_time" type="xs:string" minOccurs="0" /> |
||
62 | </xs:sequence> |
||
63 | <xs:attribute name="type" type="xs:string" use='required'/> |
||
64 | </xs:complexType> |
||
65 | </xs:element> |
||
66 | |||
67 | <xs:element name="exec_section"> |
||
68 | <xs:complexType> |
||
69 | <xs:sequence> |
||
70 | <xs:element name="exec_time" type="xs:string"/> |
||
71 | <xs:element name="delta_time" type="xs:string" minOccurs="0" /> |
||
72 | </xs:sequence> |
||
73 | <xs:attribute name="type" type="xs:string" use='required'/> |
||
74 | </xs:complexType> |
||
75 | </xs:element> |
||
76 | |||
77 | </xs:schema> |