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