Subversion Repositories shark

Rev

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>