Changes for page Project goals

Summary

• Page properties (3 modified, 0 added, 0 removed)
• Attachments (0 modified, 4 added, 0 removed)
  • controller.h
  • csp_default_pass.png
  • nbw-mutex-sct.png
  • nbw-mutex-sct.svg
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Parent

...	...	@@ -1,0 +1,1 @@
	1	+SS14Railway.Railway Project (summer term 2014).WebHome

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.cbu
	1	+XWiki.als

Content

...	...	@@ -13,7 +13,7 @@
13	13	Remember, you are going to present your controller at the end of the summer term! Getting this task done right is a very important step to succeed with your controller and this project!
14	14	{{/info}}
15	15
16		-
	16	+== **Goals** ==
17	17
18	18	**The following goals should definitely be reached (if we get modules in Kieler):**
19	19
...	...	@@ -32,8 +32,11 @@
32	32	Trains should drive slowly at the points
33	33	)))
34	34
35		-**Road Map:**
	35	+== **Road Map:** ==
36	36
	37	+**
	38	+**
	39	+
37	37	{{code}}
38	38	13.5. Presentation
39	39	27.5. Station-Station Controller + C-Interface
...	...	@@ -42,22 +42,55 @@
42	42	01.7. Schedules for trains are working
43	43
44	44	cw 34 Final presentation
45		-cw 35 Excursion to Miniatur Wunderland
	48	+28.08 Excursion to Miniatur Wunderland
46	46	{{/code}}
47	47
48	48	**
49	49	**
50	50
51		-**Work distribution: **
	54	+=== **Current work distribution: ** ===
52	52
53		-**
54		-**
	56	+|=(((
	57	+Task
	58	+)))|=(((
	59	+Assigned Persons
	60	+)))
	61	+|(((
	62	+C-Inteface
	63	+)))|(((
	64	+Alexander
	65	+)))
	66	+|(((
	67	+Mutual Exclusion
	68	+)))|(((
	69	+Nis
	70	+)))
	71	+|(((
	72	+Station-to-Station
	73	+)))|(((
	74	+Personal assignments
	75	+)))
	76	+|(((
	77	+Test Scenarios
	78	+)))|(((
	79	+Expert-groups
	80	+)))
	81	+|(((
	82	+Deadlocks
	83	+)))|(((
	84	+Carsten
	85	+)))
	86	+|(((
	87	+Integration
	88	+)))|(((
	89	+Small groups, dynamic time schedule
	90	+)))
55	55
56		-**Implementation in short:**
	92	+== **Implementation in short:** ==
57	57
58		-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 exists of all train stations, and additionally, if one train with a low priority exists 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.
59	59
60		-=== **Implementation in detail:** ===
	96	+== **Implementation in detail:** ==
61	61
62	62	**Basic Track:**
63	63
...	...	@@ -66,35 +66,45 @@
66	66	**Sample Pass for one Track (in pseudocode)**
67	67
68	68	{{code linenumbers="true"}}
69		-state Foo
70		---> Gleissegment with contact(Segment,0)
71		-state Gleissegment {
72		- entry / req(next_Segment);
73		- entry / setSignal(prevSegment, red);
74		-
75		- inital state Entry
76		- --> Continue with contact(Segment,0) & perm_next_Segment
77		- --> Slowdown with contact(Segment,0);
78		-
79		- state Slowdown {
80		- entry / setSpeed(Segment,SLOW);
81		- } --> 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)'
82	82	--> Continue with perm_next_Segment;
83		-
84		- state Waiting {
85		- entry / setSpeed(Segment,BRAKE);
86		- } --> Continue with perm_next_Segment;
87		-
88		- state Continue {
89		- entry / setSignal(Segment,green);
90		- entry / setSpeed(Segment,full);
91		- entry / setSpeed(nextSegment,full);
92		- entry / setSignal(nextSegment, red);
93		- entry / free(prevSegment)
94		- entry / setSpeed(prevSegment,OFF);
95		- }--> leave immediate;
96		-
97		- 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;
98	98	}
99	99	{{/code}}
100	100
...	...	@@ -102,10 +102,10 @@
102	102
103	103	[[image:attach:csp_default_pass.png]]
104	104
105		-=== Station-Station Modules ===
	151	+**Station-Station Modules**
106	106
107		-Input: Zugnummer, Startgleis, Zielgleis, Cleanup, (Mutex Variablen?)
108		-Output: "Echtes" Zielgleis (Ausweichgleis?)
	153	+Input: train number, departure track, destination track, Cleanup flag, (mutex variables necessary?)
	154	+Output: "real" destination track (alternative destination track)
109	109
110	110	Modules needed:
111	111
...	...	@@ -126,10 +126,12 @@
126	126
127	127	=== [[image:attach:nbw-mutex-sct.png]] ===
128	128
129		-=== C-Interface ===
	175	+**C-Interface**
130	130
131		-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.
	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.
132	132
	179	+[[Controller C Interface>>attach:controller.h]]
	180	+
133	133
134	134
135	135	**Test cases: **
...	...	@@ -144,7 +144,7 @@
144	144
145	145
146	146
147		-== Organization ==
	195	+== **Organization** ==
148	148
149	149	Meetings: Every Wednesday at 4 pm.
150	150

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		-9470776
	1	+9470606

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470776/Project goals
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470606/Project goals