{“id”：“https://openalex.org/W1539369192“，”doi“：”https://doi.org/10.1007/3-540-48249-0_35“，”title“：“安全关键型列车管理系统的正式规范和开发”，“display_name”：“安全临界型列车管理体系的正式规范与开发”，”publication_year“：1999，”publiation_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W1539369192“，”doi“：”https://doi.org/10.1007/3-540-48249-0_35“，”mag“：”1539369192“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48249-0_35“，”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、”is_core“：true、”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”：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/A5033883337“，”display_name“：”A.Chiappini“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I54203891“，”display_name“：”Ferro（美国）“，”ror“：”https://ror.org/03tah6c23“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I54203891“]}，{”id“：”https://openalex.org/I2801958098“，”display_name“：”Ansaldo（意大利）“，”ror“：”https://ror.org/03ynt1573“，”country_code“：”IT“，”type“：”company“，”沿袭“：[”https://openalex.org/I2801958098“]}]，”国家“：[”IT“，”US“]，”is_corresponding“：false，”raw_author_name“：”A.Chiappini“，”raw _ afiliation_strings“：[“Ansaldo Segnalamento Ferroviario”]，”affiliations“：[{”raw _affiliation_string“：”Ansaldo-Segnalmento Ferrowiario“，”institution_ids“：]”https://openalex.org/I54203891","https://openalex.org/I2801958098“]}]}，{”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/I4210097842“，”display_name“：”国家科学技术应用中心“，”ror“：”https://ror.org/014cycx13“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210097842“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“IRST，Istituto per la Ricerca Scientifica e Tecnologia，Povo”]，”affiliations“：[{”raw_affiliation_string“：”IRST，Instituto per la Ricerca科学技术，Povo.“，”institution_ids“：[https://openalex.org/I4210097842“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5022872161“，”display_name“：”Carmen Porzia“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I54203891“，”display_name“：”Ferro（美国）“，”ror“：”https://ror.org/03tah6c23“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I54203891“]}，{”id“：”https://openalex.org/I2801958098“，”display_name“：”Ansaldo（意大利）“，”ror“：”https://ror.org/03ynt1573“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I2801958098“]}]，”国家“：[”IT“，”US“]，”is_corresponding“：false，”raw_author_name“：”Carmen Porzia“，”raw _ afiliation_strings“：[“Ansaldo Segnalamento Ferroviario”]，”从属关系“：[{”raw _affiliation_strong“：”Ansaldo-Segnalmento Ferrowiario“，”institution_ids“：[https://openalex.org/I54203891","https://openalex.org/I2801958098“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5102330591“，”display_name“：”Giuseppe Rotondo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I54203891“，”display_name“：”Ferro（美国）“，”ror“：”https://ror.org/03tah6c23“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I54203891“]}，{”id“：”https://openalex.org/I2801958098“，”display_name“：”Ansaldo（意大利）“，”ror“：”https://ror.org/03ynt1573“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I2801958098“]}]，”国家“：[”IT“，”US“]，”is_corresponding“：false，”raw_author_name“：”G.Rotondo“，”raw _ afiliation_strings“：[“Ansaldo Segnalamento Ferroviario”]，”affiliations“：[{”raw _affiliation_string“：”Ansaldo-Segnalmento Ferrowiario“，“institution_ids”：[“https://openalex.org/I54203891","https://openalex.org/I2801958098“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5088301538“，”display_name“：”Roberto Sebastiani“，”orcid“：”https://orcid.org/0000-0002-0989-6101}，“机构”：[{“id”：https://openalex.org/I4210097842“，”display_name“：”科学技术应用中心“，”ror“：”https://ror.org/014cycx13“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210097842“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Roberto Sebastiani“，”raw _affiliation_strings“：[“IRST，Istituto per la Ricerca Scientifica e Tecnologia，Povo”]，“afliations”：[{“raw_affiliation _string”：“IRSThttps://openalex.org/I4210097842“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5039482178“，”display_name“：”Paolo Traverso“，”orcid“：”https://orcid.org/0000-0001-6301-0204}，“机构”：[{“id”：https://openalex.org/I4210097842“，”display_name“：”国家科学技术应用中心“，”ror“：”https://ror.org/014cycx13“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210097842“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Paolo Traverso“，”raw _affiliation_strings“：[“IRST，Istituto per la Ricerca Scientifica e Tecnologia，Povo”]，”affiliations“：[{”raw _affiliation_string“：”IRST，Instituto per la Ricerca scientificae Tecnologia，Povo“，”institution_ids“：[https://openalex.org/I4210097842“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086483871“，”display_name“：”Adolfo Villafiorita“，”orcid“：”https://orcid.org/0000-0002-2357-2146}，“机构”：[{“id”：https://openalex.org/I4210097842“，”display_name“：”Istituto Centrale per la Ricerca Scientifica e e Tecnologica Applicata al Mare“，”ror“：”https://ror.org/014cycx13“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210097842“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Adolfo Villafiorita“，”raw _affiliation_strings“：[“IRST，Istituto per la Ricerca Scientifica e Tecnologia，Povo”]，”affiliations“：[{”raw _affiliation_string“：”IRSThttps://openalex.org/I4210097842“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.528，“has_fulltext”：false，“cited_b y_count“：18，”引用标准化百分比“：{”value“：0.87981，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：83，”max“：84}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“410”，“last_page”：“419”}、“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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.999，“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/T11450“，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9874，”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/keywords/change控制“，”display_name“：”更改控制“，”score“：0.48368058}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.461974}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.77842236}，{”id“：”https://openalex.org/C20136886，“wikidata”：https://www.wikidata.org/wiki/Q749647“，”display_name“：”互操作性“，”level“：2，”score“：0.74893284｝，｛”id“：”https://openalex.org/C190839683，“wikidata”：https://www.wikidata.org/wiki/Q2448197“，”display_name“：”Train“，”level“：2，”score“：0.60071206}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.5661326}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.5539662}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.51647496}，{”id“：”https://openalex.org/C56666940，“wikidata”：https://www.wikidata.org/wiki/Q788790“，”display_name“：”Documentation“，”level“：2，”score“：0.49972987}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.499655}，{”id“：”https://openalex.org/C31786546，“wikidata”：https://www.wikidata.org/wiki/Q3625347“，”display_name“：”更改控制“，”级别“：3，”分数“：0.48368058}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.47196186}，{”id“：”https://openalex.org/C2775924081，“wikidata”：https://www.wikidata.org/wiki/Q55608371“，”display_name“：”Control（management）“，”level“：2，”score“：0.23142219}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.16509312}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.10533565}，{”id“：”https://openalex.org/C58640448，“wikidata”：https://www.wikidata.org/wiki/Q42515“，”display_name“：”制图“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”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“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48249-0_35“，”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、”is_core“：true、”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：3，“referenced_works“：[”https://openalex.org/W2099529102","https://openalex.org/W2422272475","https://openalex.org/W2804848512“]，”related_works“：[”https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W2049993111","https://openalex.org/W2045204345","https://openalex.org/W2034589735","https://openalex.org/W2020416949","https://openalex.org/W1999356246","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W1544097700“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”paper“：[2]，”we“：[3]，”describe“：[4]，”the“：[5,19,34,47110116124136156184188]，”onging“：[6]，”specification“：[7]，”and“：[8,52140143173180]，”development“：[9,43189]，”of“：[10,18,32,36,64,82109115150155158187196]，”Ansald\u2019s“：[11]，“无线电”：[12]，“闭塞”：[13]，“中心”：[14]，“（RBC），“：[15]，”a“：[16,50,79,91106193202]，”组件“：[17]，”下一代“：[20]，”欧洲“：[21,72]，”铁路“：[22]，”交通“：[23]，”管理“：[24]，”系统“：[25]，“（ERTMS）。“：[26]，”The“：[27113152]，”RBC“：[28117160]，”will“：[29]，”be“：[30127178]，”responsible“：[31]，”managing“：[33]，”movement“：[35]，”trains“：[37]，”requipment“：[38]，”with“：39135]，”radio“：[40]，”communication“。“：[41]，”其“：[42]，”过程“：[44]，”is“：[45，49]，”关键：“：[46]，”rBC“：[48]，”大规模“：[51]，”复杂“：[53]，”系统“：[54]，”it“：[55，66]，”必须“：[56，67]，”提供“：[57105167]，”几个“：[58]，”新颖“：[59]，”服务“：[60]，”在“：[61183]，”不同“：[62148]，”级别“：[63]，”功能“，：[65]，”保证“：[68]，”互操作性“：[69111]，”根据“：[70]，“to”：[71104146]，“standards”，“：[73]，“and”，“:[74]，“last”：[75]，“but”：[76]，“not”：%77]，“least”：[78]，“high”：[80194]，“level”：+81195]，“safety.”：[83]，“We”：/84]，“have”：[85,9962]，“addressed”：[86]，“these”：[87]，“issues”：[88]，“by”：[89]，“devising”：[90]，“基础”：[93]，“基于”：[94]，“形式”：[95153]，“规范”：[96]，“ERTMS”：[97]，“场景”：[98]，“已”：[100119163]，“形式化”：[101]，“in”：[102198201]，“order”：[103]，“better”：[107]，“understanding”：[108]，“requirements.”：+112]，“architecture”：[114]，“has”：[118]，“formally”：[120]，“specified”：[121]，“such”：[122]，“that”：[123]，“system”：%125133]，“can”：[126177]，“incrementally”：%128]，“build”：%129]，“as”：[130]，“an”：[131168]，“overlay”：[132]，“（兼容”：[134]，“现有”：[137]，“列”：[138]，“检测”：[139]，“联锁”：[141]，“系统）”：[142]，“模块化”：[144]，“扩展”：[145]，“控制”：[147]，“种类”：[149]，“列车”：[151]，“规范”：[154]，“行为”：[157]，“每个”：[159]，“组件”：[161]，“结构化”：[164]，“层次结构：”：[165]，“它们”：[166176]，易于理解“：[169]，”文档“：[170]，“for”：[171]，“customers”：[172]，“developers；”：[174]，“addressive，”：[175]，“simulated”：[179]，“validated”：[181]，“automatically”：[182]，“early”：[185]，“stage”：[186]，“process”：[190]，“thus”：[191]，“supply”：%192]，“confidence”：[197]，“their”：[199]，“safety”：[200]，“cost-off”：[203]，“way”：[2004]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W1539369192“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2021，”cited_by_count”：1}.，{“年份”：2018，”citecd_by_count“：1}，”{“年度”：2016，”citesd_by_count“:2}，“年份”:2014，”citted_by-count“:1}，，“创建日期”：“2016-06-24”}