1 | <?xml version="1.0" standalone="yes"?> |
---|
2 | <?xml-stylesheet type="text/xsl" href="cheddar_project.xsl"?> |
---|
3 | <!DOCTYPE cheddar [ |
---|
4 | <!ELEMENT name (#PCDATA) > |
---|
5 | <!ELEMENT scheduler (#PCDATA) > |
---|
6 | <!ELEMENT parameter (#PCDATA) > |
---|
7 | <!ELEMENT network_link (#PCDATA) > |
---|
8 | <!ELEMENT offset (#PCDATA) > |
---|
9 | <!ELEMENT period (#PCDATA) > |
---|
10 | <!ELEMENT capacity (#PCDATA) > |
---|
11 | <!ELEMENT deadline (#PCDATA) > |
---|
12 | <!ELEMENT blocking_time (#PCDATA) > |
---|
13 | <!ELEMENT policy (#PCDATA) > |
---|
14 | <!ELEMENT priority (#PCDATA) > |
---|
15 | <!ELEMENT cpu_name (#PCDATA) > |
---|
16 | <!ELEMENT address_space_name (#PCDATA) > |
---|
17 | <!ELEMENT jitter (#PCDATA) > |
---|
18 | <!ELEMENT seed (#PCDATA) > |
---|
19 | <!ELEMENT predictable_seed (#PCDATA) > |
---|
20 | <!ELEMENT activation_rule (#PCDATA) > |
---|
21 | <!ELEMENT state (#PCDATA) > |
---|
22 | <!ELEMENT protocol (#PCDATA) > |
---|
23 | <!ELEMENT size (#PCDATA) > |
---|
24 | <!ELEMENT qs (#PCDATA) > |
---|
25 | <!ELEMENT time (#PCDATA) > |
---|
26 | <!ELEMENT buffer_user (#PCDATA) > |
---|
27 | <!ELEMENT resource_user (#PCDATA) > |
---|
28 | <!ELEMENT event_Analyzer (#PCDATA) > |
---|
29 | <!ELEMENT type (#PCDATA) > |
---|
30 | <!ELEMENT text_memory_size (#PCDATA) > |
---|
31 | <!ELEMENT heap_memory_size (#PCDATA) > |
---|
32 | <!ELEMENT stack_memory_size (#PCDATA) > |
---|
33 | <!ELEMENT data_memory_size (#PCDATA) > |
---|
34 | <!ELEMENT cheddar (processors, (address_spaces)?, (tasks)?, ((event_analyzers)?|(networks)?|(buffers)?|(resources)?|(messages)?),(dependencies)? ) > |
---|
35 | <!ELEMENT processors (processor)+ > |
---|
36 | <!ELEMENT processor (name|scheduler|network_link) > |
---|
37 | <!ELEMENT address_spaces (address_space)+ > |
---|
38 | <!ELEMENT address_space (name|text_memory_size|data_memory_size|stack_memory_size|heap_memory_size) > |
---|
39 | <!ELEMENT networks (network)+ > |
---|
40 | <!ELEMENT network (name|type) > |
---|
41 | <!ELEMENT tasks (task)+> |
---|
42 | <!ELEMENT task (name|cpu_name|address_space_name|capacity|start_time|(stack_memory_size)?|(text_memory_size)?|(period)?|(deadline)?|(parameters)?|(offsets)?|(jitter)?|(policy)?|(priority)?|(predictable_seed)?|(blocking_time)?|(seed)? |
---|
43 | |(activation_rule)?) > |
---|
44 | <!ELEMENT offsets (offset)+ > |
---|
45 | <!ELEMENT parameters (parameter)+ > |
---|
46 | <!ELEMENT messages (message)+ > |
---|
47 | <!ELEMENT message (name|size|(period)?|(deadline)?|(jitter)?) > |
---|
48 | <!ELEMENT buffers (buffer)+ > |
---|
49 | <!ELEMENT buffer (cpu_name|address_space_name|qs|name|size|(buffer_used_by)?) > |
---|
50 | <!ELEMENT buffer_used_by (buffer_user)+ > |
---|
51 | <!ELEMENT resources (resource)+ > |
---|
52 | <!ELEMENT resource (cpu_name|address_space_name|name|protocol|(state)?|(resource_used_by)?) > |
---|
53 | <!ELEMENT resource_used_by (resource_user)+ > |
---|
54 | <!ELEMENT dependencies (dependency)+ > |
---|
55 | <!ELEMENT event_analyzers (event_analyzer)+ > |
---|
56 | <!ELEMENT dependency (#PCDATA) > |
---|
57 | <!ATTLIST scheduler |
---|
58 | quantum CDATA "0" |
---|
59 | is_preemptive CDATA "PREEMPTIVE" |
---|
60 | parametric_file_name CDATA "" > |
---|
61 | <!ATTLIST event_analyzer |
---|
62 | parametric_file_name CDATA "" > |
---|
63 | <!ATTLIST task |
---|
64 | task_type CDATA "APERIODIC_TYPE" |
---|
65 | x CDATA "0" |
---|
66 | y CDATA "0" > |
---|
67 | <!ATTLIST buffer |
---|
68 | x CDATA "0" |
---|
69 | y CDATA "0" > |
---|
70 | <!ATTLIST message |
---|
71 | x CDATA "0" |
---|
72 | y CDATA "0" > |
---|
73 | <!ATTLIST buffer_user |
---|
74 | buffer_role CDATA "producer" > |
---|
75 | <!ATTLIST dependency |
---|
76 | from_type CDATA "task" |
---|
77 | to_type CDATA "task" > |
---|
78 | <!ATTLIST parameter |
---|
79 | parameter_type CDATA "integer" > |
---|
80 | ] > |
---|
81 | |
---|
82 | |
---|
83 | |
---|
84 | <cheddar> |
---|
85 | <processors> |
---|
86 | <processor> |
---|
87 | <name>cpu</name> |
---|
88 | <scheduler> DEADLINE_MONOTONIC_PROTOCOL </scheduler> |
---|
89 | <network_link> No_Network </network_link> |
---|
90 | </processor> |
---|
91 | </processors> |
---|
92 | <address_spaces> |
---|
93 | <address_space> |
---|
94 | <name>main_addr_space</name> |
---|
95 | <cpu_name>cpu</cpu_name> |
---|
96 | <text_memory_size> 0</text_memory_size> |
---|
97 | <stack_memory_size> 0</stack_memory_size> |
---|
98 | <data_memory_size> 0</data_memory_size> |
---|
99 | <heap_memory_size> 0</heap_memory_size> |
---|
100 | </address_space> |
---|
101 | </address_spaces> |
---|
102 | |
---|
103 | <tasks> |
---|
104 | <task task_type="PERIODIC_TYPE" > |
---|
105 | <cpu_name>cpu</cpu_name> |
---|
106 | <address_space_name>main_addr_space</address_space_name> |
---|
107 | <name>T1</name> |
---|
108 | <capacity> 1</capacity> |
---|
109 | <start_time> 0</start_time> |
---|
110 | <policy>SCHED_FIFO</policy> |
---|
111 | <deadline> 2</deadline> |
---|
112 | <blocking_time> 1</blocking_time> |
---|
113 | <priority> 3</priority> |
---|
114 | <text_memory_size> 0</text_memory_size> |
---|
115 | <stack_memory_size> 0</stack_memory_size> |
---|
116 | <period> 4</period> |
---|
117 | <jitter> 0</jitter> |
---|
118 | </task> |
---|
119 | <task task_type="PERIODIC_TYPE" > |
---|
120 | <cpu_name>cpu</cpu_name> |
---|
121 | <address_space_name>main_addr_space</address_space_name> |
---|
122 | <name>T2</name> |
---|
123 | <capacity> 2</capacity> |
---|
124 | <start_time> 0</start_time> |
---|
125 | <policy>SCHED_FIFO</policy> |
---|
126 | <deadline> 3</deadline> |
---|
127 | <blocking_time> 0</blocking_time> |
---|
128 | <priority> 2</priority> |
---|
129 | <text_memory_size> 0</text_memory_size> |
---|
130 | <stack_memory_size> 0</stack_memory_size> |
---|
131 | <period> 6</period> |
---|
132 | <jitter> 0</jitter> |
---|
133 | </task> |
---|
134 | <task task_type="PERIODIC_TYPE" > |
---|
135 | <cpu_name>cpu</cpu_name> |
---|
136 | <address_space_name>main_addr_space</address_space_name> |
---|
137 | <name>T3</name> |
---|
138 | <capacity> 2</capacity> |
---|
139 | <start_time> 0</start_time> |
---|
140 | <policy>SCHED_FIFO</policy> |
---|
141 | <deadline> 6</deadline> |
---|
142 | <blocking_time> 1</blocking_time> |
---|
143 | <priority> 1</priority> |
---|
144 | <text_memory_size> 0</text_memory_size> |
---|
145 | <stack_memory_size> 0</stack_memory_size> |
---|
146 | <period> 7</period> |
---|
147 | <jitter> 0</jitter> |
---|
148 | </task> |
---|
149 | </tasks> |
---|
150 | <resources> |
---|
151 | <resource> |
---|
152 | <cpu_name>cpu</cpu_name> |
---|
153 | <address_space_name>main_addr_space</address_space_name> |
---|
154 | <name>S</name> |
---|
155 | <state> 1</state> |
---|
156 | <protocol>PRIORITY_CEILING_PROTOCOL</protocol> |
---|
157 | <resource_used_by> |
---|
158 | <resource_user> T1 1 1 </resource_user> |
---|
159 | <resource_user> T3 1 1 </resource_user> |
---|
160 | </resource_used_by> |
---|
161 | </resource> |
---|
162 | </resources> |
---|
163 | </cheddar> |
---|