{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T18:24:07Z”，“时间戳”：1725906247095}，“出版商位置”：“查姆”，“参考计数”：26，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319641188”}，{“类型”：“电子”，“value”：“9783319641195”｝]，“license”：[｛“start”：｛“date parts”：[[2017,1,1]]，“date time”：“2017-01-01T00:00:00Z”，“timestamp”：1483228800000｝，“content version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/www.springer.com\/tdm”｝]，“content domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2017]]}，“DOI”：“10.1007\/978-3-319-64119-5_7”，“type”：“book-chapter”，“created”：{“date-parts”：[[2017，8，1]]，“date-time”：“2017-08-01T13:05:09Z”，“timestamp”：1501592709000}，，“作者”：[{“给定”：“Danielle”，“family”：“Stewart”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Michael W.”“member”：“297”，“published-online”：｛“日期部分”：[[2017,8,2]]｝，“参考”：[｛“键”：“7_CR1”，“非结构化”：“AADL:基于可预测模型的工程”｝，｛“键”：“7_CR2”，“非结构化”：“AIR6110:连续飞机/系统开发过程示例（2011）”｝，｛“键”：“7_CR3”，“系列标题”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“82”，“doi”：“10.1007\/978-3-319-17524-9_7”，“volume-title”：“NASA Formal Methods”，“author”：“J Backes”，“year”：“2015”，“unstructured”：“Backes，J.，Cofer，D.，Miller，S.，Whalen，M.W.：四冗余飞行控制系统的需求分析。摘自：Havelund，K.，Holzmann，G.，Joshi，R.（eds.）NFM 2015。LNCS，第9058卷，第82\u201396页。查姆施普林格（2015）。doi:10.1007\/978-3-319-17524-9_7“}，{“key”：“7_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Bittner，B.、Bozzano，M.、Cavada，R.、Cimatti，A.、Gario，M.，Griggio，A.、Mattarei，C.、Micheli，A.、Zampedri，G.：xSAP安全分析平台。在：第22届系统构建和分析工具和算法国际会议（TACAS 2016），作为欧洲软件理论与实践联合会议（ETAPS 2016）的一部分举行，荷兰埃因霍温，2016年4月2日，第533\u2013539页（2016），“DOI”：“10.1007\/978-3-662-49674-9_31”，{“key”：”7_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Bozzano，M.，Cimatti，A.，Pires，A.F.，Jones，D.，Kimberly，G.，Petri，T.，Robinson，R.，Tonetta，S.：AIR6110车轮制动系统的正式设计和安全分析。摘自：第27届计算机辅助验证国际会议（CAV 2015）论文集，第一部分，美国加利福尼亚州旧金山，2015年7月18日，第518\u2013535页作者：“D Chen”，“年份”：“2013年”，“非结构化”：“Chen，D.，Mahmud，N.，Walker，M.，Feng，L.，Lnn，H.，Papadopoulos，Y.：使用EAST-ADL进行系统建模，通过HiP-HOPS*进行故障树分析。IFAC程序。第46卷（22），91\u201396（2013）“，“期刊标题”：“IFAC Proc。Vol.“}，{”key“：”7_CR7“，”doi-asserted-by“：”crossref“，”first page“：“333”，“doi”：“10.1016\/j.scico.2014.06.011”，“volume”：“97”，“author”：“A Cimatti”，“year”：“2015”，“unstructured”：“Cimatti，A.，Tonetta，S.：基于组件的嵌入式系统的契约精化证明系统。Sci.Compute.Program.97，333\u2013348（2015）”，“journal-title”：“”科学。计算。程序。“}，{”key“：”7_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“126”，”doi“：”10.1007\/978-3642-28891-3_13“，”volume-title“：“NASA Formal Methods”，“author”：“D Cofer”，“year”：“2012”，“unstructured”：“Cofer，D.，Gacek，A.，Miller，S.，Whalen，M.W.，LaValley，B.，Sha，L.：建筑模型的成分验证。收录人：Goodloe，A.E.，Person，S.（eds.）NFM 2012。LNCS，第7226卷，第126\u2013140页。施普林格，海德堡（2012）。doi:10.1007\/978-3642-28891-3_13“}，{“key”：“7_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Delange，J.，Feiler，P.，Gluch，D.P.，Hudak，J.：AADL故障建模，ARP4761安全评估中的分析。技术报告CMU\/SEI-2014-TR-020，软件工程研究所”，“doi”：“10.21236\/ADA610294”}，}，“volume-title”：“《SysML实用指南》，“年份”：“2008年”，“作者”：“S Friedental”，“key”：“7_CR10”，“非结构化”：“Friedenthal，S.，Moore，A.，Steiner，R.：《SysXML实用指南》。Morgan Kaufman Publisher，San Francisco（2008）“}，{“key”：“7_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Gudemann，M.，Ortmeier，F.：基于定性和定量形式模型的安全分析框架。摘自：2010年IEEE第12届高保证系统工程国际研讨会论文集，HASE 2010，第132\u2013141页。IEEE Computer Society，Washington，D.C.（2010）“，”DOI“：”10.1109\/HASE.2010.24“}，{“issue”：“9”，“key”：“7_CR12”，“DOI-asserted-by”：“crossref”，“first page”：”1305“，”DOI“：“10.1109\/5.97300”，“volume”：：“79”，“author”：“N Halbwachs”，“year”：“1991”，“unstructured”：“Halbwachs N.、Caspi P.、Raymond P.和Pilaud D.：同步数据流编程语言光泽。程序。IEEE 79（9），1305\u20131320（1991）”，“期刊标题”：“Proc。IEEE“}，{”问题“：“1”，“key”：“7_CR13”，“doi-asserted-by”：“crossref”，“first-page”：“7”，“doi”：“10.3390\/info8010007”，”卷“：“8”，“author”：“P Hnig”，“year”：“2017”，“unstructured”：“Hnig，P.，Lunde，R.，Holzapfel，F.：基于模型的智能Iflow安全分析。信息8（1），7（2017）”，“日志标题”：“信息”}，“key”：“7_CR14”，“series-title”：“《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“122”，“doi”：“10.1007\/11563228_10”，“volume-title”：“计算机安全、可靠性和安全”，“author”：“A Josh”，“year”：“2005”，“unstructured”：“Joshi，A.，Heimdahl，M.P.E.：使用SCADE设计验证器对simulink模型进行基于模型的安全分析。作者：Winther，R.，Gran，B.A.，Dahl，G.（编辑）SAFECOMP 2005。LNCS，第3688卷，第122页\u2013135。斯普林格，海德堡（2005）。doi:10.1007\/11563228_10“}，{“key”：“7_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Joshi，A.，Heimdahl，M.P.：基于模型的安全分析的行为故障建模。摘自：第十届IEEE高保证系统工程研讨会（HASE）（2007）论文集”，“doi”：“10.1109\/HASE.2007.58”}，}，“key“：”7_CR16“，”doi-assert-by“：“cross-ref”非结构化“：”Joshi，A.、Miller，S.P.、Whalen，M.、Heimdahl，M.P.：基于模型的安全分析提案。摘自：《第24届数字航空电子系统会议论文集》（2005年获最佳跟踪论文奖），“DOI”：“10.1109\/DASC.2005.1563469”}，{“key”：“7_CR17”，“unstructured”：“Joshi，A.，Whalen，M.，Heimdahl，M.P.：自动安全分析最终报告草案。NASA合同报告NCC-01001（2005）”}非结构化”：“Larson，B.，Hatcliff，J.，Fowler，K.，Delange，J.：使用简单的安全关键型医疗设备说明AADL错误建模附件（v.2）。摘自：《2013年ACM SIGAda高完整性语言技术年会论文集》（HILT 2013），第65\u201384页。ACM，New York（2013）“，“DOI”：“10.1145\/2527269.2527271”}，{“key”：“7_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lisagor，O.，Kelly，T.，Niu，R.：基于模型的安全评估：学科及其挑战的回顾。摘自：《2011年第九届可靠性、可维护性和安全性国际会议论文集》，pp.625\u2013632（2011）”，“DOI“：”10.1109\/ICRMS.2011.5979344“}，{“key”：“7_CR20”，“unstructured”：“MathWorks:The MathWorks Inc.，Simulink产品网站（2004）。http://www.MathWorks.com/products\/Simulink“}”，{”key“：”7_CR21“，”DOI-asserted-by“：”crossref“，”unstructure“：”Murugesan，A.，Whalen，M.W.，Rayadurgam，S.，Heimdahl，M.P.：医疗器械系统的成分验证。摘自：ACM高完整性语言技术国际会议（HILT 2013），ACM（2013）“，”DOI“：”10.1145\/2527269.2527272“}，{”key“：”7_CR22“，”unstructured“：”Pajic，M.，Mangharam，R.，Sokolsky，O.，Arney，D.，Goldman，J.，Lee，I.：闭环医疗系统的模型驱动安全分析。IEEE Trans.Industr.Inf.pp.1\u201312（2012）“}”问题“：”22“，”关键“：”7_CR23“，”doi-asserted-by“：”crossref“，”首页“：”127“，“doi”：“10.3182\/20130904-3-UK-4041.00028”，“卷”：“46”，“作者”：“T Prosvirnova”，“年份”：“2013”，“非结构化”：“Prosvirnova，T.，Batteux，M.，Brameret，P.-A.，Cherfi，A.，Friedlhuber，T..，Roussel，J.-M.，Rauzy，A.：AltaRica 3.0项目基于模型的安全评估。IFAC程序。体积。46（22），127\u2013132（2013）”，“期刊标题”：“IFAC Proc。体积。“}，{”key“：”7_CR24“，”unstructured“：”SAE ARP 4761:《民用机载系统和设备安全评估过程指南和方法》（1996）“}”，{“key”：“7_CR25”，“unstructure”：“SAE AS 5506B\u20133:Aadl附件第1卷（2015）”}，“key“:”7_CR16“，”doi-asserted-by“：”crossref“，”非结构化“：”Sokolsky，O.，Lee，I.，Clarke，D.：AADL模型的过程代数解释。摘自：第十四届Ada-Europe可靠软件技术国际会议论文集（Ada-Europe 2009），法国布雷斯特，2009年6月8日，第222\u2013236页（2009）“，“DOI”：“10.1007\/978-3642-01924-1_16”}]，“container-title”：[“计算机科学讲义”，“基于模型的安全与评估”]，“原始标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_7”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2019,10,1]]，“日期时间”：“2019-10-01T22:22:31Z”，“时间戳”：1569968551000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com/10.1007\/978-3-319-64119-5_7“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2017年]]}，“ISBN”：[“9783319641188”，”97833199641195“]，”引用计数“：26，”URL“http://\/dx.doi.org 10.1007\/978-3-319-64119-5_7”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”电子“，”值“：”1611-3349“}]，”主题“：[]，”发布“：{”日期部分“：[[2017]]}}