Changes for page Project goals

Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:05
<
From version < 15.1 >
edited by Alexander Schulz-Rosengarten
on 2023/07/13 12:23
To version < 14.1 >
edited by Alexander Schulz-Rosengarten
on 2014/05/13 11:13
>
Change comment: added c interface header

Summary

Details

Page properties
Parent
... ... @@ -1,1 +1,0 @@
1 -Railway Project (summer term 2014)
Content
... ... @@ -45,7 +45,7 @@
45 45  01.7. Schedules for trains are working
46 46  
47 47  cw 34 Final presentation
48 -28.08 Excursion to Miniatur Wunderland
48 +cw 35 Excursion to Miniatur Wunderland
49 49  {{/code}}
50 50  
51 51  **
controller.h
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -1.2 KB
Content
... ... @@ -1,69 +1,0 @@
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,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -107.2 KB
Content
nbw-mutex-sct.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -45.9 KB
Content
nbw-mutex-sct.svg
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -23.1 KB
Content
... ... @@ -1,851 +1,0 @@
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 -9470606
1 +9471137
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470606/Project goals
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471137/Project goals

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage