{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期部分”：[[2023,10,6]]，“日期时间”：“2023-10-06T07:56:43Z”，“时间戳”：1696579003538}，“参考计数”：53，“出版商”：“计算机协会（ACM）”，“发行”：“4”，“许可证”：[{“开始”：{-“日期部分“：[2013,7,1]]，”时间“：”2013-07-01T00:00:00Z“，“timestamp”：137263680000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\\www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Form.Asp.Comput.“]，”published-print“：{”date-parts“：[2013,7]}”，“abstract”：“”摘要<\/jats:title>\n手动构建复杂系统的故障树是一项容易出错且耗时的活动，这鼓励了自动化技术的发展。在本文中，我们展示了如何将形式化系统模型进化的精简方法发展成为故障树机械构造的通用结构化方法。系统结构和紧缩特许权结构相互作用，生成具有适当深度嵌套的故障树。我们展示了如何扩展此方法以处理最小化，从而减少事后包含工作量，并可能使一些不可行的情况变得可行<\/jats:p>“，”DOI“：”10.1007\/s00165-011-0202-7“，”type“：”journal-article“，”created“：{”date-parts“：[[2011,9,29]]，”date-time“：”2011-09-29T12:40:51Z“，”timestamp“：1317300051000}，”page“：，“prefix”：“10.1145”，“volume”：“25”，“author”：[{“给定”：“Richard”，“family”：“巴纳赫”，“sequence”：“first”，“affiliation”：[}“name”：“英国曼彻斯特牛津路M13 9PL曼彻斯特大学计算机科学学院”}]}，{“已知”：“Marco”：“FBK-IRST，Via Sommarive 18，Povo，38123，Trento，Italy”}]}]，“member”：“320”，“reference”：[{“key”：“e_1_1_2_1_2”，“doi-asserted-by”：“crossref”，“first page”：”133“，“doi”：“10.1109 \/TR.1987.5222318”，“article-title”：“计算机辅助过程控制系统的马尔可夫失效建模”，“volume”:“36”，“author”：“Aldemir T”，“year”：“1987”，“新闻标题”：“IEEE Trans Reliab R”}，{“key”：“e_1_1_2_2_2”，“unstructured”：“Anand A Somani AK（1998）使用分解对具有依赖性的故障树进行层次分析。In：《年度可靠性和可维护性研讨会论文集》第69\u201375页”}ISAAC是功能几何和人的综合安全分析框架。In:嵌入式实时软件欧洲会议记录（ERTS 2006）“}，{“key”：“e_1_1_2_4_2”，“doi-asserted-by”：“crossref”，“unstructured”：“Banach R Bozzano M（2010）《通过紧缩II机械生成反应系统故障树：时钟和反馈电路》。doi:10.1007\/s00165-011-0203-6”，“doi”：“10.1007 \/s00165-011-0203-6“}，{“key”：“e_1_2_2_5_2”，“首页”：“210”，“volume-title”：“计算机安全、可靠性和安全性。LNCS，vol 3219”，“author”：“Banach R”，“year”：“2004”}，“key“：”e_2_1_1_6_2“，“doi-asserted-by”：“crossref”，“unstructured”：“Bozzano M Cavalallo A Cifaldi M Valacca L Villafiorita A（2003）改进复杂系统的安全评估：工业案例研究。参加：欧洲正式方法国际研讨会（FME 2003）意大利比萨。LNCS vol 2805 pp 208\u2013222“，“DOI”：“10.1007\/978-3-540-45236-2_13”}，{“key”：“e_1_1_2_7_2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bozzano M Cimatti A Tapparo F（2007）反应系统的符号故障树分析。In：自动验证与分析技术研讨会论文集（ATVA 2007）pp 162\u2013176”，《DOI》：“10.1007\/978-3-540-75596-8_13“}，{“key”：“e_1_2_2_8_2”，“unstructured”：“Banach R Jeske C（2009）收缩与精化相互作用：塔式定理。已提交。参见[Ret]”}，}“密钥”：“d_1_1_e_2_9_2”、“doi-asserted-by”：“publisher”、“doi”：“10.1016\/j.jlap.2007.11.001”}、{“key”：crossref“，”非结构化“：”巴纳赫·R·波普莱顿M（1998）《紧缩：精炼的工程变化》。摘自：B\u201998：B方法开发和使用的最新进展。第二届国际B会议法国蒙彼利埃。LNCS vol 1393 pp 129\u2013147“，”DOI“：”10.1007\/BFb0053358“}，{”key“：”e_1_2_2_11_2“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1007\/s00766-002-0157-6”}，“key”：“e_1_cu1_1_12_2”，“first page”：”382“，”volume-title“：”Formal methods 2005。LNCS，vol 3582“，“author”：“Banach R”，“year”：“2005”}，{“key”：“e_1_2_2_13_2”，“doi-asserted-by”：“crossref”，“unstructured”：“巴纳赫R杰斯克C波普尔顿M斯蒂芬尼S（2006）Retench the Purse:finited exception logs and validating the small。In:Hinchey M（ed）Proc.IEEE\/NASA SEW30-06 pp 234\u2013245”，“doi”：“10.1109\/SEW.2006.28”}、{“key”：“e_1_2_1_2_14_2“，”doi asserted by“：”crossref“，”nonstructured“：”Banach R Jeske C Poppleton M Stepney S（2006）Retrenching the钱包：散列内射CLEAR代码和安全属性。收录：Margaria T Steffen B（编辑）Proc。IEEE ISOLA-06 pp 82\u201390“，”DOI“：”10.1109\/ISOLA.2006.17“}，{“key”：“e_1_1_2_15_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.scico.2007.04.002”}，“key“：”e_1_i_1_2_16_2“，”DOI-assert-by“：”publisher“，”DOI“：“10.1145\/1360035.136043非结构化”：“Bozzano M Villafiorita A（2003）将故障树分析与事件排序信息集成。In:ESREL 2003年会议记录第247\u2013254页“}，{“key”：“e_1_1_2_18_2”，“unstructured”：“Bozzano M Villafiorita A et \u00a0al（2003）ESACS:复杂系统设计和安全分析的集成方法论。2003年会议录第237\u2013年245页”}，}“key:”e_1_cu1_19_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10009-006-0001-2“}”，{key“：”e_1_2_2_20_2“，”unstructured“：”Cojazzi G Izquierdo JM Mel\u00e9ndez e Perea MS（1992）使用动态事件树对保护系统进行可靠性和安全评估。DYLAM-TRETA包。In:Proceedings of XVIII Annual Meeting Spanish Nucl Soc“}，{“key”：“e_1_2_1_21_2”，“unstructured”：“Coudert O Madre JC（1992）布尔函数素数和基本素数的隐式和增量计算。In:Procedues of design automation conference（DAC 1992）pp 36\u201339。IEEE Computer Society Press“}，{”key“：”e_1_2_2_22_2“，”unstructured“：”Coudert O Madre JC（1993）Fault tree analysis：10 20 prime implicants and beyond。In:Proceedings of annual reliability and maintainability symposium（RAMS 1993）“}”，{“key”：“e_2_1_1_22_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/24.159800”}，“”{“key”：”“e_1\doi-asserted-by“：”publisher“，”doi“：”10.1109\/24.537011“}，{“key”：“e_1_1_2_25_2”，“doi-assert-by”：“crossref”，“unstructured”：“de Roever WP Engelhardt K（1998）面向数据精化模型的证明方法及其比较。剑桥大学出版社”，“doi”：“10.1017\/CBO9780511663079”}，“key“：”e_2_2_26_2“，”doi-assered-by“：”publisher“，”doi“：“”10.1145\/381766.381770“}，{“key”：“e_1_2_2_27_2”，“unstructured”：“FSAP\/NuSMV-SA平台。http://\/sra.itc.it\/tools\/FSAP.2011年9月13日访问”}，}“key”：e_1_2_2_29_2“，”非结构化“：”等值线图。http://www.isograph-software.com。2011年9月13日访问“}，{“key”：“e_1_2_2_30_2”，“unstructured”：“Jeske C（2005）收缩和求精的代数集成。曼彻斯特大学博士论文”}，“key“：”e_1_i_1_2_31_31_2“，”doi-asserted-by“：”crossref“，”unstructure“：”Joshi A Heimdahl MPE（2005）使用SCADE设计验证程序对Simulink模型进行基于模型的安全分析。摘自：Winther R Gran BA Dahl G（eds）计算机安全可靠性和安全会议记录（SAFECOMP 2005）。LNCS第3688卷第122页\u2013135。Springer”，“DOI”：“10.1007\/11563228_10”}，｛“key”：“e_1_2_2_32_2”，“非结构化”：“Joshi A Miller SP Whalen M Heimdahl MPE（2005）基于模型的安全分析提案。在：AIAA\/IEEE数字航空电子系统会议记录（DASC 2005）”}，｛“key”：“e_1_2_2_33_2”，“非结构化”：“Manian R Dugan JB Coppit D Sullivan KJ（1998）结合各种求解技术进行计算机系统的动态故障树分析。摘自：《高保证系统工程研讨会论文集》（HASE 1998）第21\u201328页。IEEE“}，{“key”：“e_1_1_2_34_2”，“unstructured”：“Manquinho VM Oliveira AL Marques-Silva JP（1998）计算最小素数蕴涵的模型和算法。In:布尔问题国际研讨会论文集（IWBP 1998）”}，}，“key“：”e_1_i_1_2_35_2“，”doi-asserted-by“：”crossref“，”unstructure“：”Miller SP Tribble AC Heimdahl MPE（2003）验证页岩。收录：《欧洲形式方法会议录》（FM 2003）。LNCS第2805卷，第75页\u201393。Springer“，”DOI“：”10.1007\/978-3-540-45236-2_6“}，{“key”：“e_1_2_2_36_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/S0378-4754（98）00112-8”}，“key“：”e_1_i_1_2_37_2“，”DOI-assert-by“：”crossref“，”unstructured“：”Papazoglou IA（1994）动态系统的Markovian可靠性分析。In:Aldemir T Siu NO Mosleh A Cacciabu e PC G\u00f6ktepe BG（编辑）动态过程系统的可靠性和安全性评估。北约ASI系列F第120卷第24\u201343页。Springer”，“DOI”：“10.1007\/978-3662-03041-7_3”}，{“key”：“e_1_1_2_38_2”，“unstructured”：“Papadopoulos Y（2000）使用安全案例的安全导向系统监测。约克大学计算机科学系博士论文。技术报告YCST-2000-08”}、{“key”：”e_1_cu1_39_2“，”DOI-asserted-by“：”crossref“，”unstructure“：”Papadopoulos Y Maruhn M（2001）基于Matlab-Simulink模型的故障树的模型合成。收录：可靠系统和网络会议论文集（DSN 2001）第77\u201382页“，”DOI“：”10.1109\/DSN.2001.941393“}，{“key”：“e_1_1_2_40_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/S0951-8320（00）00076-4”}，“key“：”e_2_1_241_41_2“，”DOI-assert-by“：”publisher“，”DOI“：“10.116\/0951-8320（93）90060-C”}，{“键”：“e_1_2_42_2”，“doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0951-8320（97）00034-3“}，{“key”：“e_1_1_2_43_2”，“unstructured”：“Retenchment Homepage.http:\\/www.cs.man.ac.uk\/Retrenchment.Accessed 13 Sep 2011”}，“key“：”e_2_2_1_44_2“，”doi-assert-by“，”：“publisher”，“doi”：“10.1016\/j.ress.2007.09.001”}、{“key”：“e_1_2_2_45_2”，“doi-asserted-by”：“crossref”，“非结构化“：”Sch\u00e4fer A（2003）结合实时模型检查和故障树分析。收录：《欧洲形式方法会议录》（FM 2003）。LNCS第2805卷，第522\u2013541页。Springer“，“DOI”：“10.1007\/978-3-540-45236-2_29”}，{“key”：“e_1_1_2_46_2”，“DOI-asserted-by”：“publisher”，“DOI:”10.13182\/NSE92-A23938“}，”{“key”：“e_1_2_1_47_2”，”非结构化“：”Sullivan KJ Dugan JB Coppit D（1999）The Galilelilo故障树分析工具。In:容错计算研讨会论文集（FTCS 1999）pp 232\u2013235。IEEE“}，{“key”：“e_1_1_2_48_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0951-8320（94）90095-7”}，“{”key“：”e_2_2_49_2“，“非结构化”：“Tribble AC Lempia DL Miller SP（2002）飞行制导系统的软件安全分析。In:Proceedings of AIAA\/IEEE digital avionics systems conference（DASC 2002）”}doi-asserted-by“：”crossref“，”unstructured“：”Tribble AC Miller SP（2003）飞行管理系统垂直导航功能的软件安全分析\u2014a状态报告。In：AIAA\/IEEE数字航空电子系统会议论文集（DASC 2003）“，”DOI“：”10.1109\/DASC.2003.1245805“}，”key“：”e_1_1_2_51_2“，”DOI-asserted-by“：”crossref“，”unstructured“：”Thums A Schellhorn G（2003）模型检查FTA。In：欧洲形式方法会议（FM 2003）。LNCS vol 2805 pp 739\u2013757。Springer”，“DOI”：“10.1007\/978-3-540-45236-2_40”｝，｛“key”：“e_1_2_2_52_2”，“非结构化”：“Vesely WE Goldberg FF Roberts NH Haasl DF（1981）故障树手册。技术报告NUREG-0492美国核监管委员会核监管研究系统和可靠性研究办公室”｝，｛“key”：“e_1_2_2_53_2”，“非结构化”：“Vesely WE Stamatelatos M Dugan J Fragola J Minarick III J Railsback J（2002）《航空航天应用故障树手册》。NASA技术报告“}”，“container-title”：[“计算的形式方面”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s00165-011-0202-7.pdf”，“内容类型”：“application\/pdf”、“content-type”：“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\/link.springer.com\/article\/10.1007\/s0165-011-0202-7\/fulltext.html”，“内容类型”：“text\/html”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https:\/\/dl.acm.org/doi\/pdf\/10.1007\/s0165-011-0202-7”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放“：{“date-parts”：[[2022,1,6]]，“date-time”：“2022-01-06T15:56:31Z”，“timestamp”：1641484591000}，“score”：1，“resource”：{（主要）：{”URL“：”https:\/\/dl.acm.org\/doi\/10007\/s00165-011-0202-7：53，“新闻发布”：{“发布”：“4”，“发布发布”：date-parts“：[[2013,7]]}}，”alternative-id“：[”10.1007\/s00165-011-0202-7“]，”URL“：”http://\/dx.doi.org\/10.1007\/s001650-011-0202-27“，”relation“：{}，“ISSN”：[“0934-5043”，“1433-299X”]，“ISSN-type”：[{“value”：“0934-5043”，“type”:“print”}，{“value”：”1433-299X“，”type“电子“}]，”主题“：[]，”发布“：{”日期部分“：[[2013,7]]}}}