{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“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”,“affiliation”:[]},{“given”:“Jonny”,“family”:“Vinter”,“sequence”:“additional”,“affiliation”:[]},{“given”:“Andreas”,“family”:“K\u00e4ck”,“序列”:“additional”,“affiliation”:[]},{“given”:“Mattias”,“family”:“Nyberg”,“sequence”:“additive”,“从属关系”:[]},}“givine”:“Emilia”,“家族”:“Villani”,“sequence”:“additionable”,“filiation“:[]”},“givent”:“Johan”,“:”附加“,”从属“:[]},{“给定”:“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”:“Embedded Security in Cars”,“author”:“K.Lemke”,“year”:“2006”,“nonstructured”:“Lemke,K.,Paar,C.,Wolf,M.:汽车嵌入式安全。Springer,Berlin(2006)”},{“key”:“10_CR2”,“unstructured”:“ISO标准,\n\n http://www.ISO.org\/ISO\/catalogie_detail?csnumber=43464”}:“技术安全概念状态报告,\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”,“非结构化”:“Nexus 5001TM Forum,IEEE-ISTO(1999),\n\nhttp:\/\/wwwnexcs5001.org/”},{“key”:“10_CR19”,“series title”:“计算机科学讲义”,DOI断言者:“publisher”,“首页”:“246”,“DOI”:“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,卷\u00a07612,第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]]}}}}