Summary

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

Details

Page properties

Content

...	...	@@ -37,7 +37,7 @@
37	37	=== Bachelor Recommendations ===
38	38
39	39	(% style="margin-left: 30.0px;" %)
40		-==== **Embedded and Real-Time** ====
	40	+==== **Synchronous** ====
41	41
42	42	(% style="margin-left: 30.0px;" %)
43	43	(% 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.
...	...	@@ -65,21 +65,25 @@
65	65
66	66
67	67	(% style="margin-left: 30.0px;" %)
68		-==== **Railway** ====
	68	+==== **Safety Analysis / Model Checking** ====
69	69
70		-Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376).
	70	+(% style="margin-left: 30.0px;" %)
	71	+**[assigned]** (% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
71	71
72		-P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.
	73	+(% style="margin-left: 30.0px;" %)
	74	+**[assigned]** (% 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.
73	73
74		-Hertel, B.; Pagenkopf, J.; König, J. "[[Challenges in the (Re-)Connection of Peripheral Areas to the Rail Network from a Rolling Stock Perspective: The Case of Germany.>>url:https://www.mdpi.com/2624-8921/5/3/63]]" Vehicles 2023, //5//, pp. 1138-1148. https:~/~/doi.org/10.3390/vehicles5030063
	76	+(% style="margin-left: 30.0px;" %)
	77	+**[assigned]** 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.
75	75
76		-There are more bachelor recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
	79	+(% style="margin-left: 30.0px;" %)
	80	+**[assigned]** 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.
77	77
78	78
79	79	=== Master Recommendations ===
80	80
81	81	(% style="margin-left: 30.0px;" %)
82		-==== **Embedded and Real-Time** ====
	86	+==== **Synchronous** ====
83	83
84	84	(% style="margin-left: 30.0px;" %)
85	85	(% style="color:#003366" %)Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, and Rolf Ernst. 2017. [[Temporal properties in automotive control software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139279||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 98-107.
...	...	@@ -113,20 +113,15 @@
113	113
114	114
115	115	(% style="margin-left: 30.0px;" %)
116		-==== **Railway** ====
	120	+==== **Safety Analysis / Testing** ====
117	117
118		-Ferlin, A., Qiu, S., Bon, P., Sallak, M., Dutilleul, S. C., Schön, W., & Cherfi-Boulanger, Z. (2018). [[An automated method for the study of human reliability in railway supervision systems>>url:https://ieeexplore.ieee.org/document/8283579]]. //IEEE Transactions on Intelligent Transportation Systems//, //19//(10), 3360-3375.
	122	+(% style="margin-left: 30.0px;" %)
	123	+(% style="color:#003366" %)Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, and Yago Isasi. 2018. [[Enabling Model Testing of Cyber-Physical Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239409||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, 176-186.
119	119
120		-Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "[[Standardisation considerations for autonomous train control.>>url:https://link.springer.com/chapter/10.1007/978-3-031-19762-8_22]]" Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.
	125	+(% style="margin-left: 30.0px;" %)
	126	+(% style="color:#333333" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
121	121
122		-Basile, D., ter Beek, M.H., Legay, A. (2020). [[Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego>>url:https://link.springer.com/chapter/10.1007/978-3-030-50086-3_1]]. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. [[https:~~/~~/doi.org/10.1007/978-3-030-50086-3_1>>url:https://doi.org/10.1007/978-3-030-50086-3_1]]
123	123
124		-G. Krummenacher, C. S. Ong, S. Koller, S. Kobayashi and J. M. Buhmann, "[[Wheel Defect Detection With Machine Learning>>url:https://ieeexplore.ieee.org/document/8006280]]," in //IEEE Transactions on Intelligent Transportation Systems//, vol. 19, no. 4, pp. 1176-1187, April 2018, doi: 10.1109/TITS.2017.2720721.
125		-
126		-Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. 2011. [[A formal approach for the construction and verification of railway control systems.>>url:https://dl.acm.org/doi/10.1007/s00165-009-0143-6]] Form. Asp. Comput. 23, 2 (Mar 2011), 191–219. [[https:~~/~~/doi.org/10.1007/s00165-009-0143-6>>url:https://doi.org/10.1007/s00165-009-0143-6]]
127		-
128		-There are more master recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
129		-
130	130	= Schedule =
131	131
132	132	== Dates in the semester ==