{“id”：“https://openalex.org/W1566834790“，”doi“：”https://doi.org/10.1007/978-3-642-14295-6_48“，”title“：”AADL的模型检查器“，”display_name“：”AADL的模型检查器“，”publication_year“：2010，”publication_date“：”2010-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1566834790“，”doi“：”https://doi.org/10.1007/978-3-642-14295-6_48“，”mag“：”1566834790“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-14295-6_48，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_48.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_48.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“：false，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“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/A5080606370“，”display_name“：”Joost-Pieter Katoen“，”orcid“：”https://orcid.org/0000-0002-6143-1926}，“机构”：[{“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 _ afiliation_strings“：[“德国亚琛RWTH大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5082003776“，”display_name“：”Viet Yen Nguyen“，”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_corresponding“：false，”raw_author_name“：”Viete Yen Nguyen“，”raw _affiliation_strings“：【”RWTH Aachen University，Germany“]}，{”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”：“middle”，“author”：{“id”：“https://openalex.org/A5055975794“，”display_name“：”Marco Roveri“，”orcid“：”https://orcid.org/0000-0001-9483-3940}，“机构”：[{“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“：”Marco Roveri“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5047238602“，”display_name“：”Ralf Wimmer“，”orcid“：”https://orcid.org/0000-0003-4973-7479}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Ralf Wimmer“，”raw _affiliation_strings“：[“Albert-Ludwigs-University Freiburg，Germany”]}]“countries_distict_count”：2，“institutions_disticent_count”：3，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：5000，“currency”：“EUR”，”value_usd“：5392，”出处：“doaj”}，“apc_payed”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doj}，”has_fulltext“：false，”cited_by_count“：23，”cited_by_percentile_year“：{”min“：91，”max“：92}，‘biblio“volume”：null，“issue”：null，“first_page”：“562”，“last_page”：“56”}、“is_retracted”“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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.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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9995，“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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.625884}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.525029｝，｛”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.515382}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.506537}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测和纠正“，”score“：0.504292}]，”concepts“：[{”id“：”https://openalex.org/C15792166，“wikidata”：https://www.wikidata.org/wiki/Q221329“，”display_name“：”Avionics“，”level“：2，”score“：0.8964218}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.85512155}，{”id“：”https://openalex.org/C167740415，“wikidata”：https://www.wikidata.org/wiki/Q2876213“，”display_name“：”Aerospace“，”level“：2，”score“：0.7927102}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.7395097}，{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.6748284}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.44610822}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.4356565}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3843871｝，｛”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.35612515}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.34177858}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.3263641}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材质“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-14295-6_48，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_48.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-642-14295-6_48，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_48.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”工业、创新和基础设施“，”分数“：0.43，”id“：”https://metadata.un.org/sdg/9“｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：5，”referenced_works“：[”https://openalex.org/W168394658","https://openalex.org/W2055856629","https://openalex.org/W2130820909","https://openalex.org/W2141881497","https://openalex.org/W2152863619“]，”related_works“：[”https://openalex.org/W4315606162","https://openalex.org/W4312733571","https://openalex.org/W2340807904","https://openalex.org/W2149716943","https://openalex.org/W2037121848","https://openalex.org/W2006962382","https://openalex.org/W1909632632","https://openalex.org/W1547517160","https://openalex.org/W1483297389","https://openalex.org/W113732979“]，”ngrams_url“：”https://api.openalex.org/works/W1566834790/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“present”：[1]，“a”：[2,79]，“graphical”：[3]，“toolset”：[4,69]，“for”：[5,20]，“verifying”：[6]，“AADL”：[7]，“models”，“：[8]，“which”：[9]，“are”：[10,33]，“gaining”：[11]，“communiverse”：[12]，“acceptance”：[13]，“in”：[14]，“航空航天，”：[15]，“汽车“：[16]，”和“：[17,29,42,58,65]，”航空电子“：[18]，”工业“：[19]，”综合“：[21]，”指定“：[22]，”安全关键“：[23]，”系统“：[24]，”由“：[25,78]，”捕获“：[26]，”功能“：[27]，”概率“：[28]，”混合“：[30]，”方面。“：[31]，”分析“：[32]，”实现“：[34]，”on“：[35]，”top“：[36]，”of“：[37,55,83]，”成熟“：[38]，”模型“：[39]，”检查“：[40]，”工具“：[41]，”范围“：[43]，”from“：[44]，”requirements“：[45]，”validation“：[46]，”to“：[47,62,74]，”functional“：[48]，”verification“：[49]，”safety“：[50]，“评估”：[51]，“通过”：[52]，“自动”：[53]，“推导”：[54]，“FMEA”：[56]，“表“：[57]，”动态“：[59]，”故障“：[60]，”树“：[61]，”性能“：[63]，”评估“：[64]，”可诊断性“：[66]，”分析。“：[67]，“The”：[68]，“is”：[70]，“currently”：[71]，“being”：[72]，“applicated”：[73]，“several”：[75]，“case”：[76]，“studies”：[77]，“major”：[80]，“industrial”：[81]，“developer”：[82]，“aerosometrica”：[84]，“systems”。“：[85]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1566834790“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：1'，{”“年”“：2019，”“cited_by-count”“：3}，”“年份”“：2016，”“cuted_by/count”“：2012，”引用_ by_count“：1}]，”更新日期“：”2024-05-10T03:11.727299“，”创建日期“：“2016-06-24"}