Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 23.1 >
edited by Jette Petzold
on 2022/06/17 07:28
To version < 25.1 >
edited by Alexander Schulz-Rosengarten
on 2022/06/20 07:38
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.jep
1 +XWiki.als
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.
... ... @@ -117,21 +117,9 @@
117 117  === Master Recommendations ===
118 118  
119 119  (% style="margin-left: 30.0px;" %)
120 -(% style="color: rgb(0,51,102);" %)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.
106 +==== **Synchronous** ====
121 121  
122 122  (% style="margin-left: 30.0px;" %)
123 -(% 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.
124 -
125 -(% style="margin-left: 30.0px;" %)
126 -(% 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.
127 -
128 -(% style="margin-left: 30.0px;" %)
129 -\\
130 -
131 -(% style="margin-left: 30.0px;" %)
132 -**Synchronous**
133 -
134 -(% style="margin-left: 30.0px;" %)
135 135  (% 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.
136 136  
137 137  (% style="margin-left: 30.0px;" %)
... ... @@ -141,10 +141,10 @@
141 141  Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
142 142  
143 143  (% style="margin-left: 30.0px;" %)
144 -\\
118 +(% 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.
145 145  
146 146  (% style="margin-left: 30.0px;" %)
147 -==== **Rather Embedded** ====
121 +==== **Real-Time / Embedded** ====
148 148  
149 149  (% style="margin-left: 30.0px;" %)
150 150  (% 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
... ... @@ -159,12 +159,15 @@
159 159  (% style="color: rgb(0,51,102);" %)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.
160 160  
161 161  (% style="margin-left: 30.0px;" %)
162 -\\
136 +(% style="color: rgb(0,51,102);" %)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.
163 163  
164 164  (% style="margin-left: 30.0px;" %)
165 -**Safety Analysis / Testing**
139 +(% 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.
166 166  
167 167  (% style="margin-left: 30.0px;" %)
142 +==== **Safety Analysis / Testing** ====
143 +
144 +(% 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;" %)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -130678809
1 +131497988
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678809/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131497988/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage