Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 24.1 >
edited by Jette Petzold
on 2022/06/17 08:04
To version < 26.1 >
edited by Jette Petzold
on 2022/06/20 08:19
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -41,12 +41,9 @@
41 41  === Bachelor Recommendations ===
42 42  
43 43  (% style="margin-left: 30.0px;" %)
44 -\\
44 +==== **Synchronous** ====
45 45  
46 46  (% style="margin-left: 30.0px;" %)
47 -**Synchronous**
48 -
49 -(% style="margin-left: 30.0px;" %)
50 50  (% style="color: rgb(51,51,51);" %)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.
51 51  
52 52  (% style="margin-left: 30.0px;" %)
... ... @@ -56,12 +56,6 @@
56 56  (% style="color: rgb(51,51,51);" %)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.
57 57  
58 58  (% style="margin-left: 30.0px;" %)
59 -\\
60 -
61 -(% style="margin-left: 30.0px;" %)
62 -(% style="color: rgb(51,51,51);" %)**Languages**
63 -
64 -(% style="margin-left: 30.0px;" %)
65 65  (% 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.
66 66  
67 67  (% style="margin-left: 30.0px;" %)
... ... @@ -74,10 +74,10 @@
74 74  (% style="color: rgb(51,51,51);" %)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.
75 75  
76 76  (% style="margin-left: 30.0px;" %)
77 -\\
68 +(% style="color: rgb(51,51,51);" %)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
78 78  
79 79  (% style="margin-left: 30.0px;" %)
80 -**Rather Embedded**
71 +==== **Real-Time / Embedded** ====
81 81  
82 82  (% style="margin-left: 30.0px;" %)
83 83  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
... ... @@ -86,18 +86,13 @@
86 86  (% style="color: rgb(51,51,51);" %)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: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color: rgb(51,51,51);" %) ((% style="color: rgb(51, 51, 51); text-align: left" %)//RTNS '18//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
87 87  
88 88  (% style="margin-left: 30.0px;" %)
89 -(% style="color: rgb(51,51,51);" %)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
90 -
91 -(% style="margin-left: 30.0px;" %)
92 92  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.
93 93  
94 94  (% style="margin-left: 30.0px;" %)
95 95  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
96 96  
97 -\\
98 -
99 99  (% style="margin-left: 30.0px;" %)
100 -**Safety Analysis**
86 +==== **Safety Analysis** ====
101 101  
102 102  (% style="margin-left: 30.0px;" %)
103 103  (% 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.
... ... @@ -106,10 +106,10 @@
106 106  (% 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.
107 107  
108 108  (% style="margin-left: 30.0px;" %)
109 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)N. Jiang, G. Li and B. Liu, [[Model-based safety analyses of embedded system using stateflow>>url:https://ieeexplore.ieee.org/document/8050084||shape="rect"]]. //2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)//, 2016, pp. 1-6, doi: 10.1109/ICRMS.2016.8050084.
95 +(% 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.
110 110  
111 111  (% style="margin-left: 30.0px;" %)
112 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)G. Chen, Z. Yang, J. Zhao and Z. Fei, [[Dynamic Bayesian networks method of safety analysis based on reliability block diagram>>url:https://ieeexplore.ieee.org/document/7107363||shape="rect"]]. //2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS)//, 2014, pp. 1047-1051, doi: 10.1109/ICRMS.2014.7107363.
98 +(% 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.
113 113  
114 114  (% style="margin-left: 30.0px;" %)
115 115  (% 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.
... ... @@ -117,12 +117,9 @@
117 117  === Master Recommendations ===
118 118  
119 119  (% style="margin-left: 30.0px;" %)
120 -\\
106 +==== **Synchronous** ====
121 121  
122 122  (% style="margin-left: 30.0px;" %)
123 -**Synchronous**
124 -
125 -(% style="margin-left: 30.0px;" %)
126 126  (% style="color: rgb(0,51,102);" %)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.
127 127  
128 128  (% style="margin-left: 30.0px;" %)
... ... @@ -135,12 +135,9 @@
135 135  (% style="color: rgb(0,51,102);" %)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.
136 136  
137 137  (% style="margin-left: 30.0px;" %)
138 -\\
121 +==== **Real-Time / Embedded** ====
139 139  
140 140  (% style="margin-left: 30.0px;" %)
141 -==== **Rather Embedded** ====
142 -
143 -(% style="margin-left: 30.0px;" %)
144 144  (% 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
145 145  
146 146  (% style="margin-left: 30.0px;" %)
... ... @@ -159,22 +159,13 @@
159 159  (% 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.
160 160  
161 161  (% style="margin-left: 30.0px;" %)
162 -\\
142 +==== **Safety Analysis / Testing** ====
163 163  
164 164  (% style="margin-left: 30.0px;" %)
165 -**Safety Analysis / Testing**
166 -
167 -(% style="margin-left: 30.0px;" %)
168 168  (% 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.
169 169  
170 170  (% style="margin-left: 30.0px;" %)
171 171  (% 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.
172 -
173 -(% style="margin-left: 30.0px;" %)
174 -(% 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.
175 -
176 -(% style="margin-left: 30.0px;" %)
177 -(% 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.
178 178  {{/expand}}
179 179  
180 180  = Schedule =
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -131497986
1 +131497990
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131497986/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131497990/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage