Summary

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

Details

Page properties

Author

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

Content

...	...	@@ -7,7 +7,7 @@
7	7	(% style="text-align: left;" %)
8	8	== Prerequisites ==
9	9
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:
	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:
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
...	...	@@ -44,6 +44,9 @@
44	44	(% style="color:#333333" %)S. A. Edwards and J. Hui, [[The Sparse Synchronous Model>>url:https://ieeexplore.ieee.org/document/9232938||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232938.
45	45
46	46	(% style="margin-left: 30.0px;" %)
	47	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], //2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//, 2018, pp. 240-24009
	48	+
	49	+(% style="margin-left: 30.0px;" %)
47	47	(% style="color:#333333" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
48	48
49	49	(% style="margin-left: 30.0px;" %)
...	...	@@ -53,28 +53,47 @@
53	53	(% style="color:#333333" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
54	54
55	55	(% style="margin-left: 30.0px;" %)
	59	+(% style="color:#003366" %)**[assigned]** (% style="color:#333333" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942.
	60	+
	61	+(% style="margin-left: 30.0px;" %)
56	56	(% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
57	57
58	58	(% style="margin-left: 30.0px;" %)
59		-M. C. Werner and K. Schneider, "[[From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts>>https://ieeexplore.ieee.org/document/9925656]]," //2022 Forum on Specification & Design Languages (FDL)//, Linz, Austria, 2022, pp. 1-8, doi: 10.1109/FDL56239.2022.9925656.
	65	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Joaquin Aguado and Alejandra Duenas, [[Synchronised Shared Memory and Model Checking: A Proof of Concept>>url:https://ieeexplore.ieee.org/abstract/document/9568373||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08
60	60
	67	+(% style="margin-left: 30.0px;" %)
	68	+==== **Real-Time / Embedded** ====
61	61
62	62	(% style="margin-left: 30.0px;" %)
63		-==== **Safety Analysis / Model Checking** ====
	71	+Saranya Natarajan and David Broman, [[Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics>>url:https://ieeexplore.ieee.org/document/9232935||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color:#333333" %), 2020
64	64
65	65	(% style="margin-left: 30.0px;" %)
66		-(% style="color:#333333" %)J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.
	74	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian, and Twan Basten. 2018. [[Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models>>url:https://dl.acm.org/doi/10.1145/3273905.3273921||shape="rect"]]. In (% style="color:#333333; text-align:left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color:#333333" %) ((% style="color:#333333; text-align:left" %)//RTNS '18//(% style="color:#333333" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
67	67
68	68	(% style="margin-left: 30.0px;" %)
69		-(% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
	77	+Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez. 2021. [[Symmetric distributed applications>>url:https://dl.acm.org/doi/10.1145/3486605.3486786||shape="rect"]]. //Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems//. Association for Computing Machinery.
70	70
71	71	(% style="margin-left: 30.0px;" %)
72		-J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
	80	+(% style="color:#003366" %)**[assigned] **(%%)Y. Bai, O. Rafique and K. Schneider, [[A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications>>url:https://ieeexplore.ieee.org/document/9474190||shape="rect"]], //2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, 2021
73	73
74	74	(% style="margin-left: 30.0px;" %)
75		-L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
	83	+==== **Safety Analysis** ====
76	76
	85	+(% style="margin-left: 30.0px;" %)
	86	+(% style="color:#222222" %)Sven Stefan Krauss, Martin Rejzek, and Christian Hilbes. [[Tool Qualification Considerations for Tools Supporting STPA>>url:https://www.sciencedirect.com/science/article/pii/S1877705815038606||shape="rect"]]. (% style="text-align:left" %)//Procedia Engineering//(% style="color:#222222" %) 128 (2015): 15-24.
77	77
	88	+(% style="margin-left: 30.0px;" %)
	89	+(% style="color:#333333" %)H. Reza, M. Pimple, V. Krishna and J. Hildle, [[A Safety Analysis Method Using Fault Tree Analysis and Petri Nets>>url:https://ieeexplore.ieee.org/document/5070769||shape="rect"]]. (% style="color:#222222" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color:#333333" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
	90	+
	91	+(% style="margin-left: 30.0px;" %)
	92	+(% style="color:#333333" %)J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.
	93	+
	94	+(% style="margin-left: 30.0px;" %)
	95	+(% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
	96	+
	97	+(% style="margin-left: 30.0px;" %)
	98	+(% style="color:#333333" %)D. L. Gurgel, C. M. Hirata and J. De M. Bezerra, [[A rule-based approach for safety analysis using STAMP/STPA>>url:https://ieeexplore.ieee.org/document/7311464||shape="rect"]]. //2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)//, 2015, pp. 7B2-1-7B2-8, doi: 10.1109/DASC.2015.7311464.
	99	+
78	78	=== Master Recommendations ===
79	79
80	80	(% style="margin-left: 30.0px;" %)
...	...	@@ -93,13 +93,27 @@
93	93	(% 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.
94	94
95	95	(% style="margin-left: 30.0px;" %)
96		-Kenwright, L., Roop, P.S., Allen, N., Lall, S., Cascaval, C., Spalink, T., & Izzard, M. (2024). [[Logical Synchrony Networks: A formal model for deterministic distribution>>https://arxiv.org/abs/2402.07433]]. //ArXiv, abs/2402.07433//.
	118	+==== **Real-Time / Embedded** ====
97	97
98	98	(% style="margin-left: 30.0px;" %)
99		-Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. https:~/~/doi.org/10.1145/3576914.3587495
	121	+(% 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
100	100
	123	+(% style="margin-left: 30.0px;" %)
	124	+(% 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.
101	101
102	102	(% style="margin-left: 30.0px;" %)
	127	+(% 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.
	128	+
	129	+(% style="margin-left: 30.0px;" %)
	130	+(% 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.
	131	+
	132	+(% style="margin-left: 30.0px;" %)
	133	+(% 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.
	134	+
	135	+(% style="margin-left: 30.0px;" %)
	136	+(% 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.
	137	+
	138	+(% style="margin-left: 30.0px;" %)
103	103	==== **Safety Analysis / Testing** ====
104	104
105	105	(% style="margin-left: 30.0px;" %)
...	...	@@ -119,15 +119,20 @@
119	119	Milestone
120	120	)))
121	121	|(((
122		-Tue. 16.04 10:00 CAP4 R.1115
	158	+Mo., 24.10., 12:00
123	123	)))|(((
124	124	First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
125	125	)))
126		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	162	+|(% colspan="1" %)(% colspan="1" %)
127	127	(((
	164	+Mo., 24.10., 23:59
	165	+)))|(% colspan="1" %)(% colspan="1" %)
	166	+(((
128	128	Deadline for topic selection (via email to Jette).
129	129	)))
130		-|tbd|(((
	169	+|(((
	170	+Mo., 14.11., 23:59
	171	+)))|(((
131	131	(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
132	132	)))
133	133	|(% colspan="1" %)(% colspan="1" %)
...	...	@@ -137,8 +137,11 @@
137	137	(((
138	138	Individual feedback dates.
139	139	)))
140		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	181	+|(% colspan="1" %)(% colspan="1" %)
141	141	(((
	183	+Mo., 12.12., 23:59
	184	+)))|(% colspan="1" %)(% colspan="1" %)
	185	+(((
142	142	(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
143	143	)))
144	144	|(% colspan="1" %)(% colspan="1" %)
...	...	@@ -148,8 +148,11 @@
148	148	(((
149	149	(% style="color:#172b4d" %)Individual feedback dates.
150	150	)))
151		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	195	+|(% colspan="1" %)(% colspan="1" %)
152	152	(((
	197	+Mo., 09.01., 23:59
	198	+)))|(% colspan="1" %)(% colspan="1" %)
	199	+(((
153	153	(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%)) and admission to program committee (invitation via email)
154	154	)))
155	155	|(% colspan="1" %)(% colspan="1" %)
...	...	@@ -159,33 +159,48 @@
159	159	(((
160	160	(% style="color:#172b4d" %)Review assignment(%%) (via email)
161	161	)))
162		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	209	+|(% colspan="1" %)(% colspan="1" %)
163	163	(((
	211	+Di., 17.01., 23:59
	212	+)))|(% colspan="1" %)(% colspan="1" %)
	213	+(((
164	164	(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
165	165	)))
166		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	216	+|(% colspan="1" %)(% colspan="1" %)
167	167	(((
	218	+Mi., 08.02.
	219	+)))|(% colspan="1" %)(% colspan="1" %)
	220	+(((
168	168	(% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
169	169
170	170	The slides need to be available online or sent to the advisor beforehand (as PDF).
171	171	)))
172		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	225	+|(% colspan="1" %)(% colspan="1" %)
173	173	(((
	227	+Mo., 20.02., 23:59
	228	+)))|(% colspan="1" %)(% colspan="1" %)
	229	+(((
174	174	(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
175	175	)))
176	176	|(% colspan="1" %)(% colspan="1" %)
177	177	(((
178		-tbd, all day
	234	+Mo. 27.02., all day
179	179	)))|(% colspan="1" %)(% colspan="1" %)
180	180	(((
181		-Final presentations
	237	+Final presentations at CAP4 R.1304b
182	182	)))
183	183
184	184	== The Final Presentations ==
185	185
186		-The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
	242	+The presentation of the prepared topic is held during a block seminar at CAP4 R.1304b. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
187	187
	244	+=== Agenda ===
188	188
	246	+
	247	+
	248	+**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/128745476/agenda.pdf?version=1&modificationDate=1677149817000&api=v2||shape="rect"]]** die Agenda als PDF
	249	+
	250	+
189	189	= Schedule and Grading =
190	190
191	191	== Papers, Talks, Review ==
...	...	@@ -198,7 +198,7 @@
198	198
199	199	=== Talk ===
200	200
201		-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.
	263	+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.
202	202
203	203	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.
204	204