{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:50Z","timestamp":1750306250452,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1145\/3022099.3022103","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T12:34:59Z","timestamp":1490013299000},"page":"24-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Stochastic Error Propagation Analysis of Model-driven Space Robotic Software Implemented in Simulink"],"prefix":"10.1145","author":[{"given":"Andrey","family":"Morozov","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Janschek","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kr\u00fcger","sequence":"additional","affiliation":[{"name":"European Space Agency, ESTEC, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Schiele","sequence":"additional","affiliation":[{"name":"European Space Agency, ESTEC, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773563.2773639"},{"key":"e_1_3_2_1_2_1","first-page":"84","volume-title":"Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003","author":"Caspi P.","year":"2003","unstructured":"P. Caspi , A. Curic , A. Maignan , C. Sofronis , and S. Tripakis . Translating Discrete-Time Simulink to Lustre. In Embedded Software , Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 , Proceedings , pages 84 -- 99 , 2003 . P. Caspi, A. Curic, A. Maignan, C. Sofronis, and S. Tripakis. Translating Discrete-Time Simulink to Lustre. In Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pages 84--99, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_3_2_1_4_1","volume-title":"Accepted to Proceeding of 7th IFAC Symposium on Mechatronic Systems","author":"Ding K.","year":"2016","unstructured":"K. Ding , T. Mutzke , A. Morozov , and K. Janschek . Automatic Transformation of UML System Models for Model-based Error Propagation Analysis of Mechatronic Systems . In Accepted to Proceeding of 7th IFAC Symposium on Mechatronic Systems , Loughborough University , UK. , 2016 . K. Ding, T. Mutzke, A. Morozov, and K. Janschek. Automatic Transformation of UML System Models for Model-based Error Propagation Analysis of Mechatronic Systems. In Accepted to Proceeding of 7th IFAC Symposium on Mechatronic Systems, Loughborough University, UK., 2016."},{"key":"e_1_3_2_1_5_1","unstructured":"ESA. METERON: Multi-Purpose End-To-End Robotic Operation Network. http:\/\/esa-telerobotics.net\/meteron 2014.  ESA. METERON: Multi-Purpose End-To-End Robotic Operation Network. http:\/\/esa-telerobotics.net\/meteron 2014."},{"key":"e_1_3_2_1_6_1","volume-title":"http:\/\/esa-telerobotics.net\/meteron\/flight-experiments\/haptics-2","author":"ESA.","year":"2015","unstructured":"ESA. HAPTICS-2. http:\/\/esa-telerobotics.net\/meteron\/flight-experiments\/haptics-2 , 2015 . ESA. HAPTICS-2. http:\/\/esa-telerobotics.net\/meteron\/flight-experiments\/haptics-2, 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549757"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMECH.2015.7083940"},{"key":"e_1_3_2_1_10_1","unstructured":"MathWorks. IEC 61508 Support in Matlab and Simulink. http:\/\/www.mathworks.de\/automotive\/standards\/iec-61508.html.  MathWorks. IEC 61508 Support in Matlab and Simulink. http:\/\/www.mathworks.de\/automotive\/standards\/iec-61508.html."},{"key":"e_1_3_2_1_11_1","unstructured":"MathWorks. IEC Certification Kit. http:\/\/www.mathworks.de\/products\/iec-61508\/.  MathWorks. IEC Certification Kit. http:\/\/www.mathworks.de\/products\/iec-61508\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03371"},{"key":"e_1_3_2_1_13_1","first-page":"229","volume-title":"Tagungsband Fachtagung Mechatronik","author":"Morozov A.","year":"2013","unstructured":"A. Morozov and K. Janschek . Case study results for probabilistic error propagation analysis of a mechatronic system . Tagungsband Fachtagung Mechatronik , pages 229 -- 234 , 2013 . A. Morozov and K. Janschek. Case study results for probabilistic error propagation analysis of a mechatronic system. Tagungsband Fachtagung Mechatronik, pages 229--234, 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2014.09.005"},{"key":"e_1_3_2_1_15_1","volume-title":"ErrorPro: Software Tool for Stochastic Error Propagation Analysis. In 1st International Workshop on Resiliency in Embedded Electronic Systems","author":"Morozov A.","year":"2015","unstructured":"A. Morozov , R. Tuk , and K. Janschek . ErrorPro: Software Tool for Stochastic Error Propagation Analysis. In 1st International Workshop on Resiliency in Embedded Electronic Systems , Amsterdam, The Netherlands, pages 59--60 , 2015 . A. Morozov, R. Tuk, and K. Janschek. ErrorPro: Software Tool for Stochastic Error Propagation Analysis. In 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, The Netherlands, pages 59--60, 2015."},{"key":"e_1_3_2_1_16_1","volume-title":"OMG Unified Modeling Language (OMG UML)","author":"OMG.","year":"2015","unstructured":"OMG. OMG Unified Modeling Language (OMG UML) , 2015 . OMG. OMG Unified Modeling Language (OMG UML), 2015."},{"key":"e_1_3_2_1_17_1","volume-title":"CERN\/IT","author":"Panzer-Steindel B.","year":"2007","unstructured":"B. Panzer-Steindel . Data integrity . CERN\/IT , 2007 . B. Panzer-Steindel. Data integrity. CERN\/IT, 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.03.007"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555372"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2010.5551374"},{"key":"e_1_3_2_1_21_1","volume-title":"OMER 4 Post Workshop Proceedings","author":"Sj\u00f6stedt C.-J.","year":"2008","unstructured":"C.-J. Sj\u00f6stedt , J. Shi , M. T\u00f6rngren , D. Servat , D. Chen , V. Ahlsten , and H. L\u00f6nn . Mapping Simulink to UML in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping . In OMER 4 Post Workshop Proceedings , Apr. 2008 . C.-J. Sj\u00f6stedt, J. Shi, M. T\u00f6rngren, D. Servat, D. Chen, V. Ahlsten, and H. L\u00f6nn. Mapping Simulink to UML in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping. In OMER 4 Post Workshop Proceedings, Apr. 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"e_1_3_2_1_23_1","unstructured":"V. Vyatkin. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design. ISA 2007.   V. Vyatkin. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design. ISA 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.401.0003"}],"event":{"name":"MORSE '16: Model-Driven Robot Software Engineering","acronym":"MORSE '16","location":"Leipzig Germany"},"container-title":["Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3022099.3022103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3022099.3022103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:54Z","timestamp":1750220634000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3022099.3022103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":24,"alternative-id":["10.1145\/3022099.3022103","10.1145\/3022099"],"URL":"https:\/\/doi.org\/10.1145\/3022099.3022103","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]},"assertion":[{"value":"2016-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}