Summary

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

Details

Page properties

Content

...	...	@@ -37,6 +37,9 @@
37	37	=== Bachelor Recommendations (not yet complete list, more to follow) ===
38	38
39	39	(% style="margin-left: 30.0px;" %)
	40	+==== **Real-Time / Embedded** ====
	41	+
	42	+(% style="margin-left: 30.0px;" %)
40	40	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
41	41
42	42	(% style="margin-left: 30.0px;" %)
...	...	@@ -51,10 +51,37 @@
51	51	(% style="margin-left: 30.0px;" %)
52	52	(% style="letter-spacing: 0.0px;" %)Yecheng Zhao and Haibo Zeng. [[Optimization techniques for time-critical cyber-physical systems>>url:https://dl.acm.org/doi/10.1145/3313151.3313168||shape="rect"]]. In //Proceedings of the Workshop on Design Automation for CPS and IoT// (//DESTION '19//). Association for Computing Machinery, New York, NY, USA, 2019
53	53
	57	+(% style="margin-left: 30.0px;" %)
	58	+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: rgb(51,51,51);" %), 2020
	59	+
	60	+(% style="margin-left: 30.0px;" %)
	61	+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.
	62	+
	63	+(% style="margin-left: 30.0px;" %)
	64	+==== **Safety Analysis** ====
	65	+
	66	+(% style="margin-left: 30.0px;" %)
	67	+(% style="color: rgb(34,34,34);" %)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: rgb(34,34,34);" %) 128 (2015): 15-24.
	68	+
	69	+(% style="margin-left: 30.0px;" %)
	70	+(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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: rgb(34,34,34);" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
	71	+
	72	+(% style="margin-left: 30.0px;" %)
	73	+(% style="color: rgb(51,51,51);" %)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	+
	75	+(% style="margin-left: 30.0px;" %)
	76	+(% style="color: rgb(51,51,51);" %)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	+
	78	+(% style="margin-left: 30.0px;" %)
	79	+(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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.
	80	+
54	54	(% style="color: rgb(23,43,77);" %)
55	55	=== Master Recommendations (not yet complete list, more to follow) ===
56	56
57	57	(% style="margin-left: 30.0px;" %)
	85	+==== **Real-Time / Embedded** ====
	86	+
	87	+(% style="margin-left: 30.0px;" %)
58	58	(% style="color: rgb(0,51,102);" %)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: rgb(0,51,102);" %) Software & Systems Modeling 2019(%%)
59	59
60	60
...	...	@@ -81,6 +81,15 @@
81	81
82	82	(% style="margin-left: 30.0px;" %)
83	83	(% style="color: rgb(0,51,102);" %)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.
	114	+
	115	+(% style="margin-left: 30.0px;" %)
	116	+==== **Safety Analysis / Testing** ====
	117	+
	118	+(% style="margin-left: 30.0px;" %)
	119	+(% style="color: rgb(0,51,102);" %)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.
	120	+
	121	+(% style="margin-left: 30.0px;" %)
	122	+(% style="color: rgb(51,51,51);" %)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: rgb(51,51,51);" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
84	84	{{/expand}}
85	85
86	86	== Schedule ==

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-142606442
	1	+142606443

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606442/SS23 (Embedded Real-Time Systems)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606443/SS23 (Embedded Real-Time Systems)