Blame |
Last modification |
View Log
| RSS feed
<?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 name="workload" 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="dline" type="xs:string" minOccurs="0" />
<xs:element name="wcet" type="xs:string" minOccurs="0"/>
<xs:element ref="act_section"/>
<xs:element ref="exec_section"/>
</xs:sequence>
<xs:attribute name="type" type="xs:string" use='required'/>
</xs:complexType>
</xs:element>
<xs:element name="act_section">
<xs:complexType>
<xs:sequence>
<xs:element name="start_time" type="xs:string"/>
<xs:element name="period_time" type="xs:string" minOccurs="0" />
<xs:element name="delta_time" type="xs:string" minOccurs="0" />
</xs:sequence>
</xs:complexType>
</xs:element>
<xs:element name="exec_section">
<xs:complexType>
<xs:sequence>
<xs:element name="exec_time" type="xs:string"/>
<xs:element name="delta_time" type="xs:string" minOccurs="0" />
</xs:sequence>
</xs:complexType>
</xs:element>
</xs:schema>