Summary

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

Details

Page properties

Content

...	...	@@ -1,8 +1,10 @@
1	1	{{layout}}
2	2	{{layout-section ac:type="single"}}
3	3	{{layout-cell}}
4		-Welcome to the Confluence Wiki of the Layout Practical 2015. What this Wiki is all about:
	4	+This project is offered as [[Inf-AP-ES: Projektmodul - Echtzeitsysteme/Eingebettete Systeme (Layout) (BA6.1: Echtzeit Raceyard)>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/echtze/ba61ec&anonymous=1&ref=tlecture&sem=2015s&tdir=techn/infora/bachel/6semes/projek&__e=459||rel="nofollow" shape="rect" class="external-link"]] and as [[MSP1101: Masterprojekt - Echtzeitsysteme/Eingebettete Systeme (Layout) (Prakt. Echtzeit Raceyard)>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/echtze/prakte&anonymous=1&founds=techn/infor/inform/echtze/ba61ec,/infsem,/mabsch,/ms1102,/prakte,/semech,/synsp&nosearch=1&ref=tlecture&sem=2015s&tdir=techn/infora/bachel/6semes/projek&__e=460||rel="nofollow" shape="rect" class="external-link"]]**[[.>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/echtze/prakte&anonymous=1&founds=techn/infor/inform/echtze/ba61ec,/infsem,/mabsch,/ms1102,/prakte,/semech,/synsp&nosearch=1&ref=tlecture&sem=2015s&tdir=techn/infora/bachel/6semes/projek&__e=460||rel="nofollow" shape="rect" class="external-link"]] **Both Bachelor and Master students may subsequently write a thesis building on results from the project.
5	5
	6	+== What is this whole Wiki thing? ==
	7	+
6	6	* It's the place where we post important information on the practical, such as due dates and similar information.
7	7	* It's also the place where we post tutorials. You will spend the first part of the practical working through the tutorials before starting your individual projects.
8	8	* And finally, it's the place where each group will document their project.
...	...	@@ -15,7 +15,46 @@
15	15	{{layout-cell}}
16	16	== Real-Time and Embedded Systems Project ==
17	17
	20	+=== Safety-critical systems ===
	21	+
	22	+//Reactive systems// are computer systems that compute a function in a cyclic fashion. They continuously interact with their environment and react to inputs with computed outputs. Additionally reactive systems have to complete their computations in a certain amount of time which is typically a requirement derived from (physical) properties of their environment. Usually they are also embedded into their environment and hence also termed// embedded systems//. Often reactive systems control environments whose overall correct behavior is crucial. Failing in the sense of reactive systems not only means computing an incorrect output reaction but also not meeting the correct timing constraints. The failure of such systems or parts of it typically results in loss of human life or a financial disaster. It is essential that these systems do not fail and guarantee safety which is the most critical aspect. Hence, many real-time and embedded systems also are //safety-critical systems//. As the complexity of these systems rises, handling safety-critical tasks becomes more and more challenging. At the same time, the amount of embedded and critical systems is increasing. The model-based approach combined with synchronous languages aim to give such system designers better methods and tools to overcome this enormous task.
	23	+
	24	+=== KIELER Miniature Wonderland - Demonstrating complexity ===
	25	+
	26	+The Real-Time and Embedded Systems Group regularly demonstrates the complexity of such systems with the[[ railway installation (see railway project 2014)>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/SS14Railway/Introduction||rel="nofollow" shape="rect"]] of the [[Computer Science Department>>url:http://www.informatik.uni-kiel.de/||rel="nofollow" shape="rect" class="external-link"]] and/or with [[Lego Mindstorms>>url:http://www.lego.com/de-de/mindstorms/?domainredir=mindstorms.lego.com||rel="nofollow" shape="rect" class="external-link"]]. As part of this project you are going to extend our range of demonstrators for complex real-time systems.
	27	+
	28	+* You are going to evaluate and choose appropriate demonstrators for a complex real-time system. An example for such a system is the [[Miniatur Wunderland>>url:http://www.miniatur-wunderland.de/||rel="nofollow" shape="rect" class="external-link"]] in Hamburg,
	29	+* integrate new hardware (if required by your chosen demonstrator),
	30	+* and model your system within the model-based approach.
	31	+
	32	+For now, it is planned to add mini RC cars and nano copters (see images) to our assortment but as this is //your// project, we also always appreciate further suggestions.
	33	+
	34	+[[image:attach:minirccar_revell.jpg]]
	35	+
	36	+(% style="text-align: center;" %)
	37	+//Example: Mini RC Car by Revell ([[product details>>url:http://www.revell.de/produkte/revell-control/cars/id/23520.html||rel="nofollow" style="text-decoration: underline;" shape="rect" class="external-link"]])//
	38	+
	39	+(% style="text-align: center;" %)
18	18
	41	+
	42	+(% style="text-align: center;" %)
	43	+[[image:attach:estesquad.jpg]]
	44	+
	45	+(% style="text-align: center;" %)
	46	+//Example: Estes 4606 Proto X Nano R/C Quadcopter ([[product details>>url:http://www.estesrockets.com/helis-quads/quadcopters||rel="nofollow" shape="rect" class="external-link"]])//
	47	+
	48	+(% style="text-align: center;" %)
	49	+//
	50	+//
	51	+
	52	+(% style="text-align: center;" %)
	53	+//[[image:attach:estescopter.png]]//
	54	+
	55	+(% style="text-align: center;" %)
	56	+//Example: Estes Mad Cat RC Copter ([[product details>>url:http://www.estesrockets.com/helis-quads/helicopters/004608-mad-cattm-r-c-helicopter||rel="nofollow" shape="rect" class="external-link"]])
	57	+//
	58	+
	59	+Supervisors of this project are [[Steven Smyth>>mailto:ssm@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]], [[Christian Motika>>mailto:cmot@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]], [[Nis Boege Wechselberg>>mailto:nbw@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]], and [[Reinhard von Hanxleden>>mailto:rvh@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]]. If you have questions or need assistance, please feel free to send us an E-mail and/or ask for an appointment.
19	19	{{/layout-cell}}
20	20
21	21	{{layout-cell}}
...	...	@@ -44,6 +44,8 @@
44	44	(% style="text-align: center;" %)
45	45	//A diagram layouted with our KLay Layered algorithm.//
46	46
	88	+Responsible for this project are [[Christoph Daniel Schulze>>mailto:cds@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]] and [[Ulf>>mailto:msp@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]][[ Rüegg>>mailto:uru@informatik.uni-kiel.de||rel="nofollow" shape="rect" class="external-link"]]. If you need assistance, feel free to send us an email or ask for an appointment.
	89	+
47	47	[1] Giuseppe Di Battista, Peter Eades, Roberto Tamassia, and Ioannis G. Tollis. Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, 1998.
48	48	[2] Tamassia, Roberto. Handbook of graph drawing and visualization. Chapman and Hall/CRC, 2013. (Online: [[https:~~/~~/cs.brown.edu/~~~~rt/gdhandbook/>>url:https://cs.brown.edu/%7Ert/gdhandbook/||rel="nofollow" shape="rect" class="external-link"]])
49	49	[3] Christoph Daniel Schulze and Miro Spönemann and Reinhard von Hanxleden. Drawing Layered Graphs with Port Constraints. Journal of Visual Languages and Computing, Special Issue on Diagram Aesthetics and Layout, 2014.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-10750992
	1	+10750997

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTProjectSS15/pages/10750992/Real Time Project SS 15 Home
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTProjectSS15/pages/10750997/Real Time Project SS 15 Home