{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,15]]，“日期时间”：“2024-09-15T14:01:08Z”，“时间戳”：1726408868931}，“出版商位置”：“查姆”，“参考计数”：31，“出版者”：“斯普林格国际出版”，“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_18“，”type“：”book-capter“，”created“：{”date-part“：[[2022,9,8]]，“日期-时间”：“2022-09-08T00:02:50Z”，“时间戳”：166259537000}，“页面”：“252-266”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：7，”title“：[”SafeDrones:使用可执行数字可靠身份对\u00a0UAV进行实时可靠性评估“]，”prefix“：”10.1007“，”author“：[{”given“：”Koorosh“，”family“：“Aslansefat”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Panagiota”，“family”：“Nikolaou”，“serquence”:“additional”，“filiation“：[]{”given“：”Martin“，”family“：”Walker“，”sequence“：”additional“，”family“：”Sorokos“，”sequence“：“additional”，“affiliation”：[]}，{“given”：“Jan”，“family”：“Reich”，“sequence”：“addressive”，“abfiliation“：[]{”given“：”Panayiotis“，”family“：”Kolios“，”sequence“：”additional“，”affiliationation“：[]}，}“giving”：“Maria K.”，“家族”：“迈克尔”，“序列”：“additional”“：”附加“，“affiliation”：[]}，{“given”：“Georgios”，“family”：“Ellinas”，“sequence”：“additional”，“affaliation”（从属关系）：[]neneneep：[[2022,9,9]]}，“参考”：[{“键”：“18_CR1”，“doi-asserted-by”：“crossref”，《非结构化》：“Adler，R.，Forster，M.，Trapp，M.：确定安全关键型自适应系统的配置概率。收录于：第21届高级信息网络与应用国际会议研讨会（AINAW 2007），第2卷，第548\u2013555页。IEEE（2007）“，“DOI”：“10.1109\/AINAW.2007.153”}，{“key”：“18_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Armengaud，E.，et al.：DDI：可靠、协作和自治系统的新技术和创新模型。见：2021年欧洲会议展览设计、自动化和测试（DATE），第1626\u20131631页。IEEE（2021）“，”DOI“：”10.23919\/DATE51398.2021.9474049“}，{”key“：”18_CR3“，”DOI-asserted-by“：”publisher“，”first page“：“282”，“DOI”：“10.1016\/j.isatra.2019.08.015”，“volume”：“97”，“author”：“K Aslansefat”，“year”：“2020”，“unstructured”：“Aslansefat，K.，Gogani，M.B.，Kabir，S.，Shoorehdeli，M.A.，Yari，M.：通过半马尔可夫过程对可变阈值报警系统进行性能评估和设计。ISA事务。97282\u2013295（2020）”，“期刊标题”：“ISA Trans。“}，{”issue“：”8“，”key“：”18_CR4“，”doi-asserted-by“：”publisher“，”first-page“：”66“，”doi“：”10.1109\/MC.2021.3075054“，”volume“：“54”，”author“：”K Aslansefat“，”year“：”2021“，”unstructured“：”Aslansefat，K.，Kabir，S.，Abdullatif，A.，Vasudevan，V.，Papadopoulos，Y.：提高对自动车辆软件的信心：交通标志识别系统的研究。计算机54（8），66\u201376（2021）“，”日志标题“：”计算机“}，{“key”：“18_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Aslansefat，K.，Kabir，S.，Gheraibia，Y.，Papadopoulos，Y.：动态故障树分析：建模、分析和工具方面的最先进技术。《可靠性管理与工程：挑战与未来趋势》，第4章，第73\u2013111页。CRC Press-Taylor&Francis（2020）”，“DOI”：“10.1201\/9780429268922-4”｝，｛“issue”：“3”，“key”：“18_CR6”，“DOI断言”：“publisher”，“first page”：“986”，“DOI”：“10.1109\/TR2.2019.2923893”，“volume”：“69”，“author”：“K Aslansefat”，“year”：“2019”，“nonstructured”：“Aslansefat，K.，Latif-Shabgahi，G.R.：通过半马尔可夫过程求解动态故障树的分层方法。IEEE传输。Reliab公司。69（3），986\u20131003（2019）“，“期刊标题”：“IEEE Trans。Reliab公司。“}，{”key“：”18_CR7“，”series-title“：”IFIP Advances in Information and Communication Technology“，”doi-asserted-by“：”publisher“，”first page“：“91”，”doi“：”10.1007\/978-3-030-17771-3_8“，”volume-title“：“工业和服务系统的技术创新”，”author“：”K Aslansefat“，”year“：”2019“，”unstructured“：”Aslansefat，K.，Marques，F.，Mendon\u00e7a，R.，Barata，J.：基于马尔可夫过程的多旋翼无人机推进系统可靠性评估方法。收录人：Camarinha-Matos，L.M.，Almeida，R.，Oliveira，J.（编辑）DoCEIS 2019。IAICT，第553卷，第91\u201398页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-17771-3_8“}，{“key”：“18_CR8”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“197”，”doi“：”10.1007\/978-300-58920-2_13“，”volume-title“：”基于模型的安全与评估“，”author“：”K Aslansefat“，”年份“2020”，“非结构化”：“Aslansefat，K.，Sorokos，I.，Whiting，D.，Tavakoli Kolagari，R.，Papadopoulos，Y.：SafeML：通过统计差异度量对机器学习分类器进行安全监控。摘自：Zeller，M.，H\u00f6图，K.（编辑）IMBSA 2020。LNCS，第12297卷，第197\u2013211页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-58920-2_13“}，{“key”：“18_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Belcastro，C.M.、Newman，R.L.、Evans，J.、Klyde，D.H.、Barr，L.C.、Ancel，E.：无人驾驶飞机系统操作的危险识别和分析。收录于：第17届AIAA航空技术、集成与运营会议，第3269页（2017）“，”DOI“：”10.2514\/6.2017-3269“}，{“问题”：“2”，“关键”：“18_CR10”，“DOI-asserted-by”：“publisher”，“首页”：“149”，”DOI:“10.1016\/S0951-8320（03）00143-1”，“卷”：“82”，“作者”：“M Bouissou”，年：“2003”，“非结构化”：“Bouissou，M.，Bon，J.L.：一种结合了故障树和马尔可夫模型优点的新形式主义：布尔逻辑驱动的马尔可夫过程。Reliab公司。工程系统。安全。82（2），149\u2013163（2003）“，“新闻标题”：“Reliab。工程系统。安全系数。“｝，｛”key“：”18_CR11“，”doi asserted by“：”publisher“，”doi“：”10.1002\/9780470400531“，”卷标题“：”Wiley Encyclopedia of Operations Research and Management Science“，”作者“：”J Cochran“，”年份“：”2010“，”非结构化“：”Cochran，J.：Wiley Encyclopedia of Operations Research and Management Science。Wiley，Hoboken（2010）“｝，｛”key“：”18_CR12“，”非结构化“：”DEIS联盟：开放可靠性交换元模型。https:\/\/github.com/Digital-Dependability-Identities\/ODE。2022年4月28日访问“}，{“key”：“18_CR13”，“unstructured”：“Franco，B.J.D.O.M.，G\u00f3es，L.C.S.：无人机（UAV）应用中的故障分析方法。收录于：COBEM 2007年第19届国际机械工程大会（2007）会议记录”}，}“key:”18_CR14“，”doi-asserted-by“：”publisher“，”first page:“135855”，“doi”：“10.1109\/ACCESS.2019.2941566“，“卷”：“7”，“作者”：“Y Gheraibia”，“年份”：“2019”，“非结构化”：“Gheraiba，Y.，Kabir，S.，Aslansefat，K.，Sorokos，I.，Papadopoulos，Y.：安全+人工智能：使用人工智能更新安全模型的新方法。IEEE Access 7，135855\u2013135869（2019）“，”journal-title“：”IEEE Access“}，{”key“：”18_CR15“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1016\/j.cor.2019.01.013“，”volument“：”106“，”author“：”j Guo“，”year“：”2019“，”unstructured“：”Guo，J.，Elsayed，E.A.：平衡式多级无人机的可靠性。计算。操作。决议106，1\u201313（2019）“，“新闻标题”：“计算。操作。研究“}，{”key“：”18_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“109”，“doi”：“10.1007\/978-3030-32872-6_8”，“volume-title”：“基于模型的安全与评估”，“author”：“S Kabir”，“year”：“2019”，“unstructured”：“Kabir，S.、Aslansefat，K.、Sorokos，I.、Papadopoulos，Y.、Gheraibia，Y.：将复杂基本事件纳入HiP-HOPS的概念框架。收录：Papadopoulos，Y.、Aslansefat，K.、Katsaros，P.、Bozzano，M.（编辑）IMBSA 2019。LNCS，第11842卷，第109\u2013124页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-32872-6_8“}，{”key“：”18_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“332”，”doi“：”10.1007\/978-30-32872-6_22“，”volume-title“：“基于模型的安全与评估”，”author“：”S Kabir“，”年份“：”2019“，”unstructured“：”Kabir，S.等人：开放自适应系统的运行时安全分析概念。收录：Papadopoulos，Y.、Aslansefat，K.、Katsaros，P.、Bozzano，M.（编辑）IMBSA 2019。LNCS，第11842卷，第332\u2013346页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-32872-6_22“}，{“key”：“18_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Kim，D.S.，Ghosh，R.，Trivedi，K.S.：传感器网络可靠性分析的层次模型。摘自：2010 IEEE第16届环太平洋地区可靠计算国际研讨会，第247\u2013248页（2010）”，“doi”：“10.1109 \/PRDC.2010.25“}，{“key”：“18_CR19”，“unstructured”：“Murtha，J.F.：证据理论和故障树分析，以经济有效地提高小型无人机设计的可靠性。弗吉尼亚理工学院和州立大学（2009）”}，}，“key“：”18_CR20“，”doi-asserted-by“：”crossref“，”unstructure“：”Olson，I.，Atkins，E.M.：小型四旋翼无人飞机系统的定性故障分析。在：AIAA制导、导航和控制（GNC）会议，p.4761（2013）“，”DOI“：”10.2514\/6.2013-4761“}，{“问题”：“2”，“关键字”：“18_CR21”，“DOI-asserted-by”：“publisher”，“首页”：“17”，“DOI”：“10.1109\/MDAT.2014.2359572”，“卷”：“32”，“作者”：“M Ottavi”，“年份”：“2014”，“非结构化”：“Ottavi，M.等人：纳米级可靠的多核架构：欧洲的观点。IEEE Design Test 32（2），17\u201328（2014）“，“journal-title”：“IEEE设计测试”}，{“key”：“18_CR22”，“doi-asserted-by”：“publisher”，“unstructured”：“Reich，J.，Trapp，M.：SINADRA：自动驾驶车辆的可保证态势感知动态风险评估框架。摘自：第16届欧洲可靠计算会议，EDCC 2020，德国慕尼黑，201310年9月7日，第47\u201350页。IEEE（2020）。https:\/\/doi.org\/10.109\/EDCC51268.2020.00017“，”doi“：”10.1109\/EDCC41268.2020.00017“}，{“key”：“18_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Sadeghzadeh，I.，Mehta，A.，Zhang，Y.：使用模型参考自适应控制和增益调度PID的四旋翼直升机无人机容错/损伤控制。在：AIAA制导、导航和控制会议，第6716页（2011）“，“DOI”：“10.2514\/6.2011-6716”}，{“key”：“18_CR24”，“DOI-asserted-by”：“crossref”，“unstructured”：“Savva，A.，et al.：ICARUS：无人机自动自主电力基础设施检查。在：2021年国际无人机系统会议（ICUAS），第918\u2013926页。IEEE（2021）“，”DOI“：”10.1109\/IGAS51884.2021.9476742“}，{”issue“：”2“，”key“：”18_CR25“，”DOI-asserted-by“：”publisher“，”first page“：“1”，”DOI:“10.1145\/2491465.2491467”，“volume”：“8”，“author”：“D Schneider”，“year”：“2013”，“unstructured”：“Schneider-，D.，Trapp，M.：开放自适应系统的有条件安全认证。ACM Trans.Auton自适应系统8（2），2013年1月20日（2013年）。https:\/\/doi.org\/10.1145\/2491465.2491467“，”journal-title“：”ACM Trans。自动。适应。系统。“}，{”key“：”18_CR26“，”doi-asserted-by“：”crossref“，”unstructured“：”Schneider，D.、Trapp，M.、Papadopoulos，Y.、Armengaud，E.、Zeller，M.，H\u00f6fig，K.：WAP：数字可靠性标识。摘自：2015 IEEE第26届软件可靠性工程国际研讨会（ISSRE），第324\u2013329页。IEEE（2015）“，“DOI”：“10.1109\/ISSRE.2015.7381825”}，{“key”：“18_CR27”，“DOI-asserted-by”：“crossref”，“unstructured”：“Sharvia，S.，Kabir，S.、Walker，M.，Papadopoulos，Y.：基于模型的可靠性分析：最新技术、挑战和未来展望。摘自：《软件质量保证》，第251\u2013278页。Elsevier（2016）“，“DOI”：“10.1016\/B978-0-12-802301-3.00012-0”}，{“key”：“18_CR28”，“unstructured”：“Soper，S.，Day，M.：亚马逊无人机坠毁袭击Jeff Bezos\u2019 delivery dreams。https:\/\/www.bloomberg.com\/news\/features\/2022-04-10\/Amazon-rone-crashes-delays-dream-at-risk.2022年4月10日访问“}，”{“key“：”18_CR29“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/9781316163047“，”volume-title“：”可靠性和可用性工程：建模、分析和应用“，”author“：”KS Trivedi“，“year”：“2017”，”unstructured“：”Trivedi.，K.S.，Bobbio，A.：可靠性和可用度工程：建模，分析和应用。剑桥大学出版社，剑桥（2017）“}，{“key”：“18_CR30”，“doi-asserted-by”：“crossref”，“unstructured”：“Valianti，P.，Papaioannou，S.，Kolios，P.和Ellinas，G.：禁用流氓无人机的多智能体协调近距离干扰。IEEE Trans.Mob.ComputVesely，W.，Dugan，J.，Fragola，J.，Minarick，Railsback，J.：航空航天应用故障树手册。技术报告，NASA安全与任务保证办公室，华盛顿特区（2002）“}”，“容器-标签”：[“计算机科学课堂讲稿”，“基于模型的安全与评估”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-031-15842-1_18”，“内容类型”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,8]]，”date-time“：”2022-09-08T00:05:43Z“，”timestamp“：1662595543000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15842-1_18”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2022]]}，“ISBN”：[“978303118414“，”9783031158421“]，”references-count“：31，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15842-1_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“电子”，“值”：“1611-3399”}]，“主题”：[]，“published”：{“date-parts”：[[2022]]}，“assertion”：[{“value”：“2022年9月9日”，“order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“IMBSA”，“order”：1，“name”:“conference_acrombit”，“table”：“conference-Acrombin”，“groups”：{name“ConferenceInfo”，“标签”：“会议信息”}}}、{“值”：“基于模型的安全与评估国际研讨会”，“订单”：2，“name”：“conference_name”，“label”：“ConferenceName”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“Munich”，“order”：3，“name”：“conference_city”，“label”：“ConferenceCity”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“Germany”，“order”：4，“name”：“conference_country”，“label”：“会议国家/地区“，”组“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，{”value“：”2022“，”order“：5，”name“:”Conference_year“，”标签“：”会议年“，”group“：name“：”ConferenceInfo“，”label“：”会议信息“}}，{“value”：“2022年9月7日”，“order”：8，“name”：“Conference_end_date”，“label”：“会议结束日期”，“group”：“：”会议信息“}}，{“value”：“imbsa2022”，“order”：10，“name”：“Conference_id”，“label”：“Conference_id”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}标签“：”会议信息“}}，{”value“：”Single-blind“，”order“：1，”name“：”type“，”label“：”type“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）}，{“value”：“15”，“order”：4，“name”：“number_of_full_papers_accepted”，“label”：“已接受的完整论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“label”：”同行评审信息（由会议组织者提供）“}}，{”value“：”3“，”order“：5，”name“：”number_ of_short_papers_Accepteded“，”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”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}