Summary

• Page properties (2 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.nbw

Content

...	...	@@ -1,0 +1,51 @@
	1	+{{info title="DEADLINE 13.05."}}
	2	+At the end of this summer term a railway controller modelled in SCCharts should exist that is able to //control// the model railway installation. What exactly //control// means is up to you!
	3	+
	4	+Define your project goals! Therefore...
	5	+
	6	+* Define the desired capabilities of your controller.
	7	+* Devide your project in several subprojects. Organize the whole team in subteams and determine who is responsible for what.
	8	+* Define interfaces between the subteams and/or components the subteams are responsible of.
	9	+* Create a detailed roadmap with milestones for each subproject.
	10	+
	11	+You are going to present your plan in a short presentation (latex beamer preferred) in the following week, 13.05. 12:30. The presentation should last 30 min.
	12	+
	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	+{{/info}}
	15	+
	16	+
	17	+
	18	+Use this page to document your project goals...
	19	+
	20	+{{code linenumbers="true"}}
	21	+state Foo
	22	+--> Gleissegment with contact(Segment,0)
	23	+state Gleissegment {
	24	+ entry / req(next_Segment);
	25	+ entry / setSignal(prevSegment, red);
	26	+
	27	+ inital state Entry
	28	+ --> Continue with contact(Segment,0) & perm_next_Segment
	29	+ --> Slowdown with contact(Segment,0);
	30	+
	31	+ state Slowdown {
	32	+ entry / setSpeed(Segment,SLOW);
	33	+ } --> Waiting with contact(Segment,1)
	34	+ --> Continue with perm_next_Segment;
	35	+
	36	+ state Waiting {
	37	+ entry / setSpeed(Segment,BRAKE);
	38	+ } --> Continue with perm_next_Segment;
	39	+
	40	+ state Continue {
	41	+ entry / setSignal(Segment,green);
	42	+ entry / setSpeed(Segment,full);
	43	+ entry / setSpeed(nextSegment,full);
	44	+ entry / setSignal(nextSegment, red);
	45	+ entry / free(prevSegment)
	46	+ entry / setSpeed(prevSegment,OFF);
	47	+ }--> leave immediate;
	48	+
	49	+ final state leave;
	50	+}
	51	+{{/code}}

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9470610
	1	+9470756

URL

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