{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T12:58:42Z”，“时间戳”：17254722303}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“978383838 642387883“}，{”类型“：“electronic”，“value”：“9783642387890”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2013]]}，”DOI“：”10.1007\/978-3642-38789-0_10“，”type“：”book-capter“，”created“：”{“date-part”：[2013,5,2]]，“date-time”：“2013-05-02T13:40:1 9Z“，”时间戳“：1367502019000}，”页面“：”111-125“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Towards Benchmarking of Functional Safety in the Automotive Industry”]，“prefix”：“10.1007”，”author“：[{”given“：”Mafijul Md.“，”family“：”Islam“，”sequence“：”first“，”affiliation“：[]}，{”给定“：”Behrooz“，”家庭“：”Sangcholie“，”序列“：”additional“，”从属关系“：[]}，“given”给定：“Fatemeh”，“family”：“Ayatolahi”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Daniel”，”family“：”Skarin“，”sequence“：”additional“，”affiliance“：[]{“给定的”：“Jonny”，“family”：“Vinter”，“序列”：“附加的”，“从属关系”：[]}，“givent”：“Fredrik”，“家族”：“T\u00f6rner”，“sequence”:“additionable”，“atriation”：“Andreas”，“family”：“K\u00e4ck”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Mattias”，“family”：“Nyberg”，“sequence”：“additive”，“从属关系”：[]}，}“givine”：“Emilia”，“家族”：“Villani”，“sequence”:“additionable”，“filiation“：[]”}，“givent”：“Johan”，“：”附加“，”从属“：[]}，{“given”：“Johan”，“family”：“Karlsson”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：”10_CR1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/3-540-28428-1”，“volume-title”：“嵌入式汽车安全”，“author”：“K.Lemke”，“year”：“2006”，“unstructured”：“Lemke，K.，Paar，C.，Wolf，M.：汽车中的嵌入式安全。施普林格，柏林（2006）”}，｛“key”：“10_CR2”，“非结构化”：“ISO标准，\n\nhttp://www.ISO.org/ISO\\catalogue_detail？csnumber=443464”}，｛“key”：“10_CR3”，“非结构化”：“技术安全概念状态报告，\n\n http://www.autosar.org\/download\/R4.0\/autosar_TR_SafetyConceptStatusReport.pdf”}，{“key”：“10_CR4”，“unstructured”：“BeSafe项目，\n\n http://www.vinnova.se\/sv\/Resultat\/Projekt\/Effekta\/BeSafe\/”}，“非结构化”：“IEC 61508电气/电子/可编程电子安全相关系统的功能安全，\n\n http://www.IEC.ch\/zone\/fsafety”}，{“key”：“10_CR6”，“非结构性”：“Kanoun，K.，et al.：DBench可信性基准。最终项目报告，可信性基准项目（IST-2000-25425）（2004年5月）”}，{“issue”：“12”，“key”：“10_CR7”，“doi-asserted-by”：“publisher”，“first-pages”：“32”，“doi”：“10.1145\/96267.96279”，“volume”：”33“author”：“B.P.Miller”，“year”：“1990”，“unstructured”：“Miller，B.P.，Fredriksen，L.，So，B.：UNIX实用程序可靠性的实证研究。ACM\u00a033（12），32\u201344（1990）”，“日志标题”：“ACM的通信”}，{“key”：“10_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Koopman，P.，Devale，K.，Devales，J.：接口稳健性测试：从Ballista项目中吸取的经验教训。收录于：Kanoun，K.Spainhower，L.（编辑）《计算机系统可靠性基准测试》，第201\u2013226页。John Wiley&Sons（2008）“，”DOI“：”10.1002\/9780470370506.ch11“}，{”issue“：”6“，”key“：”10_CR9“，”DOI-asserted-by“：”publisher“，”first page“：“366”，“DOI”：“10.1109\/32.601075”，“volume”：“23”，“author”：“A.Mukherjee”，“year”：“1997”，“unstructured”：“Mukherjee，A.，Siewiorek，D.P.：通过稳健性基准测试测量软件可靠性。IEEE传输。关于软件工程\u00a023（6），366\u2013378（1997）”，“期刊标题”：“IEEE Trans。关于软件工程“}，{“key”：“10_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Piper，T.，Winter，S.，Manns，P.，Suri，N.：用AUTOSAR进行可信性评估：一个指导框架。In：2012年第42届DSN会议（2012）”，“doi”：“10.1109\/DSN.2012.6263913”}欧洲NCAP，\n\n http://www.euroncap.com/home.aspx“}，{“key”：“10_CR12”，“unstructured”：“eValue（基于ICT的安全系统的测试和评估方法），EU FP7中的项目ICT-2007-215607，\n\n http://www.eValue-project.EU//”}，}“key:”10_CR13“，”unstructure“：”应用程序级错误处理说明，\n\n http://www.autosar.org\/download\/R4.0\/autosar_EXP_ApplicationLevelError.pdf“}，{”key“：”10_CR14“，”unstructured“：”MiBench Version 1.0，\n\n http://www.eecs.umich.edu\/MiBench\/“}”，{“key”：“10_CR15”，“非结构化“：”Christmanson，J.，Chillarege，R.：基于现场数据生成模拟软件故障的错误集\u2013。In：程序。第26届容错计算国际学术年会，FTCS 1996（1996）“}，{“key”：“10_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Johansson，A.，Suri，N.，Murphy，B.：关于选择操作系统健壮性评估的错误模型。In：第37届DSN 2007（2007）的程序”，“doi”：“10.1109\/DSN.2007.71”}doi-asserted-by“：”crossref“，”unstructured“：”Skarin，D.，Barbosa，R.，Karlsson，J.：GOOFI-2：实验可信性评估工具。In：程序。第40届DSN 2010（2010）”，“DOI”：“10.1109”，“DSN.2010.5544265”}，{“key”：“10_CR18”，“unstructured”：“Nexus 5001TM Forum，IEEE-ISTO（1999），\n\n http://www.nexus5001.org”}10.1007 \/11408901_19“，”volume-title“：”可靠计算-EDCC 2005“，”author“：”R.Barbosa“，”year“：”2005“，“unstructured”：“Barbosa，R.，Vinter，J.，Folkesson，P.，Karlsson，J.M.：提高故障注入效率的装配级预注入分析。摘自：Dal Cin，M.，Ka\u00e2nich，M.和Pataricza，A.（编辑）EDCC 2005。LNCS，第u00a03463卷，第246\u2013262页。Springer，Heidelberg（2005）“}，{”key“：”10_CR20“，”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“：”Sveningsson，R.、Vinter，J.、Eriksson，H.、T\u00f6rngren，M.：MODIFI:一种MODel-Implemented Fault Injection工具。摘自：Schoitch，E.（编辑）SAFECOMP 2010。LNCS，第u00a06351卷，第210\u2013222页。Springer，Heidelberg（2010）“}，{”issue“：”3“，”key“：”10_CR21“，”doi-asserted-by“：”publisher“，”first-page“：”389“，”doi“：”10.1007\/s10703-009-0082-0“，”volume“：“35”，”author“：”M.Conrad“，”year“：”2009“，”unstructured“：”Conrad，M.：IEC 61508上下文中生成代码的基于测试的翻译验证。系统设计中的形式化方法\u00a035（3），389\u2013401（2009）“，“日志标题”：“系统设计中形式化方法”}，{“键”：“10_CR22”，“非结构化”：“Conrad，M.：根据ISO 26262:促进高集成软件开发的工作流进行验证和确认，\n\n http://www.mathworks.com/tagteam\/71300_1D-4.pdf“}，{“key”：“10_CR23”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first-page”：“198”DOI“：”10.1007\/978-3642-33678-2_17“，”volume-title“：”SAFECOMP 2012“，”author“：”D.Leo Di“，”year“：”2012“，“unstructured”：“Di Leo，D.，Ayatolahi，F.，Sangchoolie，B.，Karlsson，J.，Johansson，R.：关于硬件故障的影响——工作量输入和故障模式分布之间关系的调查。收录：Ortmeier，F.，Daniel，P.（编辑）SAFECOMP 2012。LNCS，第00a07612卷，第198\u2013209页。Springer，Heidelberg（2012）“}”，“container-title”：[“计算机科学课堂讲稿”，“可靠计算”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3642-38789-0_10”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,5,12]，“date-time”：“2019-05-12T15:24:39Z”，“timestamp”：1557674679000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-38789-0_10”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2013]]}”，“ISBN”：[“9783642387883”“，”9783642387890“]，”references-count“：23，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-38789-0_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2013]]}}}}