Changes for page Project goals

Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:05
<
From version < 12.1 >
edited by cbu
on 2014/05/12 21:52
To version < 15.1 >
edited by Alexander Schulz-Rosengarten
on 2023/07/13 12:23
>
Change comment: Renamed from xwiki:SS14Railway.Project goals

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +Railway Project (summer term 2014)
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cbu
1 +XWiki.als
Content
... ... @@ -45,7 +45,7 @@
45 45  01.7. Schedules for trains are working
46 46  
47 47  cw 34 Final presentation
48 -cw 35 Excursion to Miniatur Wunderland
48 +28.08 Excursion to Miniatur Wunderland
49 49  {{/code}}
50 50  
51 51  **
... ... @@ -91,7 +91,7 @@
91 91  
92 92  == **Implementation in short:** ==
93 93  
94 -The main idea is, that we have a universal model of the track segments. From these single track segments, track sections, that connect train stations are modeled and from those track sections, all final schedules for the trains should be build. On each track segment, there should be at most one train: In order to drive over a track, a train must request this track, and afterwards it must free it again (details below). If two trains request the same track section, the priority, which is derived from the train number, decides, which train gets the track section. A train must request all tracks until the next possibility to stop an wait in order to avoid collisions. If the train does not get all track segments, it must free them again in order to avoid deadlocks or delays of other trains. Deadlocks might occur at the exits of all train stations, and additionally, if one train with a low priority exits the Kicking-Horse-path while another train with a higher priority sends an entry-request. It remains to be seen, if additional deadlocks occur. Deadlocks can be resolved by using a superior Mutex-Controller.
94 +The main idea is, that we have a universal model of the track segments. From these single track segments, track sections, that connect train stations are modeled and from those track sections, all final schedules for the trains should be build. On each track segment, there should be at most one train: In order to drive over a track, a train must request this track, and afterwards it must free it again (details below). If two trains request the same track section, the priority, which is derived from the train number, decides, which train gets the track section. A train must request all tracks until the next possibility to stop and wait in order to avoid collisions. If the train does not get all track segments, it must free them again in order to avoid deadlocks or delays of other trains. Deadlocks might occur at the exits of all train stations, and additionally, if one train with a low priority exits the Kicking-Horse-path while another train with a higher priority sends an entry-request. It remains to be seen, if additional deadlocks occur. Deadlocks can be resolved by using a superior Mutex-Controller.
95 95  
96 96  == **Implementation in detail:** ==
97 97  
... ... @@ -102,35 +102,45 @@
102 102  **Sample Pass for one Track (in pseudocode)**
103 103  
104 104  {{code linenumbers="true"}}
105 -state Foo
106 ---> Gleissegment with contact(Segment,0)
107 -state Gleissegment {
108 - entry / req(next_Segment);
109 - entry / setSignal(prevSegment, red);
110 -
111 - inital state Entry
112 - --> Continue with contact(Segment,0) & perm_next_Segment
113 - --> Slowdown with contact(Segment,0);
114 -
115 - state Slowdown {
116 - entry / setSpeed(Segment,SLOW);
117 - } --> Waiting with contact(Segment,1)
105 +scchart Default_Pass {
106 + bool perm_next_Segment;
107 + initial state prev
108 + --> Gleissegment with 'contact(Segment,0)';
109 + state Gleissegment {
110 + entry / 'req(next_Segment)';
111 + entry / 'setSignal(prevSegment, red)';
112 + initial state Entry
113 + --> Continue with 'contact(Segment,0)' & perm_next_Segment
114 + --> Slowdown with 'contact(Segment,0)';
115 + state Slowdown {
116 + entry / 'setSpeed(Segment,SLOW)';
117 + }
118 + --> Waiting with 'contact(Segment,1)'
118 118   --> Continue with perm_next_Segment;
119 -
120 - state Waiting {
121 - entry / setSpeed(Segment,BRAKE);
122 - } --> Continue with perm_next_Segment;
123 -
124 - state Continue {
125 - entry / setSignal(Segment,green);
126 - entry / setSpeed(Segment,full);
127 - entry / setSpeed(nextSegment,full);
128 - entry / setSignal(nextSegment, red);
129 - entry / free(prevSegment)
130 - entry / setSpeed(prevSegment,OFF);
131 - }--> leave immediate;
132 -
133 - final state leave;
120 + state Waiting {
121 + entry / 'setSpeed(Segment,BRAKE)';
122 + }
123 + --> Continue with perm_next_Segment;
124 + state Continue {
125 + entry / 'setSignal(Segment,green)';
126 + entry / 'setSpeed(Segment,full)';
127 + entry / 'setSpeed(nextSegment,full)';
128 + entry / 'setSignal(nextSegment, red)';
129 + }
130 + --> leave immediate;
131 + final state leave;
132 + region:
133 + initial state Entry
134 + --> cleanup with 'contact(Segment, 0)';
135 + state cleanup {
136 + entry / 'free(prevSegment)';
137 + entry / 'setSpeed(prevSegment,OFF)';
138 + }
139 + --> done immediate;
140 + final state done;
141 + }
142 + >-> next with 'contact(nextSegment, 0)';
143 + state next;
134 134  }
135 135  {{/code}}
136 136  
... ... @@ -164,8 +164,10 @@
164 164  
165 165  **C-Interface**
166 166  
167 -The C-Interface wraps some general functions, in order to prevent long and ugly host-code statements within the SCCharts. It especially hides the railway pointer. In addition, the C-Interface provides a persistent environment during a macro step. To bring in some randomness, the time, which a train has to wait in a station, is controlled by the C-Interface. Therefore, trains have to notify the interface about their arrival and their departure.
177 +The C-Interface wraps some general functions, in order to prevent long and ugly host-code statements within the SCCharts. It especially hides the railway pointer. In addition, the C-Interface provides a persistent environment during a macro step. To bring in some randomness, the time, which a train has to wait in a station, is controlled by the C-Interface. Therefore, trains have to notify the interface about their arrival and their departure.
168 168  
179 +[[Controller C Interface>>attach:controller.h]]
180 +
169 169  
170 170  
171 171  **Test cases: **
controller.h
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +1.2 KB
Content
... ... @@ -1,0 +1,69 @@
1 +#ifndef _CONTROLLER_H_
2 +#define _CONTROLLER_H_
3 +
4 +#define TRAINS 11
5 +
6 +//----------------
7 +//-- SCCharts --
8 +//----------------
9 +
10 +extern int cleanup;
11 +
12 +int tick();
13 +int reset();
14 +
15 +//--------------------
16 +//-- Rail Wrapper --
17 +//--------------------
18 +
19 +//contacts
20 +/*
21 + * contact can be 0, 1, REV or FWD
22 + */
23 +int contact(int block, int contact);
24 +
25 +//points
26 +void point(int point, int direction);
27 +
28 +//signals & light
29 +/*
30 + * direction can be 0, 1, REV or FWD
31 + */
32 +void signal(int block, int direction, int state);
33 +void light(int index, int state);
34 +
35 +//gate
36 +int gateClosed()
37 +void gateOpen()
38 +void gateClose()
39 +
40 +//stations
41 +/*
42 + * train number must be between 0 and TRAINS-1
43 + * station must be station block number
44 +*/
45 +void arrival(int train, int station)
46 +int departure(int station)
47 +
48 +//tracks
49 +/*
50 + * train number must be between 0 and TRAINS-1
51 + * speed must be one of defined track speed
52 + * direction can be FWD, REV, ( OFF, BRAKE )
53 + */
54 +void track(int block, int direction, int train, int speed);
55 +void trackOff(int block);
56 +void trackBreak(int block);
57 +
58 +//track speed
59 +#define SLOW 10
60 +#define NORMAL 11
61 +#define FAST 12
62 +
63 +//-------------
64 +//-- Helper --
65 +//-------------
66 +
67 +void println(const char* string, ...);
68 +
69 +#endif _CONTROLLER_H_
csp_default_pass.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +107.2 KB
Content
nbw-mutex-sct.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +45.9 KB
Content
nbw-mutex-sct.svg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +23.1 KB
Content
... ... @@ -1,0 +1,851 @@
1 +<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 +<svg
3 + xmlns:dc="http://purl.org/dc/elements/1.1/"
4 + xmlns:cc="http://creativecommons.org/ns#"
5 + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
6 + xmlns:svg="http://www.w3.org/2000/svg"
7 + xmlns="http://www.w3.org/2000/svg"
8 + xmlns:xlink="http://www.w3.org/1999/xlink"
9 + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
10 + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
11 + style="font-size:10px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;font-family:sans-serif"
12 + width="569.5"
13 + contentScriptType="text/ecmascript"
14 + preserveAspectRatio="xMidYMid meet"
15 + zoomAndPan="magnify"
16 + version="1.0"
17 + contentStyleType="text/css"
18 + height="355.03"
19 + id="svg2"
20 + inkscape:version="0.48.4 r9939"
21 + sodipodi:docname="nbw-mutex-sct.svg">
22 + <metadata
23 + id="metadata226">
24 + <rdf:RDF>
25 + <cc:Work
26 + rdf:about="">
27 + <dc:format>image/svg+xml</dc:format>
28 + <dc:type
29 + rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
30 + </cc:Work>
31 + </rdf:RDF>
32 + </metadata>
33 + <sodipodi:namedview
34 + pagecolor="#ffffff"
35 + bordercolor="#666666"
36 + borderopacity="1"
37 + objecttolerance="10"
38 + gridtolerance="10"
39 + guidetolerance="10"
40 + inkscape:pageopacity="0"
41 + inkscape:pageshadow="2"
42 + inkscape:window-width="1855"
43 + inkscape:window-height="1056"
44 + id="namedview224"
45 + showgrid="false"
46 + fit-margin-top="0"
47 + fit-margin-left="0"
48 + fit-margin-right="0"
49 + fit-margin-bottom="0"
50 + inkscape:zoom="1.2557583"
51 + inkscape:cx="321.5136"
52 + inkscape:cy="104.33156"
53 + inkscape:window-x="65"
54 + inkscape:window-y="24"
55 + inkscape:window-maximized="1"
56 + inkscape:current-layer="svg2" />
57 + <!--Generated by the Batik Graphics2D SVG Generator-->
58 + <defs
59 + id="genericDefs">
60 + <defs
61 + id="defs1">
62 + <linearGradient
63 + spreadMethod="pad"
64 + xlink:show="other"
65 + id="linearGradient1"
66 + xlink:actuate="onLoad"
67 + xlink:type="simple"
68 + y2="351.53"
69 + gradientUnits="userSpaceOnUse"
70 + y1="0"
71 + x2="566"
72 + x1="0">
73 + <stop
74 + id="stop9"
75 + offset="0%"
76 + style="stop-opacity:1; stop-color:rgb(248,249,253);" />
77 + <stop
78 + id="stop11"
79 + offset="100%"
80 + style="stop-opacity:1; stop-color:rgb(205,220,243);" />
81 + </linearGradient>
82 + <linearGradient
83 + spreadMethod="pad"
84 + xlink:show="other"
85 + id="linearGradient2"
86 + xlink:actuate="onLoad"
87 + xlink:type="simple"
88 + y2="34"
89 + gradientUnits="userSpaceOnUse"
90 + y1="0"
91 + x2="60"
92 + x1="0">
93 + <stop
94 + id="stop14"
95 + offset="0%"
96 + style="stop-opacity:1; stop-color:rgb(248,249,253);" />
97 + <stop
98 + id="stop16"
99 + offset="100%"
100 + style="stop-opacity:1; stop-color:rgb(205,220,243);" />
101 + </linearGradient>
102 + <linearGradient
103 + spreadMethod="pad"
104 + xlink:show="other"
105 + id="linearGradient3"
106 + xlink:actuate="onLoad"
107 + xlink:type="simple"
108 + y2="34"
109 + gradientUnits="userSpaceOnUse"
110 + y1="0"
111 + x2="80"
112 + x1="0">
113 + <stop
114 + id="stop19"
115 + offset="0%"
116 + style="stop-opacity:1; stop-color:rgb(248,249,253);" />
117 + <stop
118 + id="stop21"
119 + offset="100%"
120 + style="stop-opacity:1; stop-color:rgb(205,220,243);" />
121 + </linearGradient>
122 + <linearGradient
123 + spreadMethod="pad"
124 + xlink:show="other"
125 + id="linearGradient4"
126 + xlink:actuate="onLoad"
127 + xlink:type="simple"
128 + y2="34"
129 + gradientUnits="userSpaceOnUse"
130 + y1="0"
131 + x2="80"
132 + x1="0">
133 + <stop
134 + id="stop24"
135 + offset="0%"
136 + style="stop-opacity:1; stop-color:rgb(248,249,253);" />
137 + <stop
138 + id="stop26"
139 + offset="100%"
140 + style="stop-opacity:1; stop-color:rgb(205,220,243);" />
141 + </linearGradient>
142 + </defs>
143 + <linearGradient
144 + inkscape:collect="always"
145 + xlink:href="#linearGradient1"
146 + id="linearGradient3482"
147 + gradientUnits="userSpaceOnUse"
148 + spreadMethod="pad"
149 + x1="0"
150 + y1="0"
151 + x2="566"
152 + y2="351.53" />
153 + <linearGradient
154 + inkscape:collect="always"
155 + xlink:href="#linearGradient2"
156 + id="linearGradient3484"
157 + gradientUnits="userSpaceOnUse"
158 + spreadMethod="pad"
159 + x1="0"
160 + y1="0"
161 + x2="60"
162 + y2="34" />
163 + <linearGradient
164 + inkscape:collect="always"
165 + xlink:href="#linearGradient3"
166 + id="linearGradient3486"
167 + gradientUnits="userSpaceOnUse"
168 + spreadMethod="pad"
169 + x1="0"
170 + y1="0"
171 + x2="80"
172 + y2="34" />
173 + <linearGradient
174 + inkscape:collect="always"
175 + xlink:href="#linearGradient4"
176 + id="linearGradient3488"
177 + gradientUnits="userSpaceOnUse"
178 + spreadMethod="pad"
179 + x1="0"
180 + y1="0"
181 + x2="80"
182 + y2="34" />
183 + </defs>
184 + <g
185 + id="g3365"
186 + transform="translate(-10.0004,-8.9996)">
187 + <g
188 + transform="translate(14.0004,12.9996)"
189 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
190 + id="g28">
191 + <rect
192 + x="0.5"
193 + y="0.5"
194 + width="565"
195 + style="stroke:none"
196 + rx="8"
197 + ry="8"
198 + height="350.53"
199 + id="rect30" />
200 + </g>
201 + <g
202 + transform="translate(13.0004,11.9996)"
203 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
204 + id="g32">
205 + <rect
206 + x="0.5"
207 + y="0.5"
208 + width="565"
209 + style="stroke:none"
210 + rx="8"
211 + ry="8"
212 + height="350.53"
213 + id="rect34" />
214 + </g>
215 + <g
216 + transform="translate(12.0004,10.9996)"
217 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
218 + id="g36">
219 + <rect
220 + x="0.5"
221 + y="0.5"
222 + width="565"
223 + style="stroke:none"
224 + rx="8"
225 + ry="8"
226 + height="350.53"
227 + id="rect38" />
228 + </g>
229 + <g
230 + transform="translate(11.0004,9.9996)"
231 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
232 + id="g40">
233 + <rect
234 + x="0.5"
235 + y="0.5"
236 + width="565"
237 + style="stroke:none"
238 + rx="8"
239 + ry="8"
240 + height="350.53"
241 + id="rect42" />
242 + </g>
243 + <g
244 + style="fill:#ffffff;stroke:#ffffff;stroke-width:0.0001"
245 + transform="translate(10.0004,8.9996)"
246 + id="g44">
247 + <rect
248 + x="0.5"
249 + y="0.5"
250 + width="565"
251 + style="stroke:none"
252 + rx="8"
253 + ry="8"
254 + height="350.53"
255 + id="rect46" />
256 + <rect
257 + x="0.5"
258 + y="0.5"
259 + width="565"
260 + style="fill:url(#linearGradient3482);stroke:none"
261 + rx="8"
262 + ry="8"
263 + height="350.53"
264 + id="rect48" />
265 + <rect
266 + x="0.5"
267 + y="0.5"
268 + width="565"
269 + style="fill:none;stroke:#bebebe;stroke-width:1"
270 + rx="8"
271 + ry="8"
272 + height="350.53"
273 + id="rect50" />
274 + </g>
275 + <g
276 + style="font-weight:bold;fill:#730041;stroke:#730041"
277 + transform="translate(18.0004,24.9996)"
278 + id="g52">
279 + <text
280 + xml:space="preserve"
281 + x="0"
282 + y="0"
283 + style="stroke:none"
284 + id="text54"><tspan
285 + style="font-size:12px"
286 + id="tspan3205">bool</tspan></text>
287 + </g>
288 + <g
289 + transform="translate(51.0004,24.9996)"
290 + id="g56">
291 + <text
292 + xml:space="preserve"
293 + x="0"
294 + y="0"
295 + style="stroke:none"
296 + id="text58"><tspan
297 + style="font-size:12px"
298 + id="tspan3203"> T1_req_IC_LN_2</tspan></text>
299 + </g>
300 + <g
301 + transform="translate(158.0004,24.9996)"
302 + id="g60">
303 + <text
304 + xml:space="preserve"
305 + x="0"
306 + y="0"
307 + style="stroke:none"
308 + id="text62"><tspan
309 + style="font-size:12px"
310 + id="tspan3207"> = false</tspan></text>
311 + </g>
312 + <g
313 + style="font-weight:bold;fill:#730041;stroke:#730041"
314 + transform="translate(18.0004,41.9996)"
315 + id="g64">
316 + <text
317 + xml:space="preserve"
318 + x="0"
319 + y="0"
320 + style="stroke:none"
321 + id="text66"><tspan
322 + style="font-size:12px"
323 + id="tspan3209">bool</tspan></text>
324 + </g>
325 + <g
326 + transform="translate(51.0004,41.9996)"
327 + id="g68">
328 + <text
329 + xml:space="preserve"
330 + x="0"
331 + y="0"
332 + style="stroke:none"
333 + id="text70"><tspan
334 + style="font-size:12px"
335 + id="tspan3211"> T2_req_IC_LN_2</tspan></text>
336 + </g>
337 + <g
338 + transform="translate(158.0004,41.9996)"
339 + id="g72">
340 + <text
341 + xml:space="preserve"
342 + x="0"
343 + y="0"
344 + style="stroke:none"
345 + id="text74"><tspan
346 + style="font-size:12px"
347 + id="tspan3213"> = false</tspan></text>
348 + </g>
349 + <g
350 + style="font-weight:bold;fill:#730041;stroke:#730041"
351 + transform="translate(18.0004,58.9996)"
352 + id="g76">
353 + <text
354 + xml:space="preserve"
355 + x="0"
356 + y="0"
357 + style="stroke:none"
358 + id="text78"><tspan
359 + style="font-size:12px"
360 + id="tspan3215">int</tspan></text>
361 + </g>
362 + <g
363 + transform="translate(38.0004,58.9996)"
364 + id="g80">
365 + <text
366 + xml:space="preserve"
367 + x="0"
368 + y="0"
369 + style="stroke:none"
370 + id="text82"><tspan
371 + style="font-size:12px"
372 + id="tspan3217"> IC_LN_2_perm</tspan></text>
373 + </g>
374 + <g
375 + transform="translate(135.0004,58.9996)"
376 + id="g84">
377 + <text
378 + xml:space="preserve"
379 + x="0"
380 + y="0"
381 + style="stroke:none"
382 + id="text86"><tspan
383 + style="font-size:12px"
384 + id="tspan3219"> = 3</tspan></text>
385 + </g>
386 + <g
387 + style="fill:#ffffff;stroke:#ffffff"
388 + transform="translate(17.0004,66.9996)"
389 + id="g88">
390 + <rect
391 + x="0.5"
392 + y="0.5"
393 + width="551"
394 + style="stroke:none"
395 + height="285.53"
396 + id="rect90" />
397 + <rect
398 + x="0.5"
399 + y="0.5"
400 + width="551"
401 + style="fill:none;stroke:#bebebe"
402 + height="285.53"
403 + id="rect92" />
404 + <text
405 + x="0"
406 + y="0"
407 + transform="translate(5,12)"
408 + style="fill:#696969;stroke:none"
409 + xml:space="preserve"
410 + id="text94"><tspan
411 + style="font-size:12px"
412 + id="tspan3221">[-] Mutex_IC_LN_2</tspan></text>
413 + </g>
414 + <g
415 + transform="translate(31.0005,179.9997)"
416 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
417 + id="g96">
418 + <rect
419 + x="1.5"
420 + y="1.5"
421 + width="57"
422 + style="stroke:none"
423 + rx="17"
424 + ry="17"
425 + height="31"
426 + id="rect98" />
427 + </g>
428 + <g
429 + transform="translate(30.0005,178.9997)"
430 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
431 + id="g100">
432 + <rect
433 + x="1.5"
434 + y="1.5"
435 + width="57"
436 + style="stroke:none"
437 + rx="17"
438 + ry="17"
439 + height="31"
440 + id="rect102" />
441 + </g>
442 + <g
443 + transform="translate(29.0005,177.9997)"
444 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
445 + id="g104">
446 + <rect
447 + x="1.5"
448 + y="1.5"
449 + width="57"
450 + style="stroke:none"
451 + rx="17"
452 + ry="17"
453 + height="31"
454 + id="rect106" />
455 + </g>
456 + <g
457 + transform="translate(28.0005,176.9997)"
458 + style="fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
459 + id="g108">
460 + <rect
461 + x="1.5"
462 + y="1.5"
463 + width="57"
464 + style="stroke:none"
465 + rx="17"
466 + ry="17"
467 + height="31"
468 + id="rect110" />
469 + </g>
470 + <g
471 + style="fill:#ffffff;stroke:#ffffff;stroke-width:0.0001"
472 + transform="translate(27.0005,175.9997)"
473 + id="g112">
474 + <rect
475 + x="1.5"
476 + y="1.5"
477 + width="57"
478 + style="stroke:none"
479 + rx="17"
480 + ry="17"
481 + height="31"
482 + id="rect114" />
483 + <rect
484 + x="1.5"
485 + y="1.5"
486 + width="57"
487 + style="fill:url(#linearGradient3484);stroke:none"
488 + rx="17"
489 + ry="17"
490 + height="31"
491 + id="rect116" />
492 + <rect
493 + x="1.5"
494 + y="1.5"
495 + width="57"
496 + style="fill:none;stroke:#000000;stroke-width:3"
497 + rx="17"
498 + ry="17"
499 + height="31"
500 + id="rect118" />
501 + </g>
502 + <g
503 + style="font-size:11px;font-weight:bold"
504 + transform="translate(36.0005,194.9997)"
505 + id="g120">
506 + <text
507 + xml:space="preserve"
508 + x="0"
509 + y="0"
510 + style="stroke:none"
511 + id="text122"><tspan
512 + style="font-size:13px"
513 + id="tspan3231"> free </tspan></text>
514 + </g>
515 + <g
516 + transform="translate(483.0008,128.9997)"
517 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
518 + id="g124">
519 + <rect
520 + x="0.5"
521 + y="0.5"
522 + width="79"
523 + style="stroke:none"
524 + rx="17"
525 + ry="17"
526 + height="33"
527 + id="rect126" />
528 + </g>
529 + <g
530 + transform="translate(482.0008,127.9997)"
531 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
532 + id="g128">
533 + <rect
534 + x="0.5"
535 + y="0.5"
536 + width="79"
537 + style="stroke:none"
538 + rx="17"
539 + ry="17"
540 + height="33"
541 + id="rect130" />
542 + </g>
543 + <g
544 + transform="translate(481.0008,126.9997)"
545 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
546 + id="g132">
547 + <rect
548 + x="0.5"
549 + y="0.5"
550 + width="79"
551 + style="stroke:none"
552 + rx="17"
553 + ry="17"
554 + height="33"
555 + id="rect134" />
556 + </g>
557 + <g
558 + transform="translate(480.0008,125.9997)"
559 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
560 + id="g136">
561 + <rect
562 + x="0.5"
563 + y="0.5"
564 + width="79"
565 + style="stroke:none"
566 + rx="17"
567 + ry="17"
568 + height="33"
569 + id="rect138" />
570 + </g>
571 + <g
572 + transform="translate(479.0008,124.9997)"
573 + style="font-size:11px;font-weight:bold;fill:#ffffff;stroke:#ffffff;stroke-width:0.0001"
574 + id="g140">
575 + <rect
576 + x="0.5"
577 + y="0.5"
578 + width="79"
579 + style="stroke:none"
580 + rx="17"
581 + ry="17"
582 + height="33"
583 + id="rect142" />
584 + <rect
585 + x="0.5"
586 + y="0.5"
587 + width="79"
588 + style="fill:url(#linearGradient3486);stroke:none"
589 + rx="17"
590 + ry="17"
591 + height="33"
592 + id="rect144" />
593 + <rect
594 + x="0.5"
595 + y="0.5"
596 + width="79"
597 + style="fill:none;stroke:#bebebe;stroke-width:1"
598 + rx="17"
599 + ry="17"
600 + height="33"
601 + id="rect146" />
602 + <text
603 + x="0"
604 + y="0"
605 + transform="translate(9,19)"
606 + style="fill:#000000;stroke:none"
607 + xml:space="preserve"
608 + id="text148"><tspan
609 + style="font-size:13px"
610 + id="tspan3233"> res_T1 </tspan></text>
611 + </g>
612 + <g
613 + transform="translate(483.0008,230.9997)"
614 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
615 + id="g150">
616 + <rect
617 + x="0.5"
618 + y="0.5"
619 + width="79"
620 + style="stroke:none"
621 + rx="17"
622 + ry="17"
623 + height="33"
624 + id="rect152" />
625 + </g>
626 + <g
627 + transform="translate(482.0008,229.9997)"
628 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
629 + id="g154">
630 + <rect
631 + x="0.5"
632 + y="0.5"
633 + width="79"
634 + style="stroke:none"
635 + rx="17"
636 + ry="17"
637 + height="33"
638 + id="rect156" />
639 + </g>
640 + <g
641 + transform="translate(481.0008,228.9997)"
642 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
643 + id="g158">
644 + <rect
645 + x="0.5"
646 + y="0.5"
647 + width="79"
648 + style="stroke:none"
649 + rx="17"
650 + ry="17"
651 + height="33"
652 + id="rect160" />
653 + </g>
654 + <g
655 + transform="translate(480.0008,227.9997)"
656 + style="font-size:11px;font-weight:bold;fill:#000000;fill-opacity:0.09800002;stroke:#000000;stroke-width:0.0001;stroke-opacity:0.09800002"
657 + id="g162">
658 + <rect
659 + x="0.5"
660 + y="0.5"
661 + width="79"
662 + style="stroke:none"
663 + rx="17"
664 + ry="17"
665 + height="33"
666 + id="rect164" />
667 + </g>
668 + <g
669 + transform="translate(479.0008,226.9997)"
670 + style="font-size:11px;font-weight:bold;fill:#ffffff;stroke:#ffffff;stroke-width:0.0001"
671 + id="g166">
672 + <rect
673 + x="0.5"
674 + y="0.5"
675 + width="79"
676 + style="stroke:none"
677 + rx="17"
678 + ry="17"
679 + height="33"
680 + id="rect168" />
681 + <rect
682 + x="0.5"
683 + y="0.5"
684 + width="79"
685 + style="fill:url(#linearGradient3488);stroke:none"
686 + rx="17"
687 + ry="17"
688 + height="33"
689 + id="rect170" />
690 + <rect
691 + x="0.5"
692 + y="0.5"
693 + width="79"
694 + style="fill:none;stroke:#bebebe;stroke-width:1"
695 + rx="17"
696 + ry="17"
697 + height="33"
698 + id="rect172" />
699 + <text
700 + x="0"
701 + y="0"
702 + transform="translate(9,19)"
703 + style="fill:#000000;stroke:none"
704 + xml:space="preserve"
705 + id="text174"><tspan
706 + style="font-size:13px"
707 + id="tspan3235"> res_T2 </tspan></text>
708 + </g>
709 + <g
710 + style="font-size:11px;font-weight:bold;stroke-width:2"
711 + transform="translate(17.0004,76.9996)"
712 + id="g176">
713 + <path
714 + d="M 51.006,99.0001 C 59.54,85.996 73.101,69.485 90,62 216.08,6.1557 386.02,36.333 464.4857,56.15"
715 + style="fill:none"
716 + id="path178"
717 + inkscape:connector-curvature="0" />
718 + <path
719 + d="M 0,0 3.2,3 0,6 8,3 z"
720 + style="stroke:none"
721 + transform="matrix(0.9743,0.2251,-0.2251,0.9743,457.3665,51.426)"
722 + id="path180"
723 + inkscape:connector-curvature="0" />
724 + <path
725 + d="M 0,0 3.2,3 0,6 8,3 z"
726 + style="fill:none;stroke-linejoin:round"
727 + transform="matrix(0.9743,0.2251,-0.2251,0.9743,457.3665,51.426)"
728 + id="path182"
729 + inkscape:connector-curvature="0" />
730 + </g>
731 + <g
732 + style="font-size:11px;font-weight:bold"
733 + transform="translate(129.5004,98.9996)"
734 + id="g184">
735 + <text
736 + xml:space="preserve"
737 + x="0"
738 + y="0"
739 + style="stroke:none"
740 + id="text186"><tspan
741 + style="font-size:13px"
742 + id="tspan3223"> 1: T1_req_IC_LN_2 / IC_LN_2_perm = 1</tspan></text>
743 + </g>
744 + <g
745 + style="font-size:11px;font-weight:bold;stroke-width:2"
746 + transform="translate(17.0004,76.9996)"
747 + id="g188">
748 + <path
749 + d="M 470.6199,79.7909 C 460.69,86.015 451.18,89.71 442,92 306.32,125.85 137.2,121.4 69.8999,117.843"
750 + style="fill:none"
751 + id="path190"
752 + inkscape:connector-curvature="0" />
753 + <path
754 + d="M 0,0 3.2,3 0,6 8,3 z"
755 + style="stroke:none"
756 + transform="matrix(-0.999,-0.0436,0.0436,-0.999,77.7614,121.1892)"
757 + id="path192"
758 + inkscape:connector-curvature="0" />
759 + <path
760 + d="M 0,0 3.2,3 0,6 8,3 z"
761 + style="fill:none;stroke-linejoin:round"
762 + transform="matrix(-0.999,-0.0436,0.0436,-0.999,77.7614,121.1892)"
763 + id="path194"
764 + inkscape:connector-curvature="0" />
765 + </g>
766 + <g
767 + style="font-size:11px;font-weight:bold"
768 + transform="translate(136.5004,160.9996)"
769 + id="g196">
770 + <text
771 + xml:space="preserve"
772 + x="0"
773 + y="0"
774 + style="stroke:none"
775 + id="text198"><tspan
776 + style="font-size:13px"
777 + id="tspan3225"> !T1_req_IC_LN_2 / IC_LN_2_perm = 0</tspan></text>
778 + </g>
779 + <g
780 + style="font-size:11px;font-weight:bold;stroke-width:2"
781 + transform="translate(17.0004,76.9996)"
782 + id="g200">
783 + <path
784 + d="m 58.029,133 c 8.777,7.61 20.114,15.8 31.971,20 129.72,45.95 297.1,30.64 373.0383,19.8492"
785 + style="fill:none"
786 + id="path202"
787 + inkscape:connector-curvature="0" />
788 + <path
789 + d="M 0,0 3.2,3 0,6 8,3 z"
790 + style="stroke:none"
791 + transform="matrix(0.992,-0.126,0.126,0.992,454.7241,170.8813)"
792 + id="path204"
793 + inkscape:connector-curvature="0" />
794 + <path
795 + d="M 0,0 3.2,3 0,6 8,3 z"
796 + style="fill:none;stroke-linejoin:round"
797 + transform="matrix(0.992,-0.126,0.126,0.992,454.7241,170.8813)"
798 + id="path206"
799 + inkscape:connector-curvature="0" />
800 + </g>
801 + <g
802 + style="font-size:11px;font-weight:bold"
803 + transform="translate(129.5004,221.9996)"
804 + id="g208">
805 + <text
806 + xml:space="preserve"
807 + x="0"
808 + y="0"
809 + style="stroke:none"
810 + id="text210"><tspan
811 + style="font-size:13px"
812 + id="tspan3227"> 2: T2_req_IC_LN_2 / IC_LN_2_perm = 2</tspan></text>
813 + </g>
814 + <g
815 + style="font-size:11px;font-weight:bold;stroke-width:2"
816 + transform="translate(17.0004,76.9996)"
817 + id="g212">
818 + <path
819 + d="M 485.89,184.0001 C 474.97,195.43 459.17,208.9 442,215 294.59,267.39 222.91,297.52 90,215 61.161,197.1 48.777,156.62 43.88,133.0001"
820 + style="fill:none"
821 + id="path214"
822 + inkscape:connector-curvature="0" />
823 + <path
824 + d="M 0,0 3.2,3 0,6 8,3 z"
825 + style="stroke:none"
826 + transform="matrix(-0.2494,-0.9684,0.9684,-0.2494,42.9696,141.4954)"
827 + id="path216"
828 + inkscape:connector-curvature="0" />
829 + <path
830 + d="M 0,0 3.2,3 0,6 8,3 z"
831 + style="fill:none;stroke-linejoin:round"
832 + transform="matrix(-0.2494,-0.9684,0.9684,-0.2494,42.9696,141.4954)"
833 + id="path218"
834 + inkscape:connector-curvature="0" />
835 + </g>
836 + <g
837 + style="font-size:11px;font-weight:bold"
838 + transform="translate(136.5004,283.9996)"
839 + id="g220">
840 + <text
841 + xml:space="preserve"
842 + x="0"
843 + y="0"
844 + style="stroke:none"
845 + id="text222"><tspan
846 + style="font-size:13px"
847 + id="tspan3229"> !T2_req_IC_LN_2 / IC_LN_2_perm = 0</tspan></text>
848 + </g>
849 + </g>
850 +</svg>
851 +
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470782
1 +9470606
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470782/Project goals
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470606/Project goals

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage