Subversion Repositories shark

Rev

Rev 1268 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1268 trimarchi 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" />
1269 trimarchi 28 
         <xs:element name="workload" type="xs:string" />
1268 trimarchi 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="start_time" type="xs:string"/>
48 
         <xs:element name="wcet" type="xs:string"/>
49 
         <xs:element name="mit" type="xs:string" minOccurs="0" />
50 
         <xs:element name="dline" type="xs:string" minOccurs="0" />
51 
       </xs:sequence>
52 
    <xs:attribute name="type"  type="xs:string" use='required'/>
53 
    </xs:complexType>
54 
</xs:element>
55 
 
56 
</xs:schema>