｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,9]]，“date time”：“2024-09-09T19:54:55Z”，“timestamp”：1725909895584｝，“publisher location”：“Cham”，“reference count”：33，“publisher”：“Springer International Publishing”，“isbn type”：[｛“type”：“print”，“value”：“9783319662831”｝，｛“type”：“electronic”，“value”：“9783319662848”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：14832288000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[2017,1]，“日期-时间”：“2017-01-01T00:00:00Z“，“时间戳”：14832288000000}，“内容-版本”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2017]]}，”DOI“：”10.1007\/978-319-66284-8_11“，”type“：”book-capter“，”created“：{”date-ports“：[2017]，9,2]]，“日期-时间”：“2017-09-02T12:14:30Z”，“时间戳”：1504354470000}，“页面”：“114-126”，“源”：“Crossref”，“is-referenced-by-count”：1，“标题”：[“使用反射状态图提高安全关键CPS的可靠性”]，“前缀”：“10.1007”，《作者》：[{“给定”：“Miren”，”family“：”Illarramendi“，”sequence“：”first“，”affiliation“：[]}，{“已知”：“Leire”，“affiliation”：[]}，{“given”：“Xabier”，“family”：“Elkorobarrutia”，“sequence”：“additional”，“affaliation”:[]}，{”given“：Goiuria”，”family“：”Sagardui“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2017,9,27]]}；“reference”：[{“key”：”11_CR1“，“doi-as”serted-by“：”crossref“，”非结构化“：“Derler，P.，Lee，E.A.，Vincentelli，A.S.：建模网络物理系统。见：CPS专刊，第13\u201328页。IEEE（2012）“，“DOI”：“10.1109\/JPROC.2011.2160929”}，{“key”：“11_CR2”，“unstructured”：“IEC 61508:电气/电子/可编程电子安全相关系统的功能安全（2010）”}、{“密钥”：“11-CR3”，“非结构化”：“ISO 26262:道路车辆-功能安全（2012）”}.，{CENELEC:EN50128铁路应用-通信、信号和处理系统-铁路控制和保护系统软件（2012）RTCA和EUROCAE。DO-178B:机载系统和设备认证中的软件注意事项（1992）“}，{“问题”：“7”，“关键”：“11_CR7”，”doi-asserted-by“：“publisher”，“首页”：“39”，“doi”：“10.1109\/2.56851”，“卷”：“23”，“作者”：“J-C Laprie”，“年份”：“1990”，“非结构化”：“Laprie，J.-C.，Arlat，J.，Beounes，C.，Kanoun，K.：硬件和软件容错体系结构的定义和分析。计算机23（7），39\u201351（1990）。doi:10.1109 \/2.56851“，”journal-title“：”Computer“}，{”key“：”11_CR8“，”unstructured“：”Laprie，J.，Kanoun，K.：“软件可靠性和系统可靠性。In：《软件可靠性工程手册》（1996）“}”，{“issue”：“1”，“key”：“11_CR9”，“doi-asserted-by”：“crossref”，“first-pages”：“11”，“doi”：“10.1109\/TDSC.2004.2”，“volume”：”1“，“author”：“”A Avizienis，“年份”：“2004年”，“非结构化”：“Avizienes，A.，Laprie，J.-C.，Randell，B.，Landwehr，C.：可靠和安全计算的基本概念和分类。IEEE传输。可靠的安全计算。1（1），11\u201333（2004）“，“期刊标题”：“IEEE Trans。可靠的安全计算。“}，{”key“：”11_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Heimerdinger，W.L.，Weinstock，C.B.：系统容错的概念框架。技术报告，卡内基梅隆大学（1992年）“，”doi“：”10.21236\/ADA258467“}”，{“key”：“11_CR11”，“doi-assert-by”：“crossreff”，“first page”：”17“，”doi“：“10.1109\/54.735923”，“volume”“15”“，”作者“：”H Al-Asaad”，“年份”：“1998年”，“非结构化”：“Al-Asaid，H，Murray，B.，Hayes，J.：嵌入式系统的在线BIST。IEEE设计。测试计算。15，17\u201324（1998）“，“期刊标题”：“IEEE Des。测试计算。“}，{”key“：”11_CR12“，”unstructured“：”Havelund，K.“：可靠的软件：测试和监控。http://\/www.runtime-verification.org\/course09“}”，{“key”：“11_CR13”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”213“，”doi“：”10.1007\/3-540-45937-5_16“，”“volume-title”：”编译器构造“，”作者“：”GC Necula”，“年份”：“2002年”，“非结构化”：“Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W.：CIL：C程序分析和转换的中间语言和工具。收录：Horspool，R.N.（编辑）CC 2002。LNCS，第2304卷，第213\u2013228页。斯普林格，海德堡（2002）。doi:10.1007\/3-540-45937-5_16“}，{“key”：“11_CR14”，“unstructured”：“Valgrind.http:\/\/Valgrind.org.Accessed 2017年6月14日”}，}“key:”11_CR15“，”unstructure“：”字节码工程库.http:\/\/commons.apache.org\/property\/comonommons-bcel.Accessed2017年6月份14日”{“密钥”：“11-CR16”，“doi-asserted-by”：“crossref”，“非结构化”：“Fabre，J.-C.，Killijian，M.O.，Taiani，F.：经验教训，使用反射计算的汽车应用程序的稳健性（2011年）Lu，C.，Fabre，J.-C.，Killijian，M.-O.：汽车领域模块化多层软件的健壮性：基于包装的方法。In：提交给ETFA（2009）的常规论文“，”DOI“：”10.1109\/ETFA.2009.5347121“}，{“key”：“11_CR18”，“unstructured”：“Lu，C.，Fabre，J.-C.，Killijian，M.-O.：《提高汽车模块化嵌入式软件容错性的方法》。INRIA，Paris，France（2009）汽车开放系统架构。https:\/\/www.autosar.org。2017年6月14日访问“｝，｛“key”：“11_CR20”，“nonstructured”：“Ferreira，L.L.，Rubira，C.M.：实现容错的反射设计模式（1998）”｝，｛“key”：“11_CR21”，“doi asserted by”：“crossref”，“nonstructured”：“Barbier，F.：基于MDE的自主软件组件的设计和实现。In：认知信息学国际会议（ICCI）（2006）“，”DOI“：”10.1109\/COGINF.2006.365692“}，{“key”：“11_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“Elkorobarrutia，X.，Muxika，M.，Sagardui，G.，Barbier，F.，Aretxandieta，X.：基于状态图的组件重构框架。在：自主和自治系统工程（EASE）（2008）“，”DOI“：”10.1109“/EASE.2008.11“}，”key“：”11_CR23“，”unstructured“：”The boost statechart library（2015）。http://www.boost.org“}.，”key:“11_CR24”，”DOI-asserted-by“：”crossref“，”first page“：“3”，“DOI”：“10.1016\/j.entcs.2004.08.055”，“volume”：“133”，“author”：“M Banci”，“年份”：“2005年”，“非结构化“：”Banci，M.，Fantechi，A.：联锁系统状态图的地理与功能建模。电子。注释Theor。计算。科学。133，3\u201319（2005）“，“新闻标题”：“电子。注释Theor。计算。科学。“}，{”key“：”11_CR25“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“46”，“doi”：“10.1007\/3-540-45416-0_5”，“volume-title”：“计算机安全性、可靠性和安全性”，“author”：“Z Pap”，“year”：“2001”，“unstructured”：“”Pap，Z.，Mazzik，I.，Pataricza，A.：检查UML状态图上的一般安全标准。收录：Voges，U.（编辑）SAFECOMP 2001。LNCS，第2187卷，第46\u201355页。斯普林格，海德堡（2001）。doi:10.1007 \/3-540-45416-0_5“}，{“key”：“11_CR26”，“unstructured”：“Pradelly，M.，Pazzi.L.：使用部分全孔状态图对临床指南进行安全建模（2010）”}，}“key:”11_CR27“，”unstructure“：”汽车工业软件可靠性协会。Misra C++：关键系统中C++语言的使用指南（2008）11_CR28”，“非结构化”：“Elkorobarrutia，X.：ISCART:framework para la reconfiguration dinamica de componentes software basados en statecharts。硕士论文，蒙德拉贡大学（2010）“}，{“key”：“11_CR29”，“unstructured”：“Lu，C.：Robustesse du logiciel embarqu multicuche par une approach reflective:application l\u2019automobile.硕士论文，LUNIVERSIT DE TOULOUSE（2009）”}，“key“：”11_CR30“非结构化”：“Illarramendi，M.，Etxeberria，L.，Elkorobarrutia，X.：教育用例最终结果。在安全关键系统中重用（2015）“}，{”key“：”11_CR31“，”unstructured“：”Eclipse IDE for C\/C++developers（Mars）.https:\/\/Eclipse.org\/Mars.Accessed June 14 2017“}”，{“key”：“11_CR32”，“unstructure”：“Papyrus.https:\/\Eclipse.org\/Papyrus.Accesseded 2017年6月14日”}，“key“”：“11 _CR33”，“doi-asserted-by”：“crossref”，“first-page”：“1302”，“内政部“：”10.1007，“volume”：“65”，“author”：“IP Egwutuoha”，“year”：“2013”，“unstructured”：“Egwuuoha，I.P.，Levy，D.，Selic，B.，Chen，S.：高性能计算系统容错机制和检查点/重启实现的调查。J.超级计算机。65，1302\u20131326（2013）“，《新闻标题》：《超级计算机杂志》。“}]，”container-title“：[”计算机科学讲义“，”计算机安全性、可靠性和安全性“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-66284-8_11“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[[2019,10,3]]，“date-time”：“2019-10-03T02:49:07Z”，“timestamp”：1570070947000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-319-66284-8_11”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts.“[2017]]}”，“ISBN”：[“9783319662831”“，”9783319662848“]，”references-count“：33，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-66284-8_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2017]]}}}}