{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,8]]，“日期-时间”：“2024-09-08T09:33:59Z”，“时间戳”：1725788039880}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：24，“出版者”：“ACM”，“许可证”：[{“开始”:{“日期-零件”：[2016,7,1]]，“日期时间”：“2016-07-01T00:00:00Z”，“时间戳”：146733120000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_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“，”类型“：”进程-文章“，“created”：{“date-parts”：[[2017,3,20]]，“date-time”：“2017-03-20T12:34:59Z”，“timestamp”：1490013299000}，“page”：“24-31”，“update-policy”：”http://\/dx.doi.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：8，”title“：[”Simulink中实现的模型驱动空间机器人软件的随机错误传播分析“]，”prefix“：“10.1145”，“作者”：[{“given”：“Andrey”，“family”：“Morozov”，“sequence”：“first”，“affiliation”：[}“name”：“Technische University\u00e4t Dresden，Dresten，Germany”}]}，{“给定”：“Klaus”，“家族”：“Janschek”，“序列”：“additional”，“从属关系”：[[{”name“Technisch University\ u00e4 t Dresmen，Dressden，Gemanny”}]}，“：”Thomas“，”family“：”Kr\u00fcger“，“sequence”：“additional”，“affiliation”：[{“name”：“European Space Agency，ESTEC，The Netherlands”}]}，{“given”：“Andr\u00e9”，“family”：“Schiele”，“se序列”：“附加的”，“从属关系”：[[{”name“：”Europeam Space Agence，ESTEC-，The Netherland“}]]，“member”：“320”，“published-online”：{“date-parts”：[[2016,7]}、“reference”：[}“key”：”e_1_3_2_1_1_1_1“”，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/2773563.2773639”}，{“key”：“e_1_3_2_1_1”，”首页“：“84”，“volume-title”：“第三届国际会议，EMSOFT 2003，费城，宾夕法尼亚州，美国，2003年10月13-15日”，“author”：“Caspi P.”，年：“2003”，“unstructured”：“P.Caspi，A.Curic，A.Maignan，C.Sofronis，and S。特里帕基斯。将离散时间Simulink翻译为Lustre。《嵌入式软件》，第三届国际会议，EMSOFT 2003，费城，宾夕法尼亚州，美国，2003年10月13-15日，会议记录，第84-99页，2003年。P.Caspi、A.Curic、A.Maignan、C.Sofronis和S.Tripakis。将离散时间Simulink翻译为Lustre。嵌入式软件，第三届国际会议，EMSOFT 2003，美国宾夕法尼亚州费城，2003年10月13日至15日，会议记录，第84-992003页Ding K.”，“key”：“e_1_3_2_1_4_1”，“unstructured”：“K.Ding，T.Mutzke，A.Morozov，and K.Janschek。用于机电系统基于模型的错误传播分析的UML系统模型的自动转换。2016年，英国拉夫堡大学，第七届IFAC机电系统研讨会会议纪要。K.Ding、T.Mutzke、A.Morozov和K.Janschek。用于机电系统基于模型的错误传播分析的UML系统模型的自动转换。《2016年英国拉夫堡大学第七届IFAC机电系统研讨会论文集》，}，{“key”：“e_1_3_2_1_5_1”，“unstructured”：“ESA.METERON:多用途端到端机器人操作网络。http:\/\/ESA-telerobots.net\/METERON 2014。欧洲航天局。METERON：多用途端到端机器人操作网络。http://\/esa-telerobotics.net\/METERON 2014.“}，{“volume-title”：“http://\/esa-telerototics.net\/METERON\/flight-experiments\/haptics-2”，“年份”：“2015”，“作者”：“esa.”，“密钥”：“e_1_3_2_1_6_1”，“非结构化”：“欧空局haptics-2”。http:\/\/esa-telerobotics.net\/meteron\/flight-experiments\/haptics-22015年。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_1_8_1“，”doi-assert-by“：”publisher“，“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/IMECH.2015.7083940“}，{”key“：”e_1_3_2_1_10_1“，”非结构化“：”数学工程。Matlab和Simulink中的IEC 61508支持。http://www.mathworks.de\/automotive\/standards\/iec-61508.html。数学工程。Matlab和Simulink中的IEC 61508支持。http://www.mathworks.de/automotion\/standards\/iec-61508.html。“}，{”key“：”e_1_3_2_11_1“，”unstructured“：”MathWorks.IEC Certification Kit.http://www.MathWorks.de\/products\/IEC-61508\/.MathWorks.IEC CertificationKit.http://www.MathWorks.de\/products\/IEC-6508\/.“}”，{“key”：“e_1_ 3_2_12_1”，“doi-asserted-by”：“publisher”，“doi”：“10.3182\/20110828-6-IT-1002.03371”}，}“key”：“e_1_3_2_13_1”，“首页”：“229“，“volume-title”：“Tagungsband Fachtagung Mechatronik”，“author”：“Morozov A.”，“year”：“2013”，“unstructured”：“A.Morozev and K.Janschek”。机电系统概率误差传播分析的案例研究结果。Tagungsband Fachtagung Mechatronik，第229-234页，2013年。A.Morozov和K.Janschek。机电系统概率误差传播分析的案例研究结果。Tagungsband Fachtagung Mechatronik，第229--234页，2013。“}，{”key“：”e_1_3_2_14_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.mechatronics.2014.09.005”}，“volume-title”：“ErrorPro：随机错误传播分析的软件工具。在第一届嵌入式电子系统弹性国际研讨会上”，“年份”：“2015”，“作者”：“莫罗佐夫A.”，“key”：“e_1_3_2_1_15_1”，“非结构化”：“A.莫罗佐夫·杜克和K.詹斯克。ErrorPro：随机错误传播分析的软件工具。2015年，荷兰阿姆斯特丹，第一届嵌入式电子系统弹性国际研讨会，第59-60页。A.Morozov、R.Tuk和K.Janschek。ErrorPro：随机错误传播分析的软件工具。第1届嵌入式电子系统弹性国际研讨会，荷兰阿姆斯特丹，第59-60页，2015年。OMG统一建模语言（OMG UML），2015年。“：”10.1016\/j.connengprac.2004.03.007“}，{“key”：“e_1_3_2_19_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1555349.1555372“}”，{”key“：”e_1_ 3_2_1_20_1“，”doi-assert-by“：”publisher“，“doi”：“10.1109\/SIES.2010.5551374”}，“volume-title”：“OMER 4 Post Workshop Proceedings”，“year”：“2008”，“author”：“Sj\u00f6stedt C.-j.“，”键“：”e_1_3_2_1_21_1“，”非结构化“：”C.-J.Sj\u00f6stedt、J.Shi、M.T\u00f 6rngren、D.Servat、D.Chen、V.Ahlsten和H.L\u00f26nn。在嵌入式系统设计中将Simulink映射到UML：研究场景以及结构和行为映射。在OMER 4研讨会后会议记录中，2008年4月。C.-J.Sj\u00f6stedt、J.Shi、M.T\u00f 6rngren、D.Servat、D.Chen、V.Ahlsten和H.L\u00f26nn。嵌入式系统设计中Simulink到UML的映射：研究场景以及结构和行为映射。在OMER 4研讨会后会议记录，2008年4月。“}，{”key“：”e_1_3_2_1_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/111380.113834“}”，{“key”：“e_1_ 3_2_1_2 3_1”，“unstructured”：“V.Vyatkin.IEC 61499嵌入式和分布式控制系统设计的功能块。ISA 2007。维亚特金。IEC 61499嵌入式和分布式控制系统设计功能块。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”，“缩写词”：“MORSE'16”，“location”：“Leipzig Germany”}，“container-title”：[“Model-Driven Robot Software Engineering第三次研讨会论文集”]，“original title”：[]，“link”：[{“URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3022099.3022103“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,13]]，”date-time“：“2023-01-13T19:14Z”，”timestamp“：1673637254000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3022099.3022103“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期parts“：[[2016,7]]}，“引用计数”：24，“alternative-id”：[“10.1145\/302099.3022102”，“10.1145 \/302099”]，“URL”：“http://\/dx.doi.org\/10.1145 \/3020993022103”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2016,7]]}，”断言“：[{“值”：“2016-07-01“，”order“：2，”name“：”published“，”label“：”published“，”group“：{“name”：”publication_history“，”标签“：”publication history“}}]}}