{“id”：“https://openalex.org/W2070874614“，”doi“：”https://doi.org/10.1093/comjnl/bxq024“，”title“：”扩展AADL模型的安全性、可靠性和性能分析“，”display_name“：”拓展AADL模式的安全性和可靠性分析“，“publication_year”：2010，”publication_date“：”2010-03-17“，”ids“：{”openalex“：”https://openalex.org/W2070874614“，”doi“：”https://doi.org/10.1093/comjnl/bxq024“，”mag“：”2070874614“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/comjnl/bxq024“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S44643521“，”display_name“：“计算机日志”，”issn_l“：”0010-4620“，”issn“：[”0010-4600“，”1460-2067“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”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“：”M.Bozzano“，”raw_affiliation_strings“：[“嵌入式系统集团，意大利特伦托Bruno Kessler基金会”]}，{“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“：”A.Cimatti“，”raw _affiliation_strings“：[“Embedded Systems Group，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“：”J.-P.Katoen“，”raw关联字符串“：[“德国亚琛RWTH亚琛大学软件建模与验证小组”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5082003776“，”display_name“：”越洋阮“，”orcid“：null}，”机构“：[{”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“：”V.Y.Nguyen“，”raw _ afiliation_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“：”T.Noll“，”raw关联字符串“：[“德国亚琛RWTH亚琛大学软件建模与验证小组”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5053862435“，”display_name“：”Marco Roveri“，”orcid“：null}，”institutions“：[{”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“：”M.Roveri“，”raw _affiliation_strings“：[“Embedded Systems Group，Fondazione Bruno Kessler，Trento，Italy”]}]，“countries_distiction_count”：2，“institutions_distition_count“：2，”corresponding_author_ids“：]”https://openalex.org/A5053862435“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：2635，”currency“：”GBP“，”value_usd“：3232，”provenance“：”doaj“}，”apc _payed“：”{“value”：2635、”current“：”英镑“，”value_usd”：3232、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“ngrams”、“cited_by_count”：193、“citted_by_percentile_year”：{“min”：98、“max”：99}，“biblio”：{“volume”：“54”，“issue”：“5”，“first_page”：“754”，“last_page”：775“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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.9966，”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/component-based-systems网站“，”display_name“：”基于组件的系统“，”score“：0.58701}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.585184｝，｛”id“：”https://openalex.org/keywords/architecture-based-approach网站“，”display_name“：”基于体系结构的方法“，”score“：0.568318}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.556757}，{”id“：”https://openalex.org/keywords/software-architecture网站“，”display_name“：”软件架构“，”score“：0.551754}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8195491}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7010853}，{”id“：”https://openalex.org/C77019957，“wikidata”：https://www.wikidata.org/wiki/Q2689057“，”display_name“：”可靠性“，”级别“：2，”分数“：0.70080245｝，｛”id“：”https://openalex.org/C168167062，“wikidata”：https://www.wikidata.org/wiki/Q1117970“，”display_name“：”组件（热力学）“，”level“：2，”score“：0.5761242}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5500315}，{”id“：”https://openalex.org/C119701452，“wikidata”：https://www.wikidata.org/wiki/Q5165881“，”display_name“：”控制重新配置“，”level“：2，”score“：0.48123527}，{”id“：”https://openalex.org/C35869016，“wikidata”：https://www.wikidata.org/wiki/Q846636“，”display_name“：”软件体系结构“，”level“：3，”score“：0.46639296}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.4556726}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.44136825}，{”id“：”https://openalex.org/C174683762，“wikidata”：https://www.wikidata.org/wiki/Q609588“，”display_name“：”基于组件的软件工程“，”level“：4，”score“：0.43929252}，{”id“：”https://openalex.org/C167740415，“wikidata”：https://www.wikidata.org/wiki/Q2876213“，”display_name“：”Aerospace“，”level“：2，”score“：0.43611658}，{”id“：”https://openalex.org/C185245429，“wikidata”：https://www.wikidata.org/wiki/Q362356“，”display_name“：”体系结构描述语言“，”level“：5，”score“：0.4148118｝，｛”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.40985662}，{”id“：”https://openalex.org/C149091818，“wikidata”：https://www.wikidata.org/wiki/Q2429814“，”display_name“：”软件系统“，”级别“：3，”分数“：0.3826935}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.38258627}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.35835832}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.32953775}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.26267225}，{”id“：”https://openalex.org/C55356503，“wikidata”：https://www.wikidata.org/wiki/Q2136675“，”display_name“：”参考体系结构“，”level“：4，”score“：0.23336464}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.1296466}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：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/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/comjnl/bxq024“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S44643521“，”display_name“：“计算机日志”，”issn_l“：”0010-4620“，”issn“：[”0010-4600“，”1460-2067“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：“[]，”versions“：[]”，“referenced_works_count”：0，“referrenced_works”：【】，“”related_works“：[”https://openalex.org/W2981674955","https://openalex.org/W2571369074","https://openalex.org/W2510690504","https://openalex.org/W2367050711","https://openalex.org/W2347294443","https://openalex.org/W2154429154","https://openalex.org/W2107940062","https://openalex.org/W1983723499网址","https://openalex.org/W1687508979","https://openalex.org/W1560937389“]，”ngrams_url“：”https://api.openalex.org/works/W2070874614/ngrams网站“，”abstract_inverted_index“：｛”This“：[0]，”paper“：[1146]，”presents“：[2]，”a“：[3,35,9106]，”基于组件的“：[4，57]，”建模“：[5，31，47]，”方法“：[6，58]，”to“：[7，62118]，”系统软件“：[8]，”协同工程“：[9]，”of“：[10，38，55，90102110121153159]，”实时“：[11]，”嵌入式“：[12]，”系统“：[13161]，“在”：[1444150]，“特别”：[15]，“航空航天“：[16160]，”系统。“：[17]，“我们的”：[18]，“方法”：[19]，“是”：[20164]，“中心”：[21]，“围绕”：[22]，“标准化”：[24]，“架构”：[25]，“分析”：[26]，“和”：[27,49,66,78,81,92129132157]，“设计”：[28]，”语言“：[29]，”（AADL）“：[30]，“框架。”：[32]，“We”：[33]，“形式化”：[34]，“重要”：[36]，“子集”：[37]，“AADL”：[39]，“合并”：[40]，“its”：[41]，“recent”：[42]，“Error”：[43]，“Model”：【44】，“Annex”：【45】，“for”：【46】，“faults”：【48，77】，“repairs.”：【50】，“The”：【51，95141】，“major”：【52】：[65]，“软件”：[67]，“操作”：[68]，“混合”：[69]，“（和”：[70]，“定时）”：[71]，“方面”，：[72]，“作为”：[73,75125]，“好”：[74]，“概率”：[76]，“他们的”：[79]，“传播”：[80]，“恢复”：[82]，“此外，”：[83]，“it”：[84]，“支持”：[85]，“动态”：[86]，“（即”：[87]，“运行中”：[88]，“重新配置”：[89]，“组件”：[91]，“构件间”：[93]，“连接”：[94]，“操作”：[96]，“语义”：[97]，“给定”：[98]，“精确”：[100]，“解释”：[101]，“规范”：[103]，“通过”：[104166]，“提供”：[105]，“映射”：[107]，“到”：[108]，“网络”：[109114]，“事件数据”：[111]，“自动机”：[112]，“这些”：[113]，“然后”：[116]，“主题”：[117]，“不同”：[119]，“种类”：[120]，“形式”：[122]，“分析”：[123131]，“这样”：[124]，“型号”：[126]，“检查”，：[127]，“安全”：[128]，“可靠性”：[130]，“性能”：[133158]，“评估”：[134]，“成熟”：[135]，“工具”：[136]，“支持”：[137]，“实现”：[138]，“这些”：[139]，“分析”：[140]，“活动”：[142]，“报告”：[143]，“携带”：[148]，“输出”：[149]，“上下文”：[152]，“正确性”：[155]，“建模”：[156]，“项目”：[162]，“其中“：[163]，”资助“：[165]，”欧洲“：[168]，“空间”：[169]，“代理”：[170]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2070874614“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”ciped_by_cunt“：5}，”{“年份”：2022，“cited_by_count”：3}，{“年”：2021，”cited_by_count“年份”：2017，“引用_ by_count”：13}，{“年份”:2016，“引用_by_counts”：19}，}“年份“：2015，”cited_by_count“：26}，{“年份”：2014，“cited_by_count”：24}，}“年度”：2013，“cited_by_count）：34}，｛“年份“：2012，”cited_by _count？：18}]，“更新日期”：“2024-05-24T08:00:52.667937”，“创建日期”：”2016-06-24“}