0,0 → 1,55 |
<?xml version="1.0" encoding="UTF-8"?> |
<xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema'> |
|
<xs:element name="fsf_framework"> |
<xs:complexType> |
<xs:sequence> |
<xs:element ref="simulation"/> |
<xs:element ref="contract" minOccurs='1' maxOccurs='unbounded'/> |
</xs:sequence> |
</xs:complexType> |
</xs:element> |
|
<xs:element name="simulation"> |
<xs:complexType> |
<xs:sequence> |
<xs:element name="time" type="xs:string"/> |
</xs:sequence> |
</xs:complexType> |
</xs:element> |
|
<xs:element name="contract"> |
<xs:complexType> |
<xs:sequence> |
<xs:element name="cmin" type="xs:string"/> |
<xs:element name="tmax" type="xs:string" /> |
<xs:element name="cmax" type="xs:string" /> |
<xs:element name="tmin" type="xs:string" /> |
<xs:element ref="localscheduler"/> |
</xs:sequence> |
</xs:complexType> |
</xs:element> |
|
<xs:element name="localscheduler"> |
<xs:complexType> |
<xs:sequence> |
<xs:element ref="task_section" minOccurs='1' maxOccurs='unbounded'/> |
</xs:sequence> |
<xs:attribute name="type" type="xs:string" use='required'/> |
</xs:complexType> |
</xs:element> |
|
<xs:element name="task_section"> |
<xs:complexType> |
<xs:sequence> |
<xs:element name="number" type="xs:integer"/> |
<xs:element name="start_time" type="xs:string"/> |
<xs:element name="wcet" type="xs:string"/> |
<xs:element name="mit" type="xs:string" minOccurs="0" /> |
<xs:element name="dline" type="xs:string" minOccurs="0" /> |
</xs:sequence> |
<xs:attribute name="type" type="xs:string" use='required'/> |
</xs:complexType> |
</xs:element> |
|
</xs:schema> |