{“id”：“https://openalex.org/W3143868368“，”doi“：”https://doi.org/10.1007/s00165-021-00532-9“，”title“：”基于模型的xSAP三模块发电机安全评估“，”display_name“：”使用xSAP的三模块发电机的基于模型的安全评估”，“publication_year”：2021，“publiation_date”：“2021-03-01”，“ids”：{“openalex”：“https://openalex.org/W3143868368“，”doi“：”https://doi.org/10.1007/s00165-021-00532-9“，”mag“：”3143868368“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s00165-021-00532-9，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s00165-021-00532-9.pdf，“源”：{“id”：https://openalex.org/S128250343“，”display_name“：”计算的形式方面“，”issn_l“：”0934-5043“，”isn“：[”0934-5043“，”1433-299X“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：“article”，“type_crossref”：”journal-article“，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“青铜色，“oa_url”：https://link.springer.com/content/pdf/10.1007/s00165-021-00532-9.pdf“，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”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 _ afiliation_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/A5089003950“，”display_name“：”Marco Gario“，”orcid“：”https://orcid.org/0000-0003-0001-9628}，“机构”：[{“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_correresponsing“：false，”raw_author_name“：”Marco Gario“，”raw_affiation_strings“：[”意大利特伦托布鲁诺·凯斯勒基金会“]｝，{”author_position“：”middle“，”author“：”https://openalex.org/A5021795807“，”display_name“：”David Jones“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I174135032“，”display_name“：”贝尔维尤学院“，”ror“：”https://ror.org/05gr4yv49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I174135032“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”David Jones“，”raw _affiliation_strings“：[“Bellevue，USA”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5023931839“，”display_name“：”Cristian Mattarei“，”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“：false，”raw_author_name“：”Cristian Mattarei“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}]，”countries_distition_count“：2，”institutions_distiction_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5076775585“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：5，”ciped_by_percentile_year“：{”min“：82，”max“：85}，”biblio“：{“volume”：“33”，”issue“：”2“，”first_page“：”251“，”last_page“：”295https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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.9983，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9964，”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/model-checking“，”display_name“：”模型检查“，”score“：0.563895｝，｛”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing Effort Dependent Models“，”score“：0.551214｝，｛”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.535066}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7395481}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.6041353}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.54811347}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.49115512}，{”id“：”https://openalex.org/C119701452，“wikidata”：https://www.wikidata.org/wiki/Q5165881“，”display_name“：”控制重新配置“，”level“：2，”score“：0.45952424}，{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.44056046}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.4354375}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.37126952}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.26537}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20794904}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.15143174}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”Database“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s00165-021-00532-9，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s00165-021-00532-9.pdf，“源”：{“id”：https://openalex.org/S128250343“，”display_name“：”计算的形式方面“，”issn_l“：”0934-5043“，”isn“：[”0934-5043“，”1433-299X“]，”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”：“journal”}，“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/s00165-021-00532-9，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s00165-021-00532-9.pdf，“源”：{“id”：https://openalex.org/S128250343“，”display_name“：”计算的形式方面“，”issn_l“：”0934-5043“，”isn“：[”0934-5043“，”1433-299X“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/8“，”score“：0.56，”display_name“：”体面工作和经济增长“}]，”grants“：[]，”datasets“：[]，”versions“：[]]，”referenced_works_count“：42，”referrenced_works“：【”https://openalex.org/W1489227129","https://openalex.org/W1491593738","https://openalex.org/W1506784356","https://openalex.org/W1507793072","https://openalex.org/W1513300473","https://openalex.org/W1530339406","https://openalex.org/W1543654202","https://openalex.org/W1543835464","https://openalex.org/W1712895775","https://openalex.org/W1802815921","https://openalex.org/W1975041710","https://openalex.org/W2001289891","https://openalex.org/W2013814408","https://openalex.org/W2023808162","https://openalex.org/W2030224590","https://openalex.org/W2050597965","https://openalex.org/W2052648921","https://openalex.org/W2055092188","https://openalex.org/W2070874614","https://openalex.org/W2090669830","https://openalex.org/W2094933253网址","https://openalex.org/W2099395647","https://openalex.org/W2132750992","https://openalex.org/W2141956452","https://openalex.org/W2143208582","https://openalex.org/W2174091519","https://openalex.org/W2282785358","https://openalex.org/W2296221482","https://openalex.org/W233122475","https://openalex.org/W247316031","https://openalex.org/W2498031190","https://openalex.org/W2598242545","https://openalex.org/W2741988495","https://openalex.org/W2767518838","https://openalex.org/W2906720428","https://openalex.org/W2910587153","https://openalex.org/W2950420876","https://openalex.org/W3146112087","https://openalex.org/W67120322","https://openalex.org/W69467742","https://openalex.org/W949250345","https://openalex.org/W991151412“]，”related_works“：[”https://openalex.org/W4248634784","https://openalex.org/W4214878056","https://openalex.org/W2357657342","https://openalex.org/W2153432761","https://openalex.org/W2152623100","https://openalex.org/W2142042635","https://openalex.org/W2103296973","https://openalex.org/W2022683204","https://openalex.org/W2019887508","https://openalex.org/W1580144672“]，”ngrams_url“：”https://api.openalex.org/works/W3143868368/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“The”：[1,89110]，“system”：[2]，“design”：[3]，“process”：[4]，“needs”：/5]，“to”：[6,41,47,65,69158236]，“cope”：[7]，“with”：[8,22]，“The”：[9,16,75,84118150153176192216223247258]，“increating”：[10]，“complexity”：[11]，“and”：[12,24,34,46,57258]6,96,99143174212225268]，“大小”：[13]，““：[14,18,93108132140163194228249257]，”系统，激励“：[15]，”替代“：[17]，“劳动力”：[19]，”密集型人工“：[20]，”技术“：[21,68]，”自动化“：[23]，”半自动化“：[2]，”方法。最近，“：[26]，”正式“：[27]，”方法“：[28]，”技术“：[29]，”例如“：[30,52]，”作为“：[31,53199]，”基于模型“：[32,67]，”验证“：[33151]，”安全“：[35218226]，”评估“：[36]，”有“：[37]，”被“：[38]，”日益“：[39]，”使用“：[40]，”模型“：[22]，”系统“：[43]，”根据“：[44]，“故障”：[45,54197]，“分析”：[48]，“它们”：[49]，“生成”：[50]，“artifacts“：[51]，”trees“：[55]，”FMEA“：[57]，”tables。“：[58]，”In“：[59]，”this“：[60]，”论文，“：[61]，”we“：[6217184207233]，”show“：[63]，”how“：[64]，”application“：[66]，”a“：[70，78，94100105114124130138180186209254]，”realistic“：[71]，”case“：[772111260]，”study“：[73112261]，”from“：[74117149]，”aeonics“：[76]，”domain:“：[77]，”high“：[7917 06]，“完整性”：[80]，“电源”：[81]，“配电”：[82]，“系统”：[83]，“三重”：[85]，“模块化”：[86]，“发电机”：[87]，“（TMG）。”：[88]，“TMG”：[90259]，“是”：[91113169200]，“组成”：[92]，“冗余”：[95]，“可重构”：[97]，“工厂”：[98]，“控制器”：[101154]，“即”：[102221262]，“必须”：[103155]，“保证”：[104]，“等级”：[107]，“可靠性。”：[109]，“重大”：[115]，“挑战”：[116]，“建模”：[119182224]，“透视”：[120]，“自”：[121]，“it”：[122]，“实现”：[123]，“复杂”：[125]，“重新配置”：[126]，“策略”，：[127]，“指定”：[128]，“经由”：[129]，“编号”：[131162]，“要求”：[133177]，“in”：[134]，“自然”：[135]，“语言”：[136]，“包括”：[137]，“集合”：[139]，“相互”：[141]，“依赖”：[142]，“潜在”：[144]，“冲突”：[145]，“优先级”：[146]，“约束”：[147]，“此外，”：[148]，“观点”，：[152]，“是”：[156]，“能”：[157235]，“句柄”：[159]，“an”：[160]，“指数”：[161]，“可能”：[164196]，“错误”：[165229]，“配置。”：[166]，“我们的”：[167]，“贡献”：[168]，“双重”：[170]，“第一个”：[171]，“形式化”：[173]]，“验证”：[175]，“和，”：[178]，“使用”：[179]，“基于约束”：[181]，“样式”：[183]，“综合”：[185]，“正确”：[187]，“由”：[188203215252]，“构造”：[189]，“控制器”：[190]，“避免”：[191]，“枚举”：[193]，“全部”：[195]，“配置”，“：[198]，“当前”：[201]，“完成”：[202]，“手动”：[204]，“方法”：[205]，“第二，”：[206]，“描述”：[208]，“综合”：[210]，“方法论”：[211]，“过程”，“：[213]，“支持”：[214]，“xSAP”：[217]，“分析”：[219]，“平台”：[220]，“目标”：[222]，“评估”：[227]，“系统”：[230]，“使用”：[231]，“xSAP，”：[232]，“是”：[234]，“自动”：[237]，“提取”：[238]，“最小”：[239]，“切割”：[240]，“集合”：[241]，“for“：[242]，”TMG.“：[244]，”我们“：[245]，”演示“：[246]，”可扩展性“：[248]，”我方“：[250]，“方法”：[251]，“分析”：[253]，“参数”：[255]，“版本”：[256]，“包含”：[263]，“更多”：[264]，“比”：[265]，“700”：[266]，“变量”：[267]，“90”：[269]，“错误。”：[270]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W3143868368“，”counts_by_year“：[{“年”：2024，”cited_by_count“：1}，{“年份”：2023，”ciped_by_cunt“：2}，”{“年度”：2022，“cited_by_count”：1}.，{”年“：2021，”cited_by_count？：1}]，”updated_date“：2024-05-23T06:17:29.554422”，“创建日期”：“2021-04-13”}