<xs:schema targetNamespace="http://www.all-times.org/xtc" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xtc="http://www.all-times.org/xtc" xmlns="http://www.all-times.org/xtc" elementFormDefault="qualified" attributeFormDefault="unqualified" version="2.0">
	<!--Scheduling WCET Interface Schema Definition This specification as released by the Symtavision Development Partnership is intended fo  the purpose of information only. The use of material contained in this specification requires membership within the Symtavision Development Partnership or an agreement with the Symtavision Development Partnership . The Symtavision Development Partnership will not be lliable for any use of this Specification. Following the completion of the development of the Symtavision Specifications commercial exploitation licenses will be made available to end users by way of written License Agreement only. No part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher. The word Symtavision and the Symtavision logo are registered trademarks. Copyright (c) 2006-2009 Symtavision Development Partnership. All rights reserved.-->
	<xs:annotation>
		<xs:documentation xml:lang="EN">Schema definition for data exchange of WCET, WCRT, stack data and activation. Copyright 2009 Symtavision Development Partnership. All rights reserved.</xs:documentation>
	</xs:annotation>
	<xs:element name="xtc">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Root element.</xs:documentation>
		</xs:annotation>
		<xs:complexType>
			<xs:sequence>
				<xs:element name="common" type="xtc:CommonType"/>
				<xs:element name="cookie" type="xtc:CookieType" minOccurs="0" maxOccurs="unbounded"/>
			</xs:sequence>
			<xs:attribute name="version" type="xs:string"/>
		</xs:complexType>
	</xs:element>
	<xs:complexType name="CommonType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'common'.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="general" type="xtc:GeneralType" minOccurs="0"/>
			<xs:element name="CPU" type="xtc:CpuType" minOccurs="0" maxOccurs="unbounded"/>
		</xs:sequence>
	</xs:complexType>
	<xs:complexType name="GeneralType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'general'.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="description" type="xs:string" minOccurs="0"/>
		</xs:sequence>
		<xs:attribute name="id" type="xs:ID" use="required"/>
	</xs:complexType>
	<xs:complexType name="CpuType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'CPU'.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="executable" type="xtc:ExecutableType" minOccurs="0" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="id" type="xs:ID" use="required"/>
		<xs:attribute name="name" type="xs:string"/>
		<xs:attribute name="file" type="xs:string"/>
		<xs:attribute name="speed" type="at-least-zero"/>
		<xs:attribute name="unit" type="SpeedUnitTypeEnum" default="Hz"/>
	</xs:complexType>
	<xs:complexType name="ExecutableType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'executable' based on dedicated type.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="mode" type="xtc:ModeType" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="id" type="xs:ID" use="required"/>
		<xs:attribute name="type" type="ExecutableTypeEnum" use="required"/>
		<xs:attribute name="name" type="xs:string"/>
		<xs:attribute name="start" type="xs:string"/>
	</xs:complexType>
	<xs:simpleType name="ExecutableTypeEnum">
		<xs:restriction base="xs:string">
			<xs:enumeration value="runnable"/>
			<xs:enumeration value="task"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:complexType name="ModeType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'mode'.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="description" type="xs:string" minOccurs="0"/>
			<xs:element name="request" type="xtc:RequestType" maxOccurs="unbounded"/>
			<xs:element name="response" type="xtc:ResponseType" minOccurs="0" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="id" type="xs:ID" use="required"/>
	</xs:complexType>
	<xs:complexType name="RequestType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'request'.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="option" type="xtc:RequestOption" minOccurs="0" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="type" type="RequestTypeEnum"/>
		<xs:attribute name="mode" type="RequestModeEnum" default="interactive"/>
		<xs:attribute name="source" type="SourceTypeEnum" default="analysis"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:simpleType name="RequestTypeEnum">
		<xs:annotation>
			<xs:documentation xml:lang="EN">'request' possibilities: BCET: covers 'best case execution time' analysis/trace for target code, WCET: covers 'worst case execution time' analysis/trace for target code, BCET-WCET: covers 'best case' + 'worst case execution time' analysis/trace for target code, Stack: covers 'stack' analysis, LoopTrace: covers determining the number of loop iterations based on traces, BCRT: covers 'best case response time' analysis/simulation,  WCRT: covers 'worst case response time' analysis/simulation, BCRT-WCRT: covers 'worst case response time' analysis/simulation, Activation: covers activation event model, OS-Overhead: covers all OS overhead information</xs:documentation>
		</xs:annotation>
		<xs:restriction base="xs:string">
			<xs:enumeration value="BCET"/>
			<xs:enumeration value="WCET"/>
			<xs:enumeration value="BCET-WCET"/>
			<xs:enumeration value="Stack"/>
			<xs:enumeration value="CallTrace"/>
			<xs:enumeration value="LoopTrace"/>
			<xs:enumeration value="BCRT"/>
			<xs:enumeration value="WCRT"/>
			<xs:enumeration value="BCRT-WCRT"/>
			<xs:enumeration value="Activation"/>
			<xs:enumeration value="OS-Overhead"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="RequestModeEnum">
		<xs:restriction base="xs:string">
			<xs:enumeration value="configuration"/>
			<xs:enumeration value="interactive"/>
			<xs:enumeration value="batch"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:complexType name="RequestOption">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Additional options to the entity 'request'.</xs:documentation>
		</xs:annotation>
		<xs:attribute name="name" type="xs:string"/>
		<xs:attribute name="value" type="xs:string"/>
	</xs:complexType>
	<xs:complexType name="ResponseType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the entity 'response'.</xs:documentation>
		</xs:annotation>
		<xs:choice>
			<xs:choice maxOccurs="2">
				<xs:element name="WCET" type="xtc:TimingTypeContent"/>
				<xs:element name="BCET" type="xtc:TimingTypeContent"/>
			</xs:choice>
			<xs:element name="stack-usage" type="xtc:StackTypeContent" maxOccurs="2"/>
                        <xs:element name="CallTrace" type="xtc:CallTraceContent" maxOccurs="unbounded"/>
			<xs:element name="LoopTrace" type="xtc:LoopTraceContent" maxOccurs="unbounded"/>
			<xs:choice maxOccurs="2">
				<xs:element name="BCRT" type="xtc:TimingTypeContent"/>
				<xs:element name="WCRT" type="xtc:TimingTypeContent"/>
			</xs:choice>
			<xs:element name="activations" type="xtc:ActivationTypeContent"/>
			<xs:element name="os-overhead" type="xtc:OsOverheadTypeContent"/>
		</xs:choice>
		<xs:attribute name="type" type="RequestTypeEnum"/>
		<xs:attribute name="source" type="SourceTypeEnum" default="analysis"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:complexType name="TimingTypeContent">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the timing response entities.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="UCB" minOccurs="0">
				<xs:complexType>
					<xs:attribute name="maxNumber" type="at-least-zero" use="required"/>
					<xs:attribute name="blockPenalty" type="at-least-zero" use="required"/>
					<xs:attribute name="totalPenalty" type="at-least-zero" use="required"/>
					<xs:attribute name="unit" type="TimeUnitTypeEnum" default="cycles"/>
				</xs:complexType>
			</xs:element>
		</xs:sequence>
		<xs:attribute name="value" type="at-least-zero" use="required"/>
		<xs:attribute name="unit" type="TimeUnitTypeEnum" default="cycles"/>
	</xs:complexType>
	<xs:complexType name="StackTypeContent">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the stack-usage response entities.</xs:documentation>
		</xs:annotation>
		<xs:attribute name="type" type="StackTypeEnum"/>
		<xs:attribute name="min" type="StackUsageType"/>
		<xs:attribute name="max" type="StackUsageType"/>
		<xs:attribute name="unit" type="xs:byte"/>
		<xs:attribute name="source" type="SourceTypeEnum" default="analysis"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:complexType name="CallTraceContent">
		<xs:annotation>
			<xs:documentation>Content model for the CallTrace response entities.</xs:documentation>
		</xs:annotation>
		<xs:sequence minOccurs="0" maxOccurs="unbounded">
			<xs:element name="target">
				<xs:complexType>
					<xs:attribute name="address" type="xtc:hexadecimal"/>
				</xs:complexType>
			</xs:element>
		</xs:sequence>
		<xs:attribute name="address" type="xtc:hexadecimal"/>
	</xs:complexType>
	<xs:complexType name="LoopTraceContent">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the LoopTrace response entities.</xs:documentation>
		</xs:annotation>
		<xs:attribute name="min" type="at-least-zero"/>
		<xs:attribute name="max" type="at-least-zero"/>
		<xs:attribute name="start_address" type="xtc:hexadecimal"/>
		<xs:attribute name="count_address" type="xtc:hexadecimal"/>
	</xs:complexType>
	<xs:complexType name="ActivationTypeContent">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the activation ActivationType response entities.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="periodic" type="StandardEventmodelType" minOccurs="0" maxOccurs="unbounded"/>
			<xs:element name="sporadic" type="StandardEventmodelType" minOccurs="0" maxOccurs="unbounded"/>
			<xs:element name="pattern" type="PatternEventmodelType" minOccurs="0" maxOccurs="unbounded"/>
			<xs:element name="interrupt" type="InterruptEventmodelType" minOccurs="0" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="source" type="SourceTypeEnum" default="configuration"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:complexType name="OsOverheadTypeContent">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the OsOverheadType response entities (activate-/terminate task, context switch).</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="activate" type="xtc:TimingTypeContent" minOccurs="0"/>
			<xs:element name="terminate" type="xtc:TimingTypeContent" minOccurs="0"/>
			<xs:element name="contextSwitch" type="xtc:TimingTypeContent" minOccurs="0"/>
			<xs:element name="contextSwitchCachePenalty" type="xtc:TimingTypeContent" minOccurs="0"/>
		</xs:sequence>
	</xs:complexType>
	<xs:simpleType name="SourceTypeEnum">
		<xs:restriction base="xs:string">
			<xs:enumeration value="analysis"/>
			<xs:enumeration value="trace"/>
			<xs:enumeration value="simulation"/>
			<xs:enumeration value="configuration"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="TimeUnitTypeEnum">
		<xs:restriction base="xs:string">
			<xs:enumeration value="ns"/>
			<xs:enumeration value="us"/>
			<xs:enumeration value="ms"/>
			<xs:enumeration value="s"/>
			<xs:enumeration value="cycles"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="SpeedUnitTypeEnum">
		<xs:restriction base="xs:string">
			<xs:enumeration value="Hz"/>
			<xs:enumeration value="kHz"/>
			<xs:enumeration value="MHz"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="StackTypeEnum">
		<xs:restriction base="xs:string">
			<xs:enumeration value="System"/>
			<xs:enumeration value="User"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="StackUsageType">
		<xs:union memberTypes="xs:integer StackUsageBotTopType"/>
	</xs:simpleType>
	<xs:simpleType name="StackUsageBotTopType">
		<xs:restriction base="xs:string">
			<xs:enumeration value="TOP"/>
			<xs:enumeration value="BOT"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:complexType name="StandardEventmodelType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the Standard-Event-Model entities consisting of period (must be >0.0), jitter (default: 0.0), minimum distance (default: 0.0), offset (default: 0.0, add also if synchronization is activated)</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="period" type="more-than-zero-timevalue"/>
			<xs:element name="jitter" type="at-least-zero-timevalue"/>
			<xs:element name="mindist" type="at-least-zero-timevalue"/>
			<xs:element name="offset" type="at-least-zero-timevalue"/>
		</xs:sequence>
		<xs:attribute name="source" type="SourceTypeEnum" default="analysis"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:complexType name="PatternEventmodelType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the Pattern-Event-Model entities. Additionally to the 'StandardEventModel' attributes at least one event must be declared with an offset definition within range [0:period[.</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="period" type="more-than-zero-timevalue"/>
			<xs:element name="jitter" type="at-least-zero-timevalue"/>
			<xs:element name="mindist" type="at-least-zero-timevalue"/>
			<xs:element name="offset" type="at-least-zero-timevalue"/>
			<xs:element name="event-sequence">
				<xs:complexType>
					<xs:sequence>
						<xs:element name="event" type="at-least-zero-timevalue" maxOccurs="unbounded"/>
					</xs:sequence>
				</xs:complexType>
			</xs:element>
		</xs:sequence>
		<xs:attribute name="source" type="SourceTypeEnum" default="analysis"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:complexType name="InterruptEventmodelType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">Content model for the Interrupt-Event-Model entities. Please make sure that upper and lower curve values in sequence are continuous ascending (next value must be equal or higher than previous value).</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:element name="eventPair" type="EventPairType" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="source" type="SourceTypeEnum" default="analysis"/>
		<xs:attribute name="vendor" type="xs:string" default="unknown"/>
	</xs:complexType>
	<xs:complexType name="EventPairType">
		<xs:attribute name="upper" type="at-least-zero" use="required"/>
		<xs:attribute name="lower" type="at-least-zero" use="required"/>
		<xs:attribute name="unit" type="TimeUnitTypeEnum" default="ms"/>
	</xs:complexType>
	<xs:complexType name="more-than-zero-timevalue">
		<xs:attribute name="value" type="more-than-zero"/>
		<xs:attribute name="unit" type="TimeUnitTypeEnum" default="ms"/>
	</xs:complexType>
	<xs:complexType name="at-least-zero-timevalue">
		<xs:attribute name="value" type="at-least-zero"/>
		<xs:attribute name="unit" type="TimeUnitTypeEnum" default="ms"/>
	</xs:complexType>
	<xs:simpleType name="more-than-zero">
		<xs:restriction base="xs:double">
			<xs:minExclusive value="0.0"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="at-least-zero">
		<xs:restriction base="xs:double">
			<xs:minInclusive value="0.0"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:simpleType name="hexadecimal">
		<xs:restriction base="xs:string">
			<xs:pattern value="0x[0-9a-fA-F]+"/>
		</xs:restriction>
	</xs:simpleType>
	<xs:complexType name="CookieType">
		<xs:annotation>
			<xs:documentation xml:lang="EN">This is the cookie section. It consists of several elements describing special data for owner use only. Elements should only be touched from owner only and can be ignored by other. This section contains multiple 'CookieElements' where each communication partner can place data as he wishes. There are three steps to follow: 1. define an own schema file importing this schema, 2. adding your used namespaces to written XML content, 3. write any data (namespace aware) to cookie child positions</xs:documentation>
		</xs:annotation>
		<xs:sequence>
			<xs:any processContents="lax" minOccurs="0" maxOccurs="unbounded"/>
		</xs:sequence>
		<xs:attribute name="owner" type="xs:string" use="required"/>
		<xs:attribute name="version" type="xs:string"/>
	</xs:complexType>
</xs:schema>