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:31
on 2024/02/19 15:31
edited by Alexander Schulz-Rosengarten
on 2024/02/19 15:15
on 2024/02/19 15:15
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -55,10 +55,7 @@ 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. 60 60 61 - 62 62 (% style="margin-left: 30.0px;" %) 63 63 ==== **Safety Analysis / Model Checking** ==== 64 64 ... ... @@ -92,14 +92,8 @@ 92 92 (% style="margin-left: 30.0px;" %) 93 93 (% 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. 94 94 95 -(% style="margin-left: 30.0px;" %) 96 -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//. 97 97 98 98 (% style="margin-left: 30.0px;" %) 99 -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 100 - 101 - 102 -(% style="margin-left: 30.0px;" %) 103 103 ==== **Safety Analysis / Testing** ==== 104 104 105 105 (% style="margin-left: 30.0px;" %)