{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,9,8]]，“日期时间”：“2022-09-08T04:44:40Z”，“时间戳”：1662612280097}，“发布者位置”：“Cham”，“引用计数”：13，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783031158414”，“类型”：”打印“}，{“值”：“9783031158421”，“type”：“electronic”｝]，“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 parts”：[[2022,1,1]]，“date time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000｝，“content版本”：“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_12“，”type“：”book-capter“，”“created”：{“date-ports”：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“155-169”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：0，“标题”：[“基于Capella的Nano\/Micro卫星可用性早期评估工具”]，“前缀”：“10.1007”，”作者“：[{”给定“Guillaume”，“family”：“Brau”，“sequence”：“第一个“，“affiliation”：[]}，{“given”：“Eric”，“family”：“Jenn”，“sequence”：“additional”，“affaliance”：[]}计算机科学“，”doi-asserted-by“：”publisher“，“首页”：“18”，“DOI”：“10.1007\/978-3-030-32872-6_2”，“卷标题”：“基于模型的安全性和评估.IMBSA 2019”，“作者”：“L Bitetti”，“年份”：“2019”，“非结构化”：“Bitetti，L.、Ferluc，R.D.、Mailland，D.、Gregoris，G.、Capogna，F.：利用Capella开源工具进行空域RAMS分析的基于模型的方法。见：Papadopoulos，Y.、Aslansefat，K.、Katsaros，P.、Bozzano，M.（编辑）IMBSA 2019。LNCS，第11842卷，第18\u201331页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-32872-6_2“}，{“key”：“12_CR2”，“volume-title”：“采用阿卡迪亚方法的基于模型的系统和建筑工程”，“author”：“J-L Voirin”，“year”：“2017”，“unstructured”：“Voirin，J.-L.：采用阿卡迪亚方法的模型的系统与建筑工程。Elsevier，Amsterdam（2017）”}，}“key:”12_CR3“，”series-title“：”可靠计算和容错系统“，”doi-asserted-by“：”publisher“，”first page“：”3“，”doi“：”10.1007\/978-3-7091-9170-5_1“，“volume-title”：“可信性：基本概念和术语”，“author”：“J-C Laprie”，“year”：“1992”，“unstructured”：“Laprie，J.-C.：可信性：基础概念和术语。摘自：Laprie，J.C.（编辑）《可靠性：基本概念和术语》。可靠计算和容错系统，第5卷，第3\u2013245页。施普林格，维也纳（1992）。https:\/\/doi.org\/10.1007\/978-3-7091-9170-5_1“}，{“key”：“12_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Prosvirnova，T.，et al.：AltaRica 3.0基于模型的安全评估项目。In:第四届IFAC离散系统可靠控制研讨会（2013）”，“doi”：“10.1002\/inst.201316424”}，“key“：”12_CR5“，”doi-assert-by“：”publisher“，”DOI“：”10.1201\/9781315382425“，”volume-title“：”可靠性工程和风险分析：实用指南“，”author“：”M Modarres“，”year“：”2016“，”unstructured“：”Modarres，M.，Kaminskiy，M.、Krivtsov，V.：”可靠性工程学和风险分析“：实用指南。CRC Press，Boca Raton（2016）“}，{“key”：“12_CR6”，“unstructured”：“Sinibaldi，C.，Vella，B.，Bonnet，F.，Spizzi，P.：模块化体系结构的模块化盒。收录于：第33届美国国际航空航天局小型卫星年会（2019年）”}，}Machin，M.，Sagaspe，L.，de Bossoreille，X.：SimfiaNeo，复杂系统，但简单安全。In:第九届欧洲嵌入式实时软件和系统大会（2018）“}，{“key”：“12_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Yushtein，Y.，et al.：系统-软件联合工程：可靠性和安全性观点。In:2011 IEEE第四届信息技术空间任务挑战国际会议（2011）”，“doi”：“10.1109 \/SMC-IT.2011.16“}，{“key”：“12_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Feiler，P.H.，Lewis，B.A.，Vestal，S.：SAE架构分析设计语言（AADL）是工程性能关键系统的标准。In:2006 IEEE计算机辅助控制系统设计会议（2006）”，“doi”：“10.1109\/CACSD.2006.285483”}，}“key“：”12_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Adedjouma，M.，Yakymets，N.：基于模型的网络物理系统可靠性分析框架。摘自：IEEE第19届高保证系统工程国际研讨会（2019年）”，“DOI”：“10.1109\/HASE.2019.00022”}，{“key”：“12_CR11”，“volume-title”：“SysML实用指南：系统建模语言”，“author”：“S Friedental”，“year”：“2014”，“unstructured”：“Friedental，S.，Moore，A.，Steiner，R.：SysML实用指南：系统建模语言。Elsevier，Amsterdam（2014）“｝，｛”key“：”12_CR12“，”doi断言“：”crossref“，”非结构化“：”Yakimets，N.，Munoz，J.，Lanusse，A.：Sophia un environmental pour l\u2019analyse de s\u00fbret\u00e9\u00e0 partir de mod\u00e8les（Sophia基于模型的安全分析框架）.In：9e Congr\u00e8s de Ma\u00eetrise des Risques et S\u00fbret\u00e 9 de Fonctionnement（2014）“，”DOI“：”10.4267\/2042\/56148“}，{“key”：“12_CR13”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”359“，“DOI”：“10.1007\/3-540-45657-0_29”，“volume-title”：”计算机助手d验证。CAV 2002”，“作者”：“A Cimatti“，”year“：”2002“，”unstructured“：”Cimatti，A.等人：NuSMV 2:用于符号模型检查的OpenSource工具。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第2404卷，第359\u2013364页。斯普林格，海德堡（2002）。https:\/\/doi.org\/10.1007\/3-540-45657-0_29“}]，“container-title”：[“基于模型的安全与评估”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“https:\//link.springer.com\/content\/pdf\/10.10007\/978-3-031-15842-1_12”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“deposed”：{“date-parts”：[[2022,9,8]]，“date-time”：“2022-09-08T04:05:09Z”，“timestamp”：1662609909000}，“score”：1，“resource”：{“primary”：{:“URL”：“https:\/\/link.springer.com/10.1007\/978-3-031-15842-1_12”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2022]}”，“ISBN”：[”9783031158414“，”978303118421“]，“references-count”：13，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-031-15842-1_12”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”：“2022年9月9日”，“订单”：1，“名称”：“first_online”，“标签”：“第一在线”，“群组”：{“name”：“ChapterHistory”，“label”：“ChapterHistory”}}，{“value”：“IMBSA”，“order”：1，“name”:“conference_acrombit”，“标签”：“会议缩写词”，“group”：：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“Munich”，“order”：3，“name”:“Conference_city”，“table”：“conferency city”，“group”：{”name“：”ConferenceInformo“，”label“：”会议信息“}，”value“：”Germany“，”order“：4，“name：“会议信息”}}，{“value”：“2022”，“order”：5，“name”：“Conference_year”，“label”：“会议年份”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}，}“值”：“2020年9月5日”，“订单”：7，“name“Conference_start_date”，值“：“2022年9月7日”，“顺序”：8，“名称”：“会议结束日期”，“标签”：“会议结束日期”，“组”：｛“名称”：“会议信息”，“标签”：“会议信息”｝｝，｛“值”：“8”，“顺序”：9，“名称”：“会议编号”，“标签”：“会议编号”，“组”：｛“名称”：“会议信息”，“标签”：“会议信息”｝｝，｛“值”：“imbsa2022”，“顺序”：10，“名称”：“conference_id”，“label”：“会议id”，“group”：{“name”：“ConferenceInfo”，“table”：“Meeting Information”}}，{“value”：“https:\\/easyconferences.eu\\imbsa2022\/”，“order”：11，“name”:“conference_url”，“标签”：“大会url”，“group”：{“name”；“ConferencieInfo”1，“名称”：“类型”，“标签”：“Type”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供：“同行评审信息（由会议组织者提供）”}}，{“value”：“27”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行审议信息（由大会组织者提供）：“number_of_full_papers_accepted”，“label”：“已接受的完整论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由会议组织者提供）”}}，{“value”：“3”，“order”：5，“name”：“number _of_short_papers_accepted“，”label“：”已接受的短论文数“，”group“：{”name“：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“56%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“标签”：“完整论文的接受率”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“3”，“order”：7，“name”:“average_number_of_reviews_per_paper”，“标签”：“每篇论文的平均评论数”，“group”：：“同行评议信息（由会议组织者提供）”}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由大会组织者提供）：“external_reviewers_involved”，“label”：“涉及外部审阅者”，“group”：{“name”：“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}