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

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.jep
Content
... ... @@ -41,9 +41,12 @@
41 41  === Bachelor Recommendations ===
42 42  
43 43  (% style="margin-left: 30.0px;" %)
44 -==== **Synchronous** ====
44 +\\
45 45  
46 46  (% style="margin-left: 30.0px;" %)
47 +**Synchronous**
48 +
49 +(% style="margin-left: 30.0px;" %)
47 47  (% 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.
48 48  
49 49  (% style="margin-left: 30.0px;" %)
... ... @@ -53,6 +53,12 @@
53 53  (% 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.
54 54  
55 55  (% 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;" %)
56 56  (% 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.
57 57  
58 58  (% style="margin-left: 30.0px;" %)
... ... @@ -65,10 +65,10 @@
65 65  (% 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.
66 66  
67 67  (% style="margin-left: 30.0px;" %)
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
77 +\\
69 69  
70 70  (% style="margin-left: 30.0px;" %)
71 -==== **Real-Time / Embedded** ====
80 +**Rather Embedded**
72 72  
73 73  (% style="margin-left: 30.0px;" %)
74 74  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
... ... @@ -77,13 +77,18 @@
77 77  (% 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.
78 78  
79 79  (% 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;" %)
80 80  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.
81 81  
82 82  (% style="margin-left: 30.0px;" %)
83 83  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
84 84  
97 +\\
98 +
85 85  (% style="margin-left: 30.0px;" %)
86 -==== **Safety Analysis** ====
100 +**Safety Analysis**
87 87  
88 88  (% style="margin-left: 30.0px;" %)
89 89  (% 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.
... ... @@ -103,9 +103,12 @@
103 103  === Master Recommendations ===
104 104  
105 105  (% style="margin-left: 30.0px;" %)
106 -==== **Synchronous** ====
120 +\\
107 107  
108 108  (% style="margin-left: 30.0px;" %)
123 +**Synchronous**
124 +
125 +(% style="margin-left: 30.0px;" %)
109 109  (% 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.
110 110  
111 111  (% style="margin-left: 30.0px;" %)
... ... @@ -118,9 +118,12 @@
118 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.
119 119  
120 120  (% style="margin-left: 30.0px;" %)
121 -==== **Real-Time / Embedded** ====
138 +\\
122 122  
123 123  (% style="margin-left: 30.0px;" %)
141 +==== **Rather Embedded** ====
142 +
143 +(% style="margin-left: 30.0px;" %)
124 124  (% 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
125 125  
126 126  (% style="margin-left: 30.0px;" %)
... ... @@ -139,9 +139,12 @@
139 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.
140 140  
141 141  (% style="margin-left: 30.0px;" %)
142 -==== **Safety Analysis / Testing** ====
162 +\\
143 143  
144 144  (% style="margin-left: 30.0px;" %)
165 +**Safety Analysis / Testing**
166 +
167 +(% style="margin-left: 30.0px;" %)
145 145  (% 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.
146 146  
147 147  (% style="margin-left: 30.0px;" %)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -131497988
1 +131497986
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131497988/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/131497986/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage