{“id”：“https://openalex.org/W2928260158“，”doi“：”https://doi.org/10.1007/978-3-030-17462-0_25“，”title“：”COMPASS 3.0“，”display_name“：”OMPASS 3.0”，“publication_year”：2019，“publiction_date”：“2019-01-01”，“ids”：{“openalex”：“https://openalex.org/W2928260158“，”doi“：”https://doi.org/10.1007/978-3-030-17462-0_25“，”mag“：”2928260158“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-17462-0_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_25.pdf“，”源“：{”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_25.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“嵌入式系统单元，Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5091091957“，”display_name“：”Harold Bruintjes“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]｝]，”countries“：[”DE“]，”is_correresponsing“：false，”raw_author_name“：”Harold Bruintjes“，”raw_affiation_strings“：[”德国亚琛工业大学软件建模与验证小组“]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“嵌入式系统单元，Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5090819329“，”display_name“：”Joost-Pieter Katoen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Joost-Pieter Katoen“，”raw_affiliation_strings“：[“德国亚琛RWTH亚琛大学软件建模与验证组”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5026986267“，”display_name“：”Thomas Noll“，”orcid“：”https://orcid.org/0000-0002-1865-1798}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Thomas Noll“，”raw_affiliation_strings“：[“德国亚琛RWTH亚琛大学软件建模与验证小组”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“嵌入式系统单元，Fondazione Bruno Kessler，Trento，Italy”]}]，”countries_distinact_count“：2，”institutions_distiction_count”：2，“corresponding_author_ids”：[“”https://openalex.org/A5076775585“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：12，“cited_by_percentile_year”：{“min”：89，“max”：90}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“379”，“last_page”：“385”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9995，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9995，”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/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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9972，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“｝，”field“：｛”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.547695}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.537419}，{”id“：”https://openalex.org/keywords/component-based-systems网站“，”display_name“：”基于组件的系统“，”score“：0.52657}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.9051556}，{”id“：”https://openalex.org/C2778361833，“wikidata”：https://www.wikidata.org/wiki/Q34735“，”display_name“：”指南针“，”level“：2，”score“：0.89825594}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.83691025}，{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.75825286}，{”id“：”https://openalex.org/C77019957，“wikidata”：https://www.wikidata.org/wiki/Q2689057“，”display_name“：”可靠性“，”级别“：2，”分数“：0.7091035}，{”id“：”https://openalex.org/C167740415，“wikidata”：https://www.wikidata.org/wiki/Q2876213“，”display_name“：”Aerospace“，”level“：2，”score“：0.68340194｝，｛”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.47216815}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.46791345}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.40333298}，{”id“：”https://openalex.org/C79403827，“wikidata”：https://www.wikidata.org/wiki/Q3988“，”display_name“：”实时计算“，”level“：1，”score“：0.35857457}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.35796022}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.300773395｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.24175116}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2415252}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.18811253}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.09211758}，{”id“：”https://openalex.org/C58640448，“wikidata”：https://www.wikidata.org/wiki/Q42515“，”display_name“：”制图学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”Geography“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-17462-0_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_25.pdf“，”源“：{”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://www.openaccessrepository.it/record/72332，“pdf_url”：https://www.openaccessrepository.it/record/72332/files/fulltext.pdf，“源”：{“id”：https://openalex.org/S4306402478“，”display_name“：”INFM-OAR（INFN Catania）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210116497“，”“host_organization_name”：“INFN Sezione di Catania”，“host_organization_lineage”：[“https://openalex.org/I4210116497“]，”host_organization_lineage_names“：[”INFN Sezione di Catania“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-17462-0_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_25.pdf“，”源“：{”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.47，”display_name“：”工业、创新和基础设施“，”id“：”https://metadata.un.org/sdg/9“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1504080271","https://openalex.org/W1566834790","https://openalex.org/W1590150946","https://openalex.org/W1712895775","https://openalex.org/W1970488655","https://openalex.org/W2013814408","https://openalex.org/W2050779443","https://openalex.org/W2070874614","https://openalex.org/W233122475","https://openalex.org/W2410243683","https://openalex.org/W2518283397","https://openalex.org/W4246195644","https://openalex.org/W72684053“]，”related_works“：[”https://openalex.org/W4256317220","https://openalex.org/W4252527915","https://openalex.org/W2583115580","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W2206872286","https://openalex.org/W2169628522","https://openalex.org/W2141414364","https://openalex.org/W1976489385","https://openalex.org/W1506225852“]，”ngrams_url“：”https://api.openalex.org/works/W2928260158/ngrams网站“，”“abstract_inverted_index”：{“COMPASS”：[0,32]，“（COrrectness，”：[1]，“Modeling”：[2]，“and”：[3,20,62,75,98]，“Performance”：[4]，“of”：[5,22,39,47,95]，“AeroSpace”：[6]，“Systems）”：[7]，“is”：[8]，“an”：[9,58]，“international”：[10]，“research”：[11]，“efforce”：[12]，“aiming”：[13]，“to”“：[14,54,68]，”确保“：[15]，”系统级“：[16]，”正确性“：[17]，”安全“：[18]，”可靠性“：[19]，“性能”：[21]，“机载”：[23]，“基于计算机”：[24]，“航空航天”：[25]，“系统”。“：[26]，“In”：[27]，“this”：[28]，“paper”：[29]，“we”：[30]，“present”：[31]，“3.0，”：[33]，“which”：[34]，“brings”：[35]，“together”：36]，“the”：[37,44,55,69,77]，“results”：[3]，“variable”：[40]，“development”：[41]，“projects”：【42]，“since”：[43]，“original”：[45]，“inception”：[46]，“罗盘。“：[48]，”“改进”：[49]，”have“：[50]，”been“：[51]，”made“：[52]，”both“：[53]，”frontend“，”：[56]，”supporting“：[57]，”updated“：[59]，”modeling“：[60]，”language“：[61]，”user“：[63]，”interface“：[64]，”as“：[65,67]，”well“：[66]，”backend“：[70]，”by“：[71]，”adding“：[22]，”“新”：[73]，“功能”：[74]，“改进”：[76]，“现有”：[78]，“个。“：[79]，“新”：[80]，“特征”：[81]，“包括”：[82]，“定时”：[83]，“故障”：[84]，“传播”：[85]，“图”：[86]，“基于契约”：[87]，“分析”：[88]，“分层”：[89]，“错误”：[90]，“树”：[91]，“生成”：[92]，“概率”：[93]，“解析”：[94]，“非确定性”：[96]，“模型”：[97]，“统计”：[99]，“模型”：[100]，“检查”。“：[101]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2928260158“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”cited_by_count”：1}，{“年份”：2022，”citesd_by_count“:5}，”年“:2021，”citecd_by_count“：2}，“年”：2020，4681“，”创建日期“：”2019-04-11“}