{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,2]，“日期时间”：“2024-03-02T16:39:49Z”，“时间戳”：1709397589675}，“发布者位置”：“Cham”，“引用计数”：30，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319242545”，“类型”：”打印“}，{“值”：“9783319242552”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}][]，“published-print”：{“date-parts”：[2015年]]}，“DOI”：“10.1007\/978-3-319-24255-2_11”，“type”：“book-chapter”，“created”：{“date-parts”：[[2015,9,5]]，“date-time”：“2015-09-05T09:51:13Z”，“timestamp”：1441446673000}，“page”：”135-148“，”source“：”Crossref“，”is-referenced-by-count“：5，”title“：[”基于模型的开发中的背靠背故障注入测试“]，”前缀“10.1007”，“author”：[{“给定”：“彼得”，“family”：“Folkesson”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Fatemeh”，“failment”：“Ayatolahi”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Behrooz”，“家族”：“Sangcholie”，”sequence“：“additive”，“atriation”：[]}：“Mafijul”，“family”：“Islam”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Johan”，“family”：“Karlsson”，“sequence”：“additive”，“abfiliation“：[]2]，“member”：“297”，“published-on-line”：{“date-parts”：[[2015,11,25]]}；“reference”：[{“key”：：“ISO 26262-6:2011，道路车辆\u2014功能安全\u2014第6部分：软件级产品开发”}，{“key”：“11_CR3”，“unstructured”：“the Mathworks，Inc.http://www.Mathworks.se\/products\/simulink\/.Accessed March 2015”}、{“key”：”11_CR4“，”unstructure“：“dSPACE.com/www.dSPACE.com/en\/pub\/home\/products\/sw\/pcgs\/targetli.cfm.Accessed March 2015”}，{“issue”：“3”，“key”：“11_CR5”，“doi-asserted-by”：“publisher”，“first-page”：“389”，“doi”：“10.1007\/s10703-009-0082-0”，“volument”：“35”，“author”：“M Conrad”，“year”：“2009”，“unstructured”：“Conrad，M.：在IEC 61508环境下生成代码的基于测试的翻译验证。形式方法系统。设计。35（3），389\u2013401（2009）“，“期刊标题”：“形式方法系统。设计。“}，{”key“：”11_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Conrad，M.：根据ISO 26262:促进高集成软件开发的工作流（2012）进行验证和验证“，”doi“：”10.4271\/2011-01-1005“}”，{“key”：“11_CR7”，“doi-assert-by”：“crossref.”，“unstructure”：“”Beine，M.：安全关键型软件开发的基于模型的参考工作流。In:Embedded Real Time Software and Systems（2010）“，”DOI“：”10.4271\/2010-01-2338“}，{”key“：”11_CR8“，”unstructured“：”The Mathworks，Inc.http://www.Mathworks.se\/products\/Embedded-coder\/.Accessed March 2015“}”，{“issue”：“1”，“key”：“11_CR9”，“DOI-asserted-by”：“publisher”，“first page”：”34“，“DOI”：“10.1016\/0950-5849（90）900449 R“，”卷“：”32“，”作者“：”MA Vouk“，”year“：”1990“，”unstructured“：”Vouk，M.A.：背靠背测试。Inf.柔软。Technol公司。32（1），34\u201345（1990）“，“新闻标题”：“Inf.Softw。Technol公司。“}，{”key“：”11_CR10“，”unstructured“：”Iyer，R.K.：实验评估。In：第二十五届容错计算国际研讨会论文集特刊（1995）“}”，{“key”：“11_CR11”，“doi-asserted-by”：“crossref”，“unstructure”：“”Jenn，E.、Arlat，J.、Rimen，M.、Ohlsson，J.和Karlsson，J：VHDL模型的故障注入：MEFISTO工具。摘自：第24届容错计算国际研讨会论文集，第66\u201375页（1994）“，“DOI”：“10.1109\/FTCS.1994.315656”}，{“key”：“11_CR12”，“unstructured”：“Synopsys.https:\/\/www.Synopsys.com\/TOOLS\/VERIFICATION\/FUNCTIONALVERFICATION\/Pages\/Certitude-ds.aspx.2015年3月访问”}，{“key”：“11_CR13”，“unstructured”：“Vinter，J.，Bromander，L.，Raistick，P.，Edler，H.：FISCADE-SCADE模型的故障注入工具。摘自：《第三届IET汽车电子会议论文集》，pp.1\u20139（2007）”}，{《key》：“11-CR14”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”:“210”，“DOI”：“10.1007\/978-3642-15651-9_16”，“volume-title”：“计算机安全性、可靠性和安全性”，“author”：“R Sveningsson”，“year”：“2010”，“unstructured”：“Sveningssen，R.，Vinter，J.，Eriksson，H.，T\u00f6rngren，M.：MODIFI：一种MODel实现的故障注入工具。In:Schoitch，E.（ed.）SAFECOMP 2010。LNCS，第6351卷，第210\u2013222页。Springer，Heidelberg（2010）“}，{”key“：”11_CR15“，”unstructured“：”Esterel Technologies.http://www.estereltechnologies.com/products\/scade-suite\/.2015年6月访问“}”，{“key”：“11_CR16”，“doi-asserted-by”：“crossref”，“unstructure”：“”Bhatt，D.，Madl，G.，Oglesby，D.，Schloegl，K.：商业航空电子软件的可扩展验证。收件人：AIAAInfotech@航空航天，2010年4月”，“DOI”：“10.2514\/6.2010-3452”}，{“key”：“11_CR17”，“unstructured”：“RTCA:DO-178B:机载系统和设备认证中的软件注意事项。美国航空无线电技术委员会，RTCA Inc.，华盛顿特区（1992）”}、{“key”：”11_CR18“，”DOI-asserted-by“：”crossref“，”first page“：”197“，“DOI:”10.1007\/3-58426-9_132“，”volume-title“：”可靠计算\u2014 EDCC-1“，”作者“：”亨里克·马德拉“，”年份“：”1994“，”非结构化“：”马德拉，H.，Rela，M.Z.，Moreira，F.，Silva，J.G.：RIFLE：通用针级故障注入器。收录于：《第一届欧洲可靠计算会议论文集》，第199\u2013216（1994）页“}，{“问题”：“8”，“关键”：“11_CR19”，“首页”：“115”，“卷”：“52”，“作者”：“J Arlat”，“年份”：“2003”，“非结构化”：“Arlat，J.、Crouzet，Y.、Karlsson，J.，Folkesson，P.、Fuchs，E.、Leber，G.：物理和软件实现的故障注入技术的比较。IEEE传输。计算。52（8），115\u20131133（2003）“，“期刊标题”：“IEEE Trans。计算。“}，{”issue“：”1“，”key“：”11_CR20“，”doi-asserted-by“：”publisher“，”first-page“：”8“，”doi“：”10.1109“/40.259894“，”volume“：“14”，”author“：”J Karlsson“，”year“：”1994“，”unstructured“：”Karlssson，J.，Liden，P.，Dahlgren，P.；Johansson，R.，Gunneflo，U.：使用重离子辐射验证错误处理机制。IEEE Micro 14（1），8\u201323（1994）“，”journal-title“：”IEEE Micro“}，{“key”：“11_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Skarin，D.，Barbosa，R.，Karlsson，J.：GOOFI-2:实验可信性评估工具。在：第40届国际可靠系统和网络会议（2010）上，“doi”：“10.1109\/DSN.2010.5544265”}，“key“：”11_CR22“，”doi-assert-by“：”crossref.“，”非结构化”：“Rebaudengo，M.，Reorda，M.：通过BDM评估嵌入式系统的容错能力。摘自：第17届IEEE VLSI测试研讨会论文集，第452\u2013457页（1999）“，”DOI“：”10.1109\/VTEST.1999.766703“}，{”key“：”11_CR23“，”DOI-asserted-by“：”crossref“，”unstructured“：”Costa，D.，Madeira，H.，Carreira，J.，Silva，J.:Xception:处理器功能单元中的软件故障注入和监控。摘自：Benso，A.，Prinetto，P.（eds.）嵌入式系统可靠性评估的故障注入技术和工具。《电子测试前沿》，第23卷，第125\u2013139页（2003）“，“DOI”：“10.1007\/0-306-48711-X_8”}，{“key”：“11_CR24”，“unstructured”：“Han，S.，Shin，K.G.，Rosenberg，H.A.：DOCTOR：分布式实时系统的集成软件故障注入环境。1995年IEEE国际计算机性能和可靠性研讨会论文集，第204\u2013213（1995）页“}，{“key”：“11_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“Svenningsson，R.、Eriksson，H.、Vinter，J.、T\u00f6rngren，M.：用于硬件故障模拟的模型实现的故障注入。2010年10月3日在挪威奥斯陆MoDeVVa 2010上发表的论文”，“DOI”：“10.1109\/MoDeVVa.2010.11”}，｛“key”：“11_CR26”，“系列标题”：“计算机科学讲义”，“DOI断言”：“crossref”，“首页”：“246”，“DOI”：“10.1007\/11408901_19”，“卷标题”：“可靠计算-EDCC 2005”，“作者”：“R Barbosa”，“年份”：“2005”，“非结构化”：“Barbosa，R.、Vinter，J.、Folkesson，P.、Karlsson，J.M.：用于提高断层注入效率的装配级注入前分析。摘自：Dal Cin，M.，Ka\u00e2nich，M.和Pataricza，A.（编辑）EDCC 2005。LNCS，第3463卷，第246\u2013262页。Springer，Heidelberg（2005）“}，{”key“：”11_CR27“，”unstructured“：”Nexus 5001\u2122 Forum，IEEE-ISTO（1999）。http://www.nexus5001.org\/.2015年3月访问“}”，{“key”：“11_CR28”，“unstructure”：“winIDEA\u2013 iSystem\u2019s Integrated Development Environment。http://www.iSystem.com/products\/software\/winIDEA.Accessed March 2015”}11_CR29“，”非结构化“：”iC3000调试器。http://www.isystem.com/products\/11-products\/89-ic3000-activeemulator。2015年3月访问“}，{“key”：“11_CR30”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”265“，“doi”：“10.1007\/978-3642-40793-2_24”，“volume-title”：”计算机安全、可靠性和安全“，“author”：”F Ayatolahi“，“year”：“2013”，“unstructured”：“Ayatolahi，F.，Sangchoolie，B.，Johansson，R.，Karlsson，J.：关于单位跳变和双位跳变错误对程序执行的影响的研究。收录人：Bitsch，F.、Guiochet，J.、Ka\u00e2nich，M.（编辑）SAFECOMP。LNCS，第8153卷，第265\u2013276页。Springer，Heidelberg（2013）“}”，“container-title”：[“计算机科学课堂讲稿”，“计算机安全、可靠性和安全”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3319-24255-2_11”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,8,30]]，“date-time”：“2019-08-30T02:34:37Z”，“timestamp”：1567132477000}，“score”：1，“resource”：{（主要）：{”URL“：”http:\\/link.springer.com/10.1007\/978-3319-24255-2_11“}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2015年]月，“ISBN”：[“9797]83319242545“，”9783319242852“]，”references-count“：30，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-24255-2_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2015】】}}}}