Changes for page 2023 Embedded Real-Time Systems
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. jep1 +XWiki.nre - Content
-
... ... @@ -64,7 +64,7 @@ 64 64 (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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. 65 65 66 66 (% style="margin-left: 30.0px;" %) 67 -(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369. 67 +(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369. 68 68 69 69 (% style="margin-left: 30.0px;" %) 70 70 ==== **Safety Analysis/Model Checking** ==== ... ... @@ -122,7 +122,7 @@ 122 122 (% 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. 123 123 124 124 (% style="margin-left: 30.0px;" %) 125 -(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Amrani, M., Blouin, D., Heinrich, R. (% style="color: rgb(0,51,102);" %)//et al.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) [[Multi-paradigm modelling for cyber–physical systems: a descriptive framework.>>url:https://link.springer.com/article/10.1007/s10270-021-00876-z||shape="rect"]] (% style="color: rgb(0,51,102);" %)//Softw Syst Model//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) (% style="color: rgb(0,51,102);" %)**20**(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %), 611–639 (2021). [[https:~~/~~/doi.org/10.1007/s10270-021-00876-z>>url:https://doi.org/10.1007/s10270-021-00876-z||shape="rect"]] 125 +(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51); color: rgb(34, 34, 34); color: rgb(0, 0, 0)" %)**[assigned] **(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Amrani, M., Blouin, D., Heinrich, R. (% style="color: rgb(0,51,102);" %)//et al.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) [[Multi-paradigm modelling for cyber–physical systems: a descriptive framework.>>url:https://link.springer.com/article/10.1007/s10270-021-00876-z||shape="rect"]] (% style="color: rgb(0,51,102);" %)//Softw Syst Model//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) (% style="color: rgb(0,51,102);" %)**20**(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %), 611–639 (2021). [[https:~~/~~/doi.org/10.1007/s10270-021-00876-z>>url:https://doi.org/10.1007/s10270-021-00876-z||shape="rect"]] 126 126 127 127 (% style="margin-left: 30.0px;" %) 128 128 ==== **Safety Analysis / Testing** ====
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -154468 4091 +154468353 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/154468 409/SS23 (Embedded Real-Time Systems)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/154468353/SS23 (Embedded Real-Time Systems)