Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Author

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

Content

...	...	@@ -7,7 +7,7 @@
7	7	(% style="text-align: left;" %)
8	8	== Prerequisites ==
9	9
10		-This seminar is build upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
	10	+This seminar is built upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
11	11
12	12	Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
13	13
...	...	@@ -89,28 +89,8 @@
89	89	(% style="margin-left: 30.0px;" %)
90	90	(% style="color:#003366" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
91	91
92		-(% style="margin-left: 30.0px;" %)
93		-==== **Real-Time / Embedded** ====
94	94
95	95	(% style="margin-left: 30.0px;" %)
96		-(% style="color:#003366" %)J(%%)ordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha(% class="authors__name" %)ł Antkiewicz, Krzysztof Czarnecki, [[Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems>>url:https://rdcu.be/bQRqq||shape="rect"]],(% style="color:#003366" %) Software & Systems Modeling 2019
97		-
98		-(% style="margin-left: 30.0px;" %)
99		-(% style="color:#003366" %)Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018.[[ Slicing UML-based Models of Real-time Embedded Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239407||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 346-356.
100		-
101		-(% style="margin-left: 30.0px;" %)
102		-(% style="color:#003366" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
103		-
104		-(% style="margin-left: 30.0px;" %)
105		-(% style="color:#003366" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
106		-
107		-(% style="margin-left: 30.0px;" %)
108		-(% style="color:#003366" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
109		-
110		-(% style="margin-left: 30.0px;" %)
111		-(% style="color:#003366" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
112		-
113		-(% style="margin-left: 30.0px;" %)
114	114	==== **Safety Analysis / Testing** ====
115	115
116	116	(% style="margin-left: 30.0px;" %)
...	...	@@ -130,7 +130,7 @@
130	130	Milestone
131	131	)))
132	132	|(((
133		-tbd
	113	+Tue. 16.04 10:00 CAP4 R.1115
134	134	)))|(((
135	135	First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
136	136	)))
...	...	@@ -209,7 +209,7 @@
209	209
210	210	=== Talk ===
211	211
212		-The talk should be 40 minutes (master) or 25 minutes (bachelor) long. This is followed by 5 minutes of questions. The slides should contain page numbers to allow the participants to ask specific questions after the talk. It would be great to include a short tool demo if your topic includes some concrete implementation.
	192	+The talk should be 30 minutes (master) or 20 minutes (bachelor) long. This is followed by 5 minutes of questions. The slides should contain page numbers to allow the participants to ask specific questions after the talk. It would be great to include a short tool demo if your topic includes some concrete implementation.
213	213
214	214	You can freely choose your presentation tool. Therefore, for the individual dates on the presentation slides it would be best to to use your own computer. If the slides are provided as PDF beforehand, a different computer could be used.
215	215