{“id”：“https://openalex.org/W2002430904“，”doi“：”https://doi.org/10.1109/isorc.2014.9“，”title“：”Time-Triggered Safety-Critical Embedded Systems的建模与模拟故障注入“，”display_name“：”Time-Trigged Safety-Critical Embedded Systems:“，”publication_year“：2014，”publiction_date“：”2014-06-01“，”ids“：{”openalex“：”https://openalex.org/W2002430904“，”doi“：”https://doi.org/10.1109/isorc.2014.9“，”mag“：”2002430904“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/isorc.2014.9“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5025833372“，”display_name“：”Iban Ayestaran“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210140267“，”display_name“：”Ikerlan“，”ror“：”https://ror.org/03hp1m080“，”country_code“：”ES“，”type“：“company”，”lineage“：[”https://openalex.org/I4210140267“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Iban Ayestaran“，”raw _affiliation_strings“：[“嵌入式系统组，IK4-Ikerlan Res.中心，Arrasate-Mondragon，西班牙”]，”affiliations“：[{”raw_affiliation_string“：”嵌入式系统组、IK4-I kerlan Res.中心，西班牙Arrasate_Mondragoon“，”，“institution_ids”：[“”https://openalex.org/I4210140267“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5053771710“，”display_name“：”卡洛斯·费尔南多·尼科尔\u00e1s“，”orcid“：”https://orcid.org/0000-0002-117-913X}，“机构”：[{“id”：https://openalex.org/I4210140267“，”display_name“：”Ikerlan“，”ror“：”https://ror.org/03hp1m080“，”country_code“：”ES“，”type“：“company”，”lineage“：[”https://openalex.org/I4210140267“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Carlos F.Nicolas“，”raw _affiliation_strings“：[“Embedded Syst.Group，IK4-Ikerlan Res.Center，Arrasate-Mondragon，Spain”]，“afliations”：[{“raw_affiliation _string”：“Embended Syst.Group，IK4-Ikerland Res.Center，Arrastate-Mondragon，Spains”，“institution_ids”：[”https://openalex.org/I4210140267“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5067624233“，”display_name“：”Jon P\u00e9rez“，”orcid“：”https://orcid.org/0000-0001-6389-648X}，“机构”：[{“id”：https://openalex.org/I4210140267“，”display_name“：”Ikerlan“，”ror“：”https://ror.org/03hp1m080“，”country_code“：”ES“，”type“：“company”，”lineage“：[”https://openalex.org/I4210140267“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Jon Perez“，”raw _affiliation_strings“：[“Embedded Syst.Group，IK4-Ikerlan Res.Center，Arrasate-Mondragon，Spain”]，“affiliations”：[{“raw_affilition_string”：“Embended Syst.Group，IK4-Ikerland Res.Center，Arrastate-Mondragon，Spains”，“institution_ids”：[”https://openalex.org/I4210140267“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5068211355“，”display_name“：”Asier Larrucea“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210140267“，”display_name“：”Ikerlan“，”ror“：”https://ror.org/03hp1m080“，”country_code“：”ES“，”type“：“company”，”lineage“：[”https://openalex.org/I4210140267“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Asier Larrucea“，”raw _affiliation_strings“：[“Embedded Syst.Group，IK4-Ikerlan Res.Center，Arrasate-Mondragon，Spain”]，“afliations”：[{“raw_affilition_string”：“Embended Syst.Group，I04-Ikerlan Res.Center，Arrasate-Montragon（西班牙）”，“institution_ids”：[”https://openalex.org/I4210140267“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A50717137“，”display_name“：”Peter Puschner“，”orcid“：”https://orcid.org/0000-0002-2495-0778}，“机构”：[{“id”：https://openalex.org/I1323252656“，”display_name“：”信息技术大学“，”ror“：”https://ror.org/00ngv8j44“，”country_code“：”PK“，”type“：”教育“，”血统“：[”https://openalex.org/I1323252656“]}]，”国家“：[”PK“]，”is_corresponding“：false，”raw_author_name“：”Peter Puschner“，”raw _ afiliation_strings“：[“奥地利维也纳维也纳科技大学信息研究所”]，“affiliations”：[{“raw_affiliation_string”：“奥地利维也纳科技大学资讯研究所”，“institution_ids”：[”https://openalex.org/I1323252656“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：1.615，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：6，”citation_normalized_percentile“：{”value“：0.770549，”is_in_top_1_perce nt“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：82，”max“：83}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，，“is_retracted”：false，“is_paratext”：false，“primary_topic”:{“id”：“https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9985，“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/keywords/fault-inpjection网站“，”display_name“：”故障注入“，”score“：0.8807665｝，｛”id“：”https://openalex.org/keywords/executor网站“，”display_name“：”Executor“，”score“：0.7576261｝，｛”id“：”https://openalex.org/keywords/life-critical-system网站“，”display_name“：”生命临界系统“，”score“：0.6099612}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”分数“：0.5723811}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.548422}，{”id“：”https://openalex.org/keywords/fault-tolerance“，”display_name“：”容错“，”score“：0.546307}，{”id“：”https://openalex.org/keywords/embedded-systems网站“，”display_name“：”嵌入式系统“，”score“：0.545737}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.524048}，{”id“：”https://openalex.org/keywords/mixed-criticality系统“，”display_name“：”Mixed-Criticality Systems“，”score“：0.515675}，{”id“：”https://openalex.org/keywords/software-fault-t容差“，”display_name“：”软件容错“，”score“：0.5110012}，{”id“：”https://openalex.org/keywords/system-saffety网站“，”display_name“：”系统安全“，”score“：0.4693901}，{”id“：”https://openalex.org/keywords/fault-model“，”display_name“：”故障模型“，”score“：0.41987932}]，”concepts“：[{”id“：”https://openalex.org/C2775928411，“wikidata”：https://www.wikidata.org/wiki/Q2041312“，”display_name“：”故障注入“，”level“：3，”score“：0.8807665}，{”id“：”https://openalex.org/C77019957，“wikidata”：https://www.wikidata.org/wiki/Q2689057“，”display_name“：”可靠性“，”级别“：2，”分数“：0.8476132}，{”id“：”https://openalex.org/C180591056，“wikidata”：https://www.wikidata.org/wiki/Q654437“，”display_name“：”Executor“，”level“：2，”score“：0.7576261}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7039296}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.65337294}，{”id“：”https://openalex.org/C163707989，“wikidata”：https://www.wikidata.org/wiki/Q1996307“，”display_name“：”生命临界系统“，”level“：3，”score“：0.6099612}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.58138156}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”Abstraction“，”level“：2，”score“：0.5723811｝，｛”id“：”https://openalex.org/C63540848，“wikidata”：https://www.wikidata.org/wiki/Q3140932“，”display_name“：”容错“，”level“：2，”score“：0.5447572}，{”id“：”https://openalex.org/C50712370，“wikidata”：https://www.wikidata.org/wiki/Q4269346“，”display_name“：”软件容错“，”level“：3，”score“：0.5110012}，{”id“：”https://openalex.org/C175551986，“wikidata”：https://www.wikidata.org/wiki/Q47089“，”display_name“：”断层（地质）“，”level“：2，”score“：0.49710253}，{”id“：”https://openalex.org/C132835097，“wikidata”：https://www.wikidata.org/wiki/Q7663745“，”display_name“：”系统安全“，”级别“：2，”分数“：0.4693901}，{”id“：”https://openalex.org/C126953365，“wikidata”：https://www.wikidata.org/wiki/Q5438152“，”display_name“：”故障覆盖率“，”level“：3，”score“：0.44818357}，{”id“：”https://openalex.org/C46304622，“wikidata”：https://www.wikidata.org/wiki/Q374814“，”display_name“：”Certification“，”level“：2，”score“：0.4245031}，{”id“：”https://openalex.org/C167391956，“wikidata”：https://www.wikidata.org/wiki/Q1401211“，”display_name“：”故障模型“，”level“：3，”score“：0.41987932}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.41704983}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.2140137}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.20471099}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.19961393}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.08861226}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C134146338，“wikidata”：https://www.wikidata.org/wiki/Q1815901“，”display_name“：”电子电路“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C165205528，“wikidata”：https://www.wikidata.org/wiki/Q83371“，”display_name“：”Seismology“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”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}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/isorc.2014.9“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：22，“referrenced_works”：[”https://openalex.org/W159494641","https://openalex.org/W178329638","https://openalex.org/W1936283550","https://openalex.org/W2011419363","https://openalex.org/W2045772698","https://openalex.org/W2057424398","https://openalex.org/W2075033940","https://openalex.org/W2098513789","https://openalex.org/W2107822077","https://openalex.org/W2109318022","https://openalex.org/W2118824103","https://openalex.org/W2119699246","https://openalex.org/W2129998589","https://openalex.org/W2138612658","https://openalex.org/W2145071552","https://openalex.org/W2164854480","https://openalex.org/W2170077922","https://openalex.org/W2170936907","https://openalex.org/W2503657378","https://openalex.org/W3150987667","https://openalex.org/W339765856","https://openalex.org/W4235799760“]，”related_works“：[”https://openalex.org/W4255421333","https://openalex.org/W4234532445","https://openalex.org/W2760189237","https://openalex.org/W274211403","https://openalex.org/W2607474334","https://openalex.org/W2137526832","https://openalex.org/W2122349997","https://openalex.org/W2083209667","https://openalex.org/W2082366402","https://openalex.org/W1531099689“]，”abstract_inverted_index“：｛”The“：[0118]，”development“：[1]，”and“：[2,35,58,64,77,98102113138]，”certification“：[3]，”of“：[4,12,20,27,39,55,62,67115120143]，”safety“：[5,68,82]，”critical“：[6,83]，”embedded“：[7,84]，”systems“：[8]，”required“：[9]，”The“：[10,17,21,25,52,60110116121]，”implementation“：[11,54]，“容错”：[13,56]，“机制“：[14,30,57]，”到“：[15,32]，”确保“：[16]，”安全“：[18]，”操作“：[19]，”系统“：[22135]，”偶数“：[23]，”in“：[24]，”存在“：[26]，“故障。“：[28]，”这些“：[29]，”需要“：[31]，”被“：[33]，”验证“：[34]，”确认“：[36]，”通过“：[37]，”表示“：[38]，”故障“：[40,43,90]，”注入。“：[41]，”模拟“：[42]，”注入“：[44,91]，”启用“：[45]，”an“：[46]，”早期“：[47111]，”可靠性“：[48]，”评估“：[49]，”that“：[50]，”validates“：[51]，”correct“：[53]，”reduces“：[59]，”风险“：[61]，”延迟“：[63]，”昂贵“：[65]，”发现“：[66]，”相关“：[69]，”陷阱。“：[70]，”This“：[71]，”paper“：[72]，”presents“：[73]，”a“：[74104127131]，”novely“：[75]，”modeling“：[76]，”simulation“：[78]，”framework“：[79123]，”for“：[80109]，”time-triggered“：[81105]，”systems。“：[85117]，”我们的“：[86]，”方法“：[87]，”支持“：[88]，”模拟“：[89139]，”在“：[92140]，”不同“：[93141]，”抽象“：[94]，”级别“：[95142]，”（平台“：[96]，”独立“：[97]，”平台“：99]，”特定“：[100]，”模型“：[101]，”集成“：[103]，”自动“：[106]，”测试“：[107]，”执行器“：[108]，“验证”：[112]，“确认”：[114]，“可行性“：[119]，”提议“：[122]，”是“：[124136]，”说明“：[125]，”有“：[126]，”案例“：[128]，”研究“：[129]，”其中“：[130]，”简化“：[132]，”铁路“：[133]，”信令“：[134]，”建模“：[137]，”抽象。“：[144]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2002430904“，”“counts_by_year”：[{“年份”：2020，”“cited_by_count”：1}，{“年度”：2018，”“cited_by_cunt”：1\n，{（年份）：2017，”“cited_by_count”“：2}，”“年份”“：2016，”“icted_by-count”“:1}，，”“年”“：2014，”“cuited_by_count“：1}]，”“更新日期”：“2024-09-12T22:24:28.158727”，”“created_date”：“2016-06-24”}