Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 16.1 >
edited by Jette Petzold
on 2022/06/16 10:08
To version < 19.1 >
edited by Jette Petzold
on 2022/06/16 11:35
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -50,18 +50,9 @@
50 50  **new:**
51 51  
52 52  (% style="margin-left: 30.0px;" %)
53 -Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
54 -
55 -(% style="margin-left: 30.0px;" %)
56 56  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
57 57  
58 58  (% style="margin-left: 30.0px;" %)
59 -(% style="color: rgb(51,51,51);" %)Saranya Natarajan and David Broman, [[Timed C: An Extension to the C Programming Language for Real-Time Systems>>url:https://ieeexplore.ieee.org/document/8430085||shape="rect"]], //2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//, 2018, pp. 227-239
60 -
61 -(% style="margin-left: 30.0px;" %)
62 -(% style="color: rgb(51,51,51);" %)Suzanne Elashri and Akramul Azim, [[Energy-efficient offloading of real-time tasks using cloud computing>>url:https://link.springer.com/article/10.1007/s10586-020-03086-2||shape="rect"]], //Cluster Comput// 23**, **3273–3288 (2020)
63 -
64 -(% style="margin-left: 30.0px;" %)
65 65  (% 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.
66 66  
67 67  (% style="margin-left: 30.0px;" %)
... ... @@ -94,6 +94,27 @@
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  
88 +(% style="margin-left: 30.0px;" %)
89 +\\
90 +
91 +(% style="margin-left: 30.0px;" %)
92 +**Safety Analysis**
93 +
94 +(% style="margin-left: 30.0px;" %)
95 +(% 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.
96 +
97 +(% style="margin-left: 30.0px;" %)
98 +(% 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.
99 +
100 +(% style="margin-left: 30.0px;" %)
101 +(% 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.
102 +
103 +(% style="margin-left: 30.0px;" %)
104 +(% 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.
105 +
106 +(% style="margin-left: 30.0px;" %)
107 +(% 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.
108 +
97 97  === Master Recommendations ===
98 98  
99 99  (% style="margin-left: 30.0px;" %)
... ... @@ -124,16 +124,26 @@
124 124  (% style="margin-left: 30.0px;" %)
125 125  (% 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.
126 126  
127 -\\
139 +(% style="margin-left: 30.0px;" %)
140 +Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
128 128  
129 129  (% style="margin-left: 30.0px;" %)
130 -(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Zain A. H. Hammadeh, Sophie Quinton, and Rolf Ernst. 2019. [[Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks>>url:https://dl.acm.org/doi/10.1145/3356865||shape="rect"]], (% style="color: rgb(0, 51, 102); text-align: left" %)//ACM Trans. Embed. Comput. Syst.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) 18, 6, Article 121 (November 2019), 25 pages
143 +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//)
131 131  
132 132  (% style="margin-left: 30.0px;" %)
133 133  \\
134 134  
135 135  (% style="margin-left: 30.0px;" %)
136 -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//)
149 +**Safety Analysis**
150 +
151 +(% style="margin-left: 30.0px;" %)
152 +(% 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.
153 +
154 +(% style="margin-left: 30.0px;" %)
155 +(% 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.
156 +
157 +(% style="margin-left: 30.0px;" %)
158 +(% 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.
137 137  {{/expand}}
138 138  
139 139  = Schedule =
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -130678797
1 +130678803
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678797/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678803/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage