{“id”：“https://openalex.org/W1565059069“，”doi“：”https://doi.org/10.1007/978-3-540-39878-3_5“，”title“：“通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台”，”display_name“：”通过模型检查改善系统可靠性：The FSAP/NuSMV-SA安全分析平台“，”publication_year“：2003，”publiation_date“：”2003-01“，”ids“：{”openalex“：”https://openalex.org/W1565059069“，”doi“：”https://doi.org/10.1007/978-3-540-39878-3_5“，”mag“：”1565059069“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-39878-3_5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X“}，”机构“：[]，”国家“：[】，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw关联字符串“：[”ITC-IRST“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086483871“，”display_name“：”Adolfo Villafiorita“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Adolfo-Villafiolita“，“raw_affiliation_strings”：[“ITC-IRST”]}]，“countries_distiction_count”：0，“institutions_disticent_count“：0，”corresponding_author_ids“：[[]，c_list“：{”value“：5000，”currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：93，“cited_by_percentle_year”：｛“min”：96，“max”：97｝，“biblio”：｛“volume”：null，“issue”：null，“first_page”：“49“，”last_page“：”62“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9993，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.578077}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.576472}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.559888}，{”id“：”https://openalex.org/keywords/functional安全“，”display_name“：”功能安全“，”score“：0.55056}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.512369}]，”concepts“：[{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.764102}，{”id“：”https://openalex.org/C15792166，“wikidata”：https://www.wikidata.org/wiki/Q221329“，”display_name“：”Avionics“，”level“：2，”score“：0.7291811}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7136369}，{”id“：”https://openalex.org/C163707989，“wikidata”：https://www.wikidata.org/wiki/Q1996307“，”display_name“：”生命临界系统“，”level“：3，”score“：0.63364005}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.60949963}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.50802016}，{”id“：”https://openalex.org/C132835097，“wikidata”：https://www.wikidata.org/wiki/Q7663745“，”display_name“：”系统安全“，”级别“：2，”分数“：0.48292825}，{”id“：”https://openalex.org/C66283442，“wikidata”：https://www.wikidata.org/wiki/Q1389268“，”display_name“：”故障模式和影响分析“，”level“：2，”score“：0.4656454}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.45775685}，{”id“：”https://openalex.org/C2775928411，“wikidata”：https://www.wikidata.org/wiki/Q2041312“，”display_name“：”故障注入“，”level“：3，”score“：0.43805683}，{”id“：”https://openalex.org/C43214815，“wikidata”：https://www.wikidata.org/wiki/Q7310987“，”display_name“：”可靠性（半导体）“，”level“：3，”score“：0.4379458}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.42166463}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.4173909}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.32937276}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.22624344}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.20416397}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.10627577｝，｛”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”功率（物理）“，”等级“：2，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-39878-3_5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：23，“referenced_works“：[”https://openalex.org/W1489391022","https://openalex.org/W1496443761","https://openalex.org/W1539369192","https://openalex.org/W1589982562","https://openalex.org/W1655228179","https://openalex.org/W1787074469","https://openalex.org/W1976880037","https://openalex.org/W2000947342","https://openalex.org/W2001289891","https://openalex.org/W2015292805","https://openalex.org/W2029120383","https://openalex.org/W2030224590","https://openalex.org/W2060095702","https://openalex.org/W2115309705","https://openalex.org/W2119398027","https://openalex.org/W2147340401","https://openalex.org/W2170486381","https://openalex.org/W2177397681","https://openalex.org/W2561675875","https://openalex.org/W3145267187","https://openalex.org/W4300021588","https://openalex.org/W751044823","https://openalex.org/W78978769“]，”related_works“：[”https://openalex.org/W4248387524","https://openalex.org/W39645217","https://openalex.org/W3213161835","https://openalex.org/W3081376217","https://openalex.org/W2978816602","https://openalex.org/W2740060042","https://openalex.org/W2199167515","https://openalex.org/W2058015404","https://openalex.org/W1911386096","https://openalex.org/W1544976691“]，”ngrams_url“：”https://api.openalex.org/works/W1565059069/ngrams“，”“abstract_inverted_index”：{“安全”：[0177]，“关键”：[1]，“系统”：[2204]，“是”：[3,20,71]，“成为”：[4]，“更多”：[5,72]，“复杂”：[6]，“两者”：[7147]，“in”：[8,16,34,51185]，“the”：[9,17,35,46,62,84,89173186198]，“type”：[10]，“of”：[11,37,48,64109119164]，“功能”：[12]，“他们”：[13,19]，“提供”：[14140]，“和”：[15,70,96130156]，“方式”：[18]，“需求”：[21]，“to”：[22,40,99139151160192196]，“交互”：[23]，“with”：[24,66]，“their”：[25]，“environment.”：[26]，“Thous”：[27]，“growing”：[28]，“complexity”：[29,69]，“requires”：[30]，“an”：[31141182]，“sufficient”：[32]，“increase”：[3]3，“capacity”：[36]，“safety”：[3810104158165199]，“engineers”：[39]102150159]，“评估”：[41]，“系统”：[42,50,77155]，“安全”：[43]，“包括”：[44]，“分析”：[45]，“行为”：[47]，“a”：[49,68117154194]，“降级”：[52]，“情况”：[53]，“正式”：[54]，“验证”：[55]，“技术”：[56]，“喜欢”：[57]，“符号”：[58]，“模型”：[59,91]，“检查”：[60]，“有”：[61]，“潜在”：[63]，“处理”：[65]，“这样”：[67]，“经常”：[73]，“存在”：[74170]，“使用”：[75146]，“期间”：[76]，“设计”：[78]，“In”：[79]，“this”：[80]，“论文”：[81]，“we”：[82]，“present”：[83]，“FSAP/NuSMV SA”：[85110]，“平台”：[86]，“基于”：[87115]，“基于”：[88116]，“NuSMV2”：[90]，“检查器”：[92]，“that”：[993143]，“实现”：[94]，“已知”：[95]，“新颖”：[97]，“techniques”：[98]，“help”：[100]，“perform”：[103]，“analysis”：[105135]，“The”：[1063136167]，“main”：[107]，“功能”：[108]，“包括：”：[111]，“失败”：[1112120133]，“模式”：[113]，“定义”：[114]，“库”：[118]，“方式”，：[121]，“故障”：[122125]，“注入”：[123]，“自动”：[124]，“树”：[126]，“构造”：[127]，“用于”：[128179202]，“单调”：[129]，“非单调”：131]，“系统”：[132]，“排序”：[134]，“目标”：[137190]，“是”：[138169191]，“环境”：[142]，“可以”：[144]，“是”：[145]，“由”：[148157]，“设计”：[149]，“正式”：[152]，“验证”：[153]，“自动化”：[161]，“确定”：[162]，“阶段”：[163]，“评估”：[166]，“平台”：[168]，“开发”：[171]，“内部”：[172]，“ESACS”：[174]，“项目”：[175184]，“增强”：[176]，“分析”：[178]，“复杂”：[180]，“系统），”：[181]，“欧洲-联合国赞助”：[183]，“航空电子设备”：[187]，“部门”：[188]，“其”：[189]，“定义”：[193]，“方法论”：[195]，“改进”：[197]，“分析”：[200]，“实践”：[201]，“复杂”：[203]，“开发”：[205]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1565059069“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”年份“：2016，”引用by_count“：7}，{“年份”：2015，”引用by_count，{“年份”：2013，“引用_ by_count”：6}，{”年份“：2012，”引用_ by-count“：10}]，”更新日期“：“2024-05-20T11:32:31.385943”，“创建日期”：“2016-06-24”}