Changes for page 2024 Synchronous Languages
Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
>
edited by Alexander Schulz-Rosengarten
on 2024/02/19 15:15
on 2024/02/19 15:15
edited by Jette Petzold
on 2024/02/20 11:29
on 2024/02/20 11:29
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. als1 +XWiki.jep - Content
-
... ... @@ -55,8 +55,17 @@ 55 55 (% style="margin-left: 30.0px;" %) 56 56 (% style="color:#333333" %)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. 57 57 58 +(% style="margin-left: 30.0px;" %) 59 +M. C. Werner and K. Schneider, "[[From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts>>https://ieeexplore.ieee.org/document/9925656]]," //2022 Forum on Specification & Design Languages (FDL)//, Linz, Austria, 2022, pp. 1-8, doi: 10.1109/FDL56239.2022.9925656. 58 58 59 59 (% style="margin-left: 30.0px;" %) 62 +Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. [[https:~~/~~/doi.org/10.1145/3576914.3587495>>https://doi.org/10.1145/3576914.3587495]] 63 + 64 +(% style="margin-left: 30.0px;" %) 65 +Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])// 66 + 67 + 68 +(% style="margin-left: 30.0px;" %) 60 60 ==== **Safety Analysis / Model Checking** ==== 61 61 62 62 (% style="margin-left: 30.0px;" %) ... ... @@ -89,8 +89,26 @@ 89 89 (% style="margin-left: 30.0px;" %) 90 90 (% style="color:#003366" %)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. 91 91 101 +(% style="margin-left: 30.0px;" %) 102 +Kenwright, L., Roop, P.S., Allen, N., Lall, S., Cascaval, C., Spalink, T., & Izzard, M. (2024). [[Logical Synchrony Networks: A formal model for deterministic distribution>>https://arxiv.org/abs/2402.07433]]. //ArXiv, abs/2402.07433//. 92 92 93 93 (% style="margin-left: 30.0px;" %) 105 +K. Didier, A. Cohen, D. Potop-Butucaru and A. Gauffriau, "[[Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software>>https://ieeexplore.ieee.org/document/8843684]]," //2019 19th International Conference on Application of Concurrency to System Design (ACSD)//, Aachen, Germany, 2019, pp. 43-52, doi: 10.1109/ACSD.2019.00009. 106 + 107 +(% style="margin-left: 30.0px;" %) 108 +Timothy Bourke, Vincent Bregeon, and Marc Pouzet. [[Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints>>https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.1]]. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 1:1-1:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023) [[https:~~/~~/doi.org/10.4230/LIPIcs.ECRTS.2023.1>>url:https://doi.org/10.4230/LIPIcs.ECRTS.2023.1]] 109 + 110 +(% style="margin-left: 30.0px;" %) 111 +Pascal Fradet, Alain Girault, and Alexandre Honorat. 2023. [[Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization>>https://dl.acm.org/doi/10.1145/3589610.3596280]]. In Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2023). Association for Computing Machinery, New York, NY, USA, 76–86. [[https:~~/~~/doi.org/10.1145/3589610.3596280>>https://doi.org/10.1145/3589610.3596280]] 112 + 113 +(% style="margin-left: 30.0px;" %) 114 +Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. [[https:~~/~~/doi.org/10.1145/3609134>>https://doi.org/10.1145/3609134]] 115 + 116 +(% style="margin-left: 30.0px;" %) 117 +Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]] 118 + 119 + 120 +(% style="margin-left: 30.0px;" %) 94 94 ==== **Safety Analysis / Testing** ==== 95 95 96 96 (% style="margin-left: 30.0px;" %) ... ... @@ -99,6 +99,7 @@ 99 99 (% style="margin-left: 30.0px;" %) 100 100 (% 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. 101 101 129 + 102 102 = Schedule = 103 103 104 104 == Dates in the semester == ... ... @@ -110,11 +110,11 @@ 110 110 Milestone 111 111 ))) 112 112 |((( 113 -Tue. 16.04 10:00 CAP4 R.1115141 +Tue., 16.04 10:00 114 114 )))|((( 115 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction. 143 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4. 116 116 ))) 117 -|(% colspan="1" %) tbd|(% colspan="1" %)(% colspan="1" %)145 +|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %) 118 118 ((( 119 119 Deadline for topic selection (via email to Jette). 120 120 ))) ... ... @@ -166,7 +166,7 @@ 166 166 ))) 167 167 |(% colspan="1" %)(% colspan="1" %) 168 168 ((( 169 - tbd, all day197 +Mo., 15.07, all day 170 170 )))|(% colspan="1" %)(% colspan="1" %) 171 171 ((( 172 172 Final presentations