{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T20:38:05Z”，“时间戳”：1726173485780}，“出版商位置”：“查姆”，“引用计数”：22，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783031158414”}，{“类型”：“电子”，“value”：“9783031158421”}]，“license”：[{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2022,1,1]，“日期-时间”：“022-01-01T”00:00:00Z“，”timestamp“：1640995200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3-031-15842-1_6“，”类型“：”book-capter“，”创建“：{”date-part“：[[2022,9,8]]，“日期-时间”：“2022-09-08T00:02:50Z”，“timestamp”：1662595370000｝，“page”：“68-82”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“由count引用”：0，“title”：[“基于模型的安全分析在自动轨道交通新机车车辆全球运营系统设计中的实际应用”]，“prefix”：“10.1007”，“author”：[{“given”：“Anthony”，“family”：“Legendre”，“sequence”：“first”，“affiliation”：[]}：“自动化等级提高的含义。https:\/\/www.apta.com/wp-content\/uploads\/RC17-Keevill_Dave.pdf.2022年4月24日访问”，“key”：“6_CR1”}，{“issue”：“8\u20139”，“key”：”6_CR2“，“first page”：：“Point，G.，Rauzy，A.：AltaRica:作为描述语言的约束自动机。Eur.J.Autom.Syst.33（8\u20139），1033\u20131052（1999）”，“日志标题”：“Eur.J Autom.System.”}，{“doi-asserted-by”：“crossref”，“非结构化”：“Prosvirnova，T.，Batteux，M.，Brameret，P.A.，Cherfi，A.，Friedlhuber，T..等人：基于模型的安全评估的AltaRica 3.0项目。摘自：第四届IFAC离散系统可靠控制研讨会，DCDS 2013，York，UK（2013）”，“key”：“6_CR3”，“DOI”：“10.3182\/20130904-3-UK-4041.00028”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“Bouissou，B.，Bouhadana，H.，Bannelier，M.，Villatte，N.：知识建模和可靠性处理：FIGARO语言和相关工具的介绍。摘自：SAFECOMP 1991年会议记录，挪威特隆赫姆（1991）”，“key”：“6_CR4”，“DOI”：“10.1016\/S1474-6670（17）51368-3”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“G\u00fcdemann，M.，Ortmeier，F.：基于模型的定性和定量安全分析框架。摘自：第十二届高保证系统工程研讨会论文集（HASE 2010），第132\u2013141页（2010）”，“关键”：“6_CR5”，“DOI”：“10.1109”，“HASE.2010.24”：“10.1002\/spe.1044”，“volume”：“41”，“author”：“M Adachi”，“year”：“2011”，“unstructured”：“Adachi，M.，Papadopoulos，Y.，Sharvia，S.，Parker，D.，Tohdo，T.：使用HiP-HOPS.Softw.Pract.Expert.41（11），1303\u20131327（2011）”，“journal-title”：“Softw.Pact.Expert.”}，{“doi-asserted-by”：“crossref”，“非结构化”：“Feiler，P.H.，Gluch，D.P.，John，J.H.：体系结构分析与设计语言（AADL）。In：ERTS 2006年会议，法国图卢兹软件工程研究所（2006）”，“key”：“6_CR7”，“DOI”：“10.21236\/ADA455842”}，{“非结构化的”：“Cancila，D.，Terrier，F.，et al.：SOPHIA：基于模型的安全工程建模语言。在：ACES-MB@MoDELS公司2009年研讨会论文集，美国丹佛（2009）“，”key“：”6_CR8“}，”{“key”：“6_CR9”，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“19”，”doi“：”10.1007\/978-3-319-64119-5_2“，”volume-title“：“基于模型的安全与评估”，”author“：”T Prosvirnova“，“年份”：“2017”，”unstructured“：”Prosvirnova，T.，Saez，E.，Seguin，C.，Virelizier，P.：处理安全和系统模型之间的一致性。收录：Bozzano，M.，Papadopoulos，Y.（编辑）IMBSA 2017。LNCS，第10437卷，第19\u201334页。查姆施普林格（2017）。https:\/\/doi.org\/10.1007\/978-3-319-64119-5_2“}，{”key“：”6_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“35”，”doi“：”10.1007\/978-30-319-64109-5_3“，“volume-title”：“基于模型的安全与评估”，“author”：“A Legendre”，“年份”：“2017”，“非结构化”：“Legendre，A.，Lanusse，A.，Rauzy，A.：工业环境中安全分析和系统架构设计之间的模型同步。In：Bozzano，M.，Papadopoulos，Y.（编辑）IMBSA 2017。LNCS，第10437卷，第35\u201349页。查姆施普林格（2017）。https:\/\/doi.org\/10007\/978-3-319-64119-5_3“}，{”key“：”6_CR11“，”doi-asserted-by“：”publisher“，”first page“：“37”，”doi“：”10.1007\/988-3030-34843-4_4“，”volume-title“：”Complex Systems Design&Management“，”author“：”M Batteux“，“year”：“2020”，“unstructured”：“Batteux，M.等人：系统架构、多物理和安全模型的同步。收录于：Boy，G.A.、Guegan，A.、Krob，D.、Vion，V.（编辑）CSDM 2019，第37\u201348页。查姆施普林格（2020）。https:\/\/doi.org\/10007\/978-3-030-34843-4_4“}，{”doi-asserted-by“：”crossref“，”unstructured“：”Batteux，M.，Choley，J.Y.，Mhenni，F.，Prosvirnova，T.，Rauzy，A.：系统架构和安全模型的同步：概念证明。摘自：IEEE国际系统工程研讨会，2019年，英国爱丁堡（2019）。hal-02357379“，”key“：”6_CR12“，”DOI“：”10.1109\/ISSE46696.2019.8984515“}，{“非结构化”：“通过les mod\u00e8les MBSE-MBSA\u201cInt\u00e 9gration des进行的系统体系结构验证接近MBSE\/MBSA pour la pr\u00e_9vision，le suivi et l\u2019性能优化。http://\/afis.community\/wp-content\/uploads\/2019\/07\/JT-19-06_APSYS_MBSE-MBSA.pdf。2022年4月24日访问“，”key“：”6_CR13“}，{“非结构化”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.：系统结构建模语言（S2ML）（2015）.hal-01234903”，“key”：“6_CR14”}，”doi-asserted-by“：”publisher“，”unstructured“：”Issad，M.、Kloul，L.、Rauzy，A.、Berkani，K.：使用ScOLA对CBTC铁路系统进行建模。摘自：法国波尔多ITS世界大会（2015）。https:\/\/doi.org\/10.1007\/s13177-017-0146-2“，”key“：”6_CR15“，”doi“：”10.1007\/s13107-017-0176-2“}，{”unstructured“：”Sun，P.：“基于模型的铁路关键系统安全系统工程。自动化。里尔中央大学（2015）。NNT:2015ECLI0018。tel-01293395“，”key“：”6_CR16“}，{“key”：“6_CR17”，”doi-asserted-by“：”publisher“，”first page“：“73”，”doi“：”10.1007\/978-3642-34404-6_5“，”volume-title“：”Complex Systems Design&Management“，”author“：”D Vauquier“，”year“：”2013“，”unstructured“：”Vauquier，D.：运输系统建模：使用开放方法Praxeme的案例研究。摘自：Aiguier，M.、Caseau，Y.、Krob，D.、Rauzy，A.（编辑）《复杂系统设计与管理》，第73\u201389页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-34404-6_5“}，{“非结构化”：“Zing，C.，Iningoue，V.：对完整地铁线路进行RAM研究的方法。见：第22届风险管理和可靠性大会\u03bb\u03bc22，勒阿弗尔（2020）”，“key”：“6_CR18”}，}“非结构性”：“Yanar，D.：使用面向对象方法进行风险分析的系统结构。在：《第四届概率安全评估与管理国际会议论文集》（PSAM IV），纽约，第1卷，第227\u2013232页（1998年），“key”：“6_CR19”｝，｛“非结构化”：“Krob，D.:CEASM:CESAMES系统架构方法，袖珍指南。CESAM Community，Paris，France（2017）”，“key”：“6_CR20”｝，｛“doi asserted by”：“publisher”非结构化”：“Rauzy，A.：防护过渡系统：可靠性研究的一种新的状态/事件形式主义。摘自：《机械工程师学会会刊》，风险与可靠性杂志第O部分，第222卷（2008年）。https:\/\/doi.org\/10.1243\/1748006XJRR177“，”key“：”6_CR21“，”doi“：”10.1243\/174800 6XJrr177“}，{”unstructured“：”Batteux，M.，Prosvirnova，T.，Rauzy，A.：AltaRica向导：AltaRica 3.0的集成建模和仿真环境。收录于：Congr\u00e9s Lambda Mu 21\u00abMa\u00eetrise des risques et transformation num\u00e 9rique:opportunit\u00e9 s et contreates\u00bb，Reims，France，October 2018（2018）“，“key”：“6_CR22”}]，“container-title”：[“Computer Science课堂笔记”，“基于模型的安全与评估”]，“original title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-031-15842-1_6“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2022,9,8]]，“date-time”：”2022-09-08T00:04:26Z“timestamp”：1662595466000}，“score”：1，“resource”：{“primary”：“{”URL“：”https:\/\/link.springer.com/10.1007\/978-3-031-15842-1_6“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2022]]}，“ISBN”：[“9783031158414”，”9783031188421“]，”引用计数“：22，”URL“http://\/dx.doi.org\/10.1007\/9783-031-15842-1_6”，“关系”：{}，“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”type“：”electronic“，”value“：“1611-3349”}]，”subject“：[]，”published“：{”date-parts“：[[2022]]}，”assertion“：[{”value”：“2022年9月9日”，”order“：1，”name“：”first_online“，”label“：”first online“，标签“：”会议缩写“，”组“：{”名称“：”ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”基于模型的安全与评估国际研讨会“，”order“：2，”name“：”Conference_name“，”标签“：”会议名称“，”group“：会议信息”，“标签”：“会议信息”}}，{“值”：“德国”，“顺序”：4，“名称”：“Conference_country”，“label”：“开会国家”，“组”：{“name”：“ConferenceInfo”}，{“value”：“2022年9月5日”，“order”：7，“name”：“conference_start_date”，“label”：“会议开始日期”，“group”：8英寸，“order”：9，“name”：“conference_number”，“label”：“conference number”，“group”：{“name”:“ConferenceInfo”，”label“：“Confection Information”}}，{“value”：“imbsa2022”，“order:10，”name“：”conference_id“，”lable“：”ConferenceID“，”group“：{”name“:”ConferencieInfo“，”标签“：”会议信息“}}”，{”value“：”https:\\/easyconferences.eu\/imbsa202 2\/“，”订单“：11，“name”：“conference_url”，“label”：“ConferenceURL”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“Single blind”，“order”：1，“name”：“type”，“label”：“type”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“Easychair”，“order”：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：{“name”：“ConfEventPeerReviewInformation”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}：“3”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由会议组织者提供）”}}，{“value”：“56%-值由等式计算\”已接受的完整论文数\/已发送供审阅的提交数*100”，然后四舍五入为整数。“，”订单“：6，”名称“：”acceptance_rate_of_Full_Papers“，”标签“：”完整论文的接受率“，”组“：{”name“：”ConfEventPeerReviewInformation“，”label“：”同行审阅信息（由会议组织者提供）“}}，{”value“：”3“，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评论信息（由会议组织者提供）”}}，{“value”：“2”，“orders”：8，“name”：“average_nument_of_papers_per_reviewer”，”label“：“每位审阅者的平均论文数”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部评审员”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝}]}}