Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -50,9 +50,6 @@
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;" %)
...	...	@@ -94,6 +94,15 @@
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
	94	+(% style="margin-left: 30.0px;" %)
	95	+\\
	96	+
	97	+(% style="margin-left: 30.0px;" %)
	98	+**Safety Analysis**
	99	+
	100	+(% style="margin-left: 30.0px;" %)
	101	+(% 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.
	102	+
97	97	=== Master Recommendations ===
98	98
99	99	(% style="margin-left: 30.0px;" %)
...	...	@@ -124,16 +124,20 @@
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		-\\
	133	+(% style="margin-left: 30.0px;" %)
	134	+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
	137	+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//)
	143	+**Safety Analysis**
	144	+
	145	+(% style="margin-left: 30.0px;" %)
	146	+\\
137	137	{{/expand}}
138	138
139	139	= Schedule =

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-130678797
	1	+130678799

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/130678799/WS22/23 (Synchronous Languages)