{“id”:“https://openalex.org/W2751827468“,”doi“:”https://doi.org/10.1007/978-3-319-66284-8_11“,”title“:“使用反射状态图提高安全关键CPS的可靠性”,”display_name“:”使用反射状态表提高安全关键CP的可靠性“,”publication_year“:2017,”publiation_date“:”2017-01-01“,”ids“:{”openalex“:”https://openalex.org/W2751827468“,”doi“:”https://doi.org/10.1007/978-3-319-66284-8_11“,”mag“:”2751827468“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-319-66284-8_11“,”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”:true,“oa_status”:“green”,“oa_url”:https://ebiltegia.mondragon.edu/xmlui/bitstream/20.500.11984/5676/1/增加%20可靠性%20in%20Safety%20Critical%20CPSs.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5074595088“,”display_name“:”Miren Illarramendi“,”orcid“:”https://orcid.org/0000-0003-3770-1495},“机构”:[{“id”:https://openalex.org/I162361429“,”display_name“:”蒙德拉贡大学“,”ror“:”https://ror.org/00wvqgd19“,”country_code“:”ES“,”type“:“教育”,”世系“:[”https://openalex.org/I162361429","https://openalex.org/I4210092206“]}],”国家“:[”ES“],”is_correresponsing“:true,”raw_author_name“:”Miren Illarramendi“,”raw_affiation_strings“:[”嵌入式系统研究小组,Mondragon Goi Eskola Politeknikoa(MGEP),Mondrag\u00f3n,西班牙“],”附属机构“:[{”raw_affiation_string“:”嵌入式系统研究小组,Mondragon Goi Eskola Politeknikoa(MGEP),Mondrag\u00f3n,西班牙“,”institution_ids“:[”https://openalex.org/I162361429“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5021413170“,”display_name“:”Leire Etxeberria“,”orcid“:”https://orcid.org/0000-0002-4846-2007},“机构”:[{“id”:https://openalex.org/I162361429“,”display_name“:”蒙德拉贡大学“,”ror“:”https://ror.org/00wvqgd19“,”country_code“:”ES“,”type“:“教育”,”世系“:[”https://openalex.org/I162361429","https://openalex.org/I4210092206“]}],”国家“:[”ES“],”is_corresponding“:false,”raw_author_name“:”Leire Etxeberria“,”raw _ afiliation_strings“:[“嵌入式系统研究小组,Mondragon Goi Eskola Politeknikoa(MGEP),Mondrug\u00f3n,西班牙”],”从属关系“:[{”raw _affiliation_strong“:”嵌入式系统研究组,Mondrang Goi Escola Politeknikoa,Mondrag\u00f3n,西班牙“,”institution_ids“:[”https://openalex.org/I162361429“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5020795430“,”display_name“:”Xabier Elkorobarrutia“,”orcid“:”https://orcid.org/0000-0002-3833-6445},“机构”:[{“id”:https://openalex.org/I162361429“,”display_name“:”蒙德拉贡大学“,”ror“:”https://ror.org/00wvqgd19“,”country_code“:”ES“,”type“:“教育”,”世系“:[”https://openalex.org/I162361429","https://openalex.org/I4210092206“]}],”国家“:[”ES“],”is_corresponding“:false,”raw_author_name“:”Xabier Elkorobarrutia“,”raw _affiliation_strings“:[“嵌入式系统研究小组,蒙德拉贡-埃斯科拉-波利泰克尼科亚(MGEP),Mondrag\u00f3n,西班牙”],“afliations”:[{“raw_affiliation _string”:“嵌入式系统研究小组,蒙德拉贡-戈伊-埃斯科拉-波利特克尼科阿(MGEP,Mondrag\u00f3n,西班牙“,”institution_ids“:[”https://openalex.org/I162361429“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5072822119“,”display_name“:”Goiuria Sagardui“,”orcid“:”https://orcid.org/0000-0003-1002-456X},“机构”:[{“id”:https://openalex.org/I162361429“,”display_name“:”蒙德拉贡大学“,”ror“:”https://ror.org/00wvqgd19“,”country_code“:”ES“,”type“:“教育”,”世系“:[”https://openalex.org/I162361429","https://openalex.org/I4210092206“]}],”国家“:[”ES“],”is_correresponsing“:false,”raw_author_name“:”Goiuria Sagardui“,”raw_affiation_strings“:[”嵌入式系统研究小组,Mondragon Goi Eskola Politeknikoa(MGEP),Mondrag\u00f3n,西班牙“],”附属机构“:[{”raw_affiation_string“:”嵌入式系统研究小组,Mondragon Goi Eskola Politeknikoa(MGEP),Mondrag\u00f3n,西班牙“,”institution_ids“:[”https://openalex.org/I162361429“]}]}],”institution_assertions“:[],”countries_distiction_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5074595088“],”对应的机构ID“:[”https://openalex.org/I162361429“],”apc_list“:{”value“:5000,”currency“:”EUR“,”value_usd“:5392,”provenance“:”doaj“},”apc _payed“:null,”fwci“:0.564,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:1,”citation_normalized_percentile“:{”value:0.512309,”is_in_top_1_percent“:false,”is_in_top_10_percennt“:false},“cited_by_count”百分位年份:{“最小”:64,“最大”:71},“书目”:{volume“:null,”issue“:null,”first_page“:”114“,”last_page“:”126“},”is_retracted“:false,”is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T12423“,”display_name“:”软件可靠性评估与预测“,”score“:0.9985,”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.9985,”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.9985,”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/T13295“,”“display_name”:“复杂系统开发中的安全保证”,“score”:0.9981,“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/dependability-engineering网站“,”display_name“:”可靠性工程“,”score“:0.575381},{”id“:”https://openalex.org/keywords/formalism网站“,”display_name“:”形式主义(音乐)“,”score“:0.56943977},{”id“:”https://openalex.org/keywords/component-based-systems网站“,”display_name“:”基于组件的系统“,”score“:0.541582},{”id“:”https://openalex.org/keywords/software-reliability建模“,”display_name“:”软件可靠性建模“,”score“:0.532304},{”id“:”https://openalex.org/keywords/software-certification网站“,”display_name“:”软件认证“,”score“:0.510682},{”id“:”https://openalex.org/keywords/testing-effort-dependent-models网站“,”display_name“:”Testing-Effort Dependent Models“,”score“:0.506277},{”id“:”https://openalex.org/keywords/reflection(https://openalex.org/keywords/reflection)“,”display_name“:”反射(计算机编程)“,”score“:0.48355052},{”id“:”https://openalex.org/keywords/component网站“,”display_name“:”组件(热力学)“,”score“:0.48301682}],”concepts“:[{”id“:”https://openalex.org/C77019957,“wikidata”:https://www.wikidata.org/wiki/Q2689057“,”display_name“:”可靠性“,”级别“:2,”分数“:0.9411415},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.8459914},{”id“:”https://openalex.org/C73301696,“wikidata”:https://www.wikidata.org/wiki/Q5469984“,”display_name“:”形式主义(音乐)“,”level“:3,”score“:0.56943977},{”id“:”https://openalex.org/C145644426,“wikidata”:https://www.wikidata.org/wiki/Q169411“,”display_name“:”统一建模语言“,”level“:3,”score“:0.5354128},{”id“:”https://openalex.org/C46304622,“wikidata”:https://www.wikidata.org/wiki/Q374814“,”display_name“:”Certification“,”level“:2,”score“:0.49557912},{”id“:”https://openalex.org/C65682993,“wikidata”:https://www.wikidata.org/wiki/Q1056451“,”display_name“:”反射(计算机编程)“,”level“:2,”score“:0.48355052},{”id“:”https://openalex.org/C168167062,“wikidata”:https://www.wikidata.org/wiki/Q1117970“,”display_name“:”组件(热力学)“,”level“:2,”score“:0.48301682},{”id“:”https://openalex.org/C149635348,“wikidata”:https://www.wikidata.org/wiki/Q193040“,”display_name“:”嵌入式系统“,”level“:1,”score“:0.455617},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.44967866},{”id“:”https://openalex.org/C36503486,“wikidata”:https://www.wikidata.org/wiki/Q11235244“,”display_name“:”域(数学分析)“,”level“:2,”score“:0.41314763},{”id“:”https://openalex.org/C115903868,“wikidata”:https://www.wikidata.org/wiki/Q80993“,”display_name“:”软件工程“,”level“:1,”score“:0.39007688},{”id“:”https://openalex.org/C2777904410,“wikidata”:https://www.wikidata.org/wiki/Q7397“,”display_name“:”Software“,”level“:2,”score“:0.17306605},{”id“:”https://openalex.org/C142362112,“wikidata”:https://www.wikidata.org/wiki/Q735“,”display_name“:”Art“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C558565934,“wikidata”:https://www.wikidata.org/wiki/Q2743“,”display_name“:”Musical“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”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/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”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(网址:https://www.wikidata.org/wiki/Q7748)“,”display_name“:”Law“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C153349607,“wikidata”:https://www.wikidata.org/wiki/Q36649“,”display_name“:”视觉艺术“,”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“:2,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-319-66284-8_11“,”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},{“is_oa”:true,“landing_page_url”:“http://hdl.handle.net/20.500.11984/5676,“pdf_url”:https://ebiltegia.mondragon.edu/xmlui/bitstream/20.500.11984/5676/1/增加%20可靠性%20in%20Safety%20Critical%20CPSs.pdf“,”源“:{”id“:”https://openalex.org/S4377196532“,”display_name“:”eRepository Mondragon University(MondragonUniversity)“,”issn_l“:null,”issn“:null,”is_oa“:false,”isin_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I162361429“,”“host_organization_name”:“蒙德拉贡大学”,“host_organization_lineage”:[“https://openalex.org/I162361429“],”host_organization_lineage_names“:[”Mondragon University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“acceptedVersion”,“is_accepted”:true,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“http://hdl.handle.net/20.500.11984/5676,“pdf_url”:https://ebiltegia.mondragon.edu/xmlui/bitstream/20.500.11984/5676/1/增加%20可靠性%20in%20Safety%20Critical%20CPSs.pdf“,”源“:{”id“:”https://openalex.org/S4377196532“,”display_name“:”eRepository Mondragon University(MondragonUniversity)“,”issn_l“:null,”issn“:null,”is_oa“:false,”isin_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I162361429“,”“host_organization_name”:“蒙德拉贡大学”,“host_organization_lineage”:[“https://openalex.org/I162361429“],”host_organization_lineage_names“:[”Mondragon University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“acceptedVersion”,“is_accepted”:true,“is_published”:false},”sustainable_development_goals“:[],”grants“:【】,”datasets“:〔】,”versions“:〔〕,”referenced_works_count“:20,”https://openalex.org/W132594803","https://openalex.org/W1509672965","https://openalex.org/W1552655093","https://openalex.org/W1592932141","https://openalex.org/W1901286101","https://openalex.org/W1972164078","https://openalex.org/W2049392911","https://openalex.org/W2055505239","https://openalex.org/W2074787299","https://openalex.org/W2077099824","https://openalex.org/W2096229678","https://openalex.org/W2097719961","https://openalex.org/W2100953638","https://openalex.org/W2107022962","https://openalex.org/W2107089133","https://openalex.org/W2125957727","https://openalex.org/W2145071552","https://openalex.org/W2747004715","https://openalex.org/W83744880","https://openalex.org/W897831219“],”related_works“:[”https://openalex.org/W4256317220","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2376514150","https://openalex.org/W2233357156","https://openalex.org/W2169628522","https://openalex.org/W2141414364","https://openalex.org/W2120618633","https://openalex.org/W1976489385","https://openalex.org/W1506225852“],”abstract_inverted_index“:{“可靠性”:[0],”is“:[1,42],”Critical“:[2],”in“:[3,17,51,55,82115],”Safety“:[4132],”Critical”:[5133],”Cyber“:[6],”Physical“:[7],”Systems“:[8],”(CPS)。“:[9],”in“:[10,31],”writer“:[11],”of“:[12,23,84],”the“:[13,66,73,901 08123131],“研究”:[14],“进行”:[15],“外出”:[16],“最近”:[18],“年份”:[19],“实现“:[20],”和“:[21,28],”认证“:[22],”这样“:[24],”系统“:[25],”保持“:[26],”昂贵“:[27],”时间“:[29],”消耗。“:[30],”this“:[32118],”paper“:[33],”a“:[34,57],”framework“:[35,45,88112],”for“:[36130],”Statecharts“:[37],”based“:[38],”SW“:[3],74],”component“:[40],”development“:[41],”presented。“:[43],”此“:[44],”调用“:[46],”CRESC“:[47],”(C++“:[48],”反射“:[49],”状态图),“:[50],”添加“:[52],”到“:[53,60,64100],”辅助“:[54],”转换“:[56],”Statechart“:[58124],”模型“:[59,67,85],”代码“:[61],”使用“:[62],”反映“:[63],”make“:[65],”可用“:[68],”在“:[69,79],”运行“:[70,80],”时间。“:[71],”South,“:[72],”components“:[75],”can“:[76103],”be“:[77104],”monitored“:[78],”Time“:[81],”terms“:[83],”elements“。“:[86],”我们的“:[87],”帮助“:[89],”开发人员“:[91],”分离“:[92],”监视“:[93,97],”来自“:[94107],”功能。“:[95],”任意“:[96],”策略“:[98],”需要“:[99],”增加“:[101],”可靠性“:[102],”添加“:[105],”独立“:[106],”功能“:[109],”部分。“:[110],“The”:[111],“was”:[113],“implemented”:[114],“C++”:[116],“because”:[117],“programming”:[119],“language”:[120],“together”:[121],“with”:[122],“formism”:[125],“complemented”:[126],“wide”:[127],“used”:[128],“choices”:[129],“CPS”:[134],“domain”。“:[135]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2751827468“,”counts_by_year“:[{”年“:2019,”cited_by_count“:1}],”更新日期“:”2024-09-20T00:55:41.996840“,”创建日期“:“2017-09-15”}