Ticket #136: aadlinspectorCheddar.2.xmlv3

File aadlinspectorCheddar.2.xmlv3, 16.3 KB (added by jlegrand, 11 years ago)

example 2

Line 
1<?xml version="1.0" standalone="yes"?>
2<!DOCTYPE Cheddar_ADL SYSTEM "cheddar_adl.dtd">
3<?xml-stylesheet type="text/xsl" href="cheddar_adl.xsl"?>
4<cheddar>
5  <core_units>
6    <core_unit id="root.processor1.core">
7      <name>root.processor1.core</name>
8      <object_type>CORE_OBJECT_TYPE</object_type>
9      <speed>5.0</speed>
10      <scheduling>
11        <scheduling_parameters>
12          <scheduler_type>POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL</scheduler_type>
13          <quantum>0</quantum>
14          <preemptive_type>PREEMPTIVE</preemptive_type>
15        </scheduling_parameters>
16      </scheduling>
17    </core_unit>
18    <core_unit id="root.processor2.core">
19      <name>root.processor2.core</name>
20      <object_type>CORE_OBJECT_TYPE</object_type>
21      <speed>5.0</speed>
22      <scheduling>
23        <scheduling_parameters>
24          <scheduler_type>POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL</scheduler_type>
25          <quantum>0</quantum>
26          <preemptive_type>PREEMPTIVE</preemptive_type>
27        </scheduling_parameters>
28      </scheduling>
29    </core_unit>
30    <core_unit id="root.processor3.core">
31      <name>root.processor3.core</name>
32      <object_type>CORE_OBJECT_TYPE</object_type>
33      <speed>5.0</speed>
34      <scheduling>
35        <scheduling_parameters>
36          <scheduler_type>POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL</scheduler_type>
37          <quantum>0</quantum>
38          <preemptive_type>PREEMPTIVE</preemptive_type>
39        </scheduling_parameters>
40      </scheduling>
41    </core_unit>
42  </core_units>
43  <processors>
44    <mono_core_processor id="root.processor1">
45      <name>root.processor1</name>
46      <object_type>PROCESSOR_OBJECT_TYPE</object_type>
47      <processor_type>MONOCORE_TYPE</processor_type>
48      <network>No_Network</network>
49      <migration_type>NO_MIGRATION_TYPE</migration_type>
50      <core ref="root.processor1.core"/>
51    </mono_core_processor>
52    <mono_core_processor id="root.processor2">
53      <name>root.processor2</name>
54      <object_type>PROCESSOR_OBJECT_TYPE</object_type>
55      <processor_type>MONOCORE_TYPE</processor_type>
56      <network>No_Network</network>
57      <migration_type>NO_MIGRATION_TYPE</migration_type>
58      <core ref="root.processor2.core"/>
59    </mono_core_processor>
60    <mono_core_processor id="root.processor3">
61      <name>root.processor3</name>
62      <object_type>PROCESSOR_OBJECT_TYPE</object_type>
63      <processor_type>MONOCORE_TYPE</processor_type>
64      <network>No_Network</network>
65      <migration_type>NO_MIGRATION_TYPE</migration_type>
66      <core ref="root.processor3.core"/>
67    </mono_core_processor>
68  </processors>
69  <address_spaces>
70    <address_space id="root.processor1.addr1">
71      <name>root.processor1.addr1</name>
72      <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
73      <cpu_name>root.processor1</cpu_name>
74      <text_memory_size>0</text_memory_size>
75      <stack_memory_size>0</stack_memory_size>
76      <data_memory_size>0</data_memory_size>
77      <heap_memory_size>0</heap_memory_size>
78      <scheduling>
79        <scheduling_parameters>
80          <scheduler_type>NO_SCHEDULING_PROTOCOL</scheduler_type>
81          <quantum>0</quantum>
82          <preemptive_type>PREEMPTIVE</preemptive_type>
83        </scheduling_parameters>
84      </scheduling>
85    </address_space>
86    <address_space id="root.processor2.addr2">
87      <name>root.processor2.addr2</name>
88      <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
89      <cpu_name>root.processor2</cpu_name>
90      <text_memory_size>0</text_memory_size>
91      <stack_memory_size>0</stack_memory_size>
92      <data_memory_size>0</data_memory_size>
93      <heap_memory_size>0</heap_memory_size>
94      <scheduling>
95        <scheduling_parameters>
96          <scheduler_type>NO_SCHEDULING_PROTOCOL</scheduler_type>
97          <quantum>0</quantum>
98          <preemptive_type>PREEMPTIVE</preemptive_type>
99        </scheduling_parameters>
100      </scheduling>
101    </address_space>
102    <address_space id="root.processor3.addr3">
103      <name>root.processor3.addr3</name>
104      <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
105      <cpu_name>root.processor3</cpu_name>
106      <text_memory_size>0</text_memory_size>
107      <stack_memory_size>0</stack_memory_size>
108      <data_memory_size>0</data_memory_size>
109      <heap_memory_size>0</heap_memory_size>
110      <scheduling>
111        <scheduling_parameters>
112          <scheduler_type>NO_SCHEDULING_PROTOCOL</scheduler_type>
113          <quantum>0</quantum>
114          <preemptive_type>PREEMPTIVE</preemptive_type>
115        </scheduling_parameters>
116      </scheduling>
117    </address_space>
118  </address_spaces>
119  <tasks>
120    <periodic_task id="root.processor1.addr1.T1">
121      <name>root.processor1.addr1.T1</name>
122      <object_type>TASK_OBJECT_TYPE</object_type>
123      <task_type>PERIODIC_TYPE</task_type>
124      <address_space_name>root.processor1.addr1</address_space_name>
125      <cpu_name>root.processor1</cpu_name>
126      <policy>SCHED_FIFO</policy>
127      <period>11</period>
128      <capacity>7</capacity>
129      <deadline>10</deadline>
130      <priority>1</priority>
131      <start_time>0</start_time>
132      <criticality>0</criticality>
133      <jitter>0</jitter>
134      <text_memory_size>0</text_memory_size>
135      <stack_memory_size>0</stack_memory_size>
136      <predictable_seed>TRUE</predictable_seed>
137      <seed>0</seed>
138      <blocking_time>0</blocking_time>
139    </periodic_task>
140    <periodic_task id="root.processor1.addr1.T2">
141      <name>root.processor1.addr1.T2</name>
142      <object_type>TASK_OBJECT_TYPE</object_type>
143      <task_type>PERIODIC_TYPE</task_type>
144      <address_space_name>root.processor1.addr1</address_space_name>
145      <cpu_name>root.processor1</cpu_name>
146      <policy>SCHED_FIFO</policy>
147      <period>22</period>
148      <capacity>7</capacity>
149      <deadline>20</deadline>
150      <priority>2</priority>
151      <start_time>0</start_time>
152      <criticality>0</criticality>
153      <jitter>0</jitter>
154      <text_memory_size>0</text_memory_size>
155      <stack_memory_size>0</stack_memory_size>
156      <predictable_seed>TRUE</predictable_seed>
157      <seed>0</seed>
158      <blocking_time>0</blocking_time>
159    </periodic_task>
160    <periodic_task id="root.processor1.addr1.T3">
161      <name>root.processor1.addr1.T3</name>
162      <object_type>TASK_OBJECT_TYPE</object_type>
163      <task_type>PERIODIC_TYPE</task_type>
164      <address_space_name>root.processor1.addr1</address_space_name>
165      <cpu_name>root.processor1</cpu_name>
166      <policy>SCHED_FIFO</policy>
167      <period>33</period>
168      <capacity>7</capacity>
169      <deadline>30</deadline>
170      <priority>3</priority>
171      <start_time>0</start_time>
172      <criticality>0</criticality>
173      <jitter>0</jitter>
174      <text_memory_size>0</text_memory_size>
175      <stack_memory_size>0</stack_memory_size>
176      <predictable_seed>TRUE</predictable_seed>
177      <seed>0</seed>
178      <blocking_time>0</blocking_time>
179    </periodic_task>
180    <periodic_task id="root.processor2.addr2.T1">
181      <name>root.processor2.addr2.T1</name>
182      <object_type>TASK_OBJECT_TYPE</object_type>
183      <task_type>PERIODIC_TYPE</task_type>
184      <address_space_name>root.processor2.addr2</address_space_name>
185      <cpu_name>root.processor2</cpu_name>
186      <policy>SCHED_FIFO</policy>
187      <period>11</period>
188      <capacity>7</capacity>
189      <deadline>10</deadline>
190      <priority>1</priority>
191      <start_time>0</start_time>
192      <criticality>0</criticality>
193      <jitter>0</jitter>
194      <text_memory_size>0</text_memory_size>
195      <stack_memory_size>0</stack_memory_size>
196      <predictable_seed>TRUE</predictable_seed>
197      <seed>0</seed>
198      <blocking_time>0</blocking_time>
199    </periodic_task>
200    <periodic_task id="root.processor2.addr2.T2">
201      <name>root.processor2.addr2.T2</name>
202      <object_type>TASK_OBJECT_TYPE</object_type>
203      <task_type>PERIODIC_TYPE</task_type>
204      <address_space_name>root.processor2.addr2</address_space_name>
205      <cpu_name>root.processor2</cpu_name>
206      <policy>SCHED_FIFO</policy>
207      <period>22</period>
208      <capacity>7</capacity>
209      <deadline>20</deadline>
210      <priority>2</priority>
211      <start_time>0</start_time>
212      <criticality>0</criticality>
213      <jitter>0</jitter>
214      <text_memory_size>0</text_memory_size>
215      <stack_memory_size>0</stack_memory_size>
216      <predictable_seed>TRUE</predictable_seed>
217      <seed>0</seed>
218      <blocking_time>0</blocking_time>
219    </periodic_task>
220    <periodic_task id="root.processor2.addr2.T3">
221      <name>root.processor2.addr2.T3</name>
222      <object_type>TASK_OBJECT_TYPE</object_type>
223      <task_type>PERIODIC_TYPE</task_type>
224      <address_space_name>root.processor2.addr2</address_space_name>
225      <cpu_name>root.processor2</cpu_name>
226      <policy>SCHED_FIFO</policy>
227      <period>33</period>
228      <capacity>7</capacity>
229      <deadline>30</deadline>
230      <priority>3</priority>
231      <start_time>0</start_time>
232      <criticality>0</criticality>
233      <jitter>0</jitter>
234      <text_memory_size>0</text_memory_size>
235      <stack_memory_size>0</stack_memory_size>
236      <predictable_seed>TRUE</predictable_seed>
237      <seed>0</seed>
238      <blocking_time>0</blocking_time>
239    </periodic_task>
240    <periodic_task id="root.processor3.addr3.T1">
241      <name>root.processor3.addr3.T1</name>
242      <object_type>TASK_OBJECT_TYPE</object_type>
243      <task_type>PERIODIC_TYPE</task_type>
244      <address_space_name>root.processor3.addr3</address_space_name>
245      <cpu_name>root.processor3</cpu_name>
246      <policy>SCHED_FIFO</policy>
247      <period>11</period>
248      <capacity>7</capacity>
249      <deadline>10</deadline>
250      <priority>1</priority>
251      <start_time>0</start_time>
252      <criticality>0</criticality>
253      <jitter>0</jitter>
254      <text_memory_size>0</text_memory_size>
255      <stack_memory_size>0</stack_memory_size>
256      <predictable_seed>TRUE</predictable_seed>
257      <seed>0</seed>
258      <blocking_time>0</blocking_time>
259    </periodic_task>
260    <periodic_task id="root.processor3.addr3.T2">
261      <name>root.processor3.addr3.T2</name>
262      <object_type>TASK_OBJECT_TYPE</object_type>
263      <task_type>PERIODIC_TYPE</task_type>
264      <address_space_name>root.processor3.addr3</address_space_name>
265      <cpu_name>root.processor3</cpu_name>
266      <policy>SCHED_FIFO</policy>
267      <period>22</period>
268      <capacity>7</capacity>
269      <deadline>20</deadline>
270      <priority>2</priority>
271      <start_time>0</start_time>
272      <criticality>0</criticality>
273      <jitter>0</jitter>
274      <text_memory_size>0</text_memory_size>
275      <stack_memory_size>0</stack_memory_size>
276      <predictable_seed>TRUE</predictable_seed>
277      <seed>0</seed>
278      <blocking_time>0</blocking_time>
279    </periodic_task>
280    <periodic_task id="root.processor3.addr3.T3">
281      <name>root.processor3.addr3.T3</name>
282      <object_type>TASK_OBJECT_TYPE</object_type>
283      <task_type>PERIODIC_TYPE</task_type>
284      <address_space_name>root.processor3.addr3</address_space_name>
285      <cpu_name>root.processor3</cpu_name>
286      <policy>SCHED_FIFO</policy>
287      <period>33</period>
288      <capacity>7</capacity>
289      <deadline>30</deadline>
290      <priority>3</priority>
291      <start_time>0</start_time>
292      <criticality>0</criticality>
293      <jitter>0</jitter>
294      <text_memory_size>0</text_memory_size>
295      <stack_memory_size>0</stack_memory_size>
296      <predictable_seed>TRUE</predictable_seed>
297      <seed>0</seed>
298      <blocking_time>0</blocking_time>
299    </periodic_task>
300  </tasks>
301  <resources>
302    <pcp_resource id="root.processor1.addr1.D1">
303      <name>root.processor1.addr1.D1</name>
304      <object_type>RESOURCE_OBJECT_TYPE</object_type>
305      <protocol>PRIORITY_CEILING_PROTOCOL</protocol>
306      <address_space_name>root.processor1.addr1</address_space_name>
307      <cpu_name>root.processor1</cpu_name>
308      <state>1</state>
309      <size>0</size>
310      <address>0</address>
311      <critical_sections>
312        <task_name>root.processor1.addr1.T1</task_name>
313        <critical_section>
314          <task_begin>1</task_begin>
315          <task_end>5</task_end>
316        </critical_section>
317        <task_name>root.processor1.addr1.T2</task_name>
318        <critical_section>
319          <task_begin>1</task_begin>
320          <task_end>5</task_end>
321        </critical_section>
322        <task_name>root.processor1.addr1.T3</task_name>
323        <critical_section>
324          <task_begin>1</task_begin>
325          <task_end>5</task_end>
326        </critical_section>
327      </critical_sections>
328    </pcp_resource>
329    <pcp_resource id="root.processor2.addr2.D1">
330      <name>root.processor2.addr2.D1</name>
331      <object_type>RESOURCE_OBJECT_TYPE</object_type>
332      <protocol>PRIORITY_CEILING_PROTOCOL</protocol>
333      <address_space_name>root.processor2.addr2</address_space_name>
334      <cpu_name>root.processor2</cpu_name>
335      <state>1</state>
336      <size>0</size>
337      <address>0</address>
338      <critical_sections>
339        <task_name>root.processor2.addr2.T1</task_name>
340        <critical_section>
341          <task_begin>1</task_begin>
342          <task_end>5</task_end>
343        </critical_section>
344        <task_name>root.processor2.addr2.T2</task_name>
345        <critical_section>
346          <task_begin>1</task_begin>
347          <task_end>5</task_end>
348        </critical_section>
349        <task_name>root.processor2.addr2.T3</task_name>
350        <critical_section>
351          <task_begin>1</task_begin>
352          <task_end>5</task_end>
353        </critical_section>
354      </critical_sections>
355    </pcp_resource>
356    <pcp_resource id="root.processor3.addr3.D1">
357      <name>root.processor3.addr3.D1</name>
358      <object_type>RESOURCE_OBJECT_TYPE</object_type>
359      <protocol>PRIORITY_CEILING_PROTOCOL</protocol>
360      <address_space_name>root.processor3.addr3</address_space_name>
361      <cpu_name>root.processor3</cpu_name>
362      <state>1</state>
363      <size>0</size>
364      <address>0</address>
365      <critical_sections>
366        <task_name>root.processor3.addr3.T1</task_name>
367        <critical_section>
368          <task_begin>1</task_begin>
369          <task_end>5</task_end>
370        </critical_section>
371        <task_name>root.processor3.addr3.T2</task_name>
372        <critical_section>
373          <task_begin>1</task_begin>
374          <task_end>5</task_end>
375        </critical_section>
376        <task_name>root.processor3.addr3.T3</task_name>
377        <critical_section>
378          <task_begin>1</task_begin>
379          <task_end>5</task_end>
380        </critical_section>
381      </critical_sections>
382    </pcp_resource>
383  </resources>
384  <buffers>
385  </buffers>
386  <dependencies>
387    <dependency>
388      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
389      <resource_dependency_resource ref="root.processor1.addr1.D1"/>
390      <resource_dependency_task ref="root.processor1.addr1.T1"/>
391    </dependency>
392    <dependency>
393      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
394      <resource_dependency_resource ref="root.processor1.addr1.D1"/>
395      <resource_dependency_task ref="root.processor1.addr1.T2"/>
396    </dependency>
397    <dependency>
398      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
399      <resource_dependency_resource ref="root.processor1.addr1.D1"/>
400      <resource_dependency_task ref="root.processor1.addr1.T3"/>
401    </dependency>
402    <dependency>
403      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
404      <resource_dependency_resource ref="root.processor2.addr2.D1"/>
405      <resource_dependency_task ref="root.processor2.addr2.T1"/>
406    </dependency>
407    <dependency>
408      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
409      <resource_dependency_resource ref="root.processor2.addr2.D1"/>
410      <resource_dependency_task ref="root.processor2.addr2.T2"/>
411    </dependency>
412    <dependency>
413      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
414      <resource_dependency_resource ref="root.processor2.addr2.D1"/>
415      <resource_dependency_task ref="root.processor2.addr2.T3"/>
416    </dependency>
417    <dependency>
418      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
419      <resource_dependency_resource ref="root.processor3.addr3.D1"/>
420      <resource_dependency_task ref="root.processor3.addr3.T1"/>
421    </dependency>
422    <dependency>
423      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
424      <resource_dependency_resource ref="root.processor3.addr3.D1"/>
425      <resource_dependency_task ref="root.processor3.addr3.T2"/>
426    </dependency>
427    <dependency>
428      <type_of_dependency>RESOURCE_DEPENDENCY</type_of_dependency>
429      <resource_dependency_resource ref="root.processor3.addr3.D1"/>
430      <resource_dependency_task ref="root.processor3.addr3.T3"/>
431    </dependency>
432  </dependencies>
433</cheddar>