{"id":"https://openalex.org/W2064017142","doi":"https://doi.org/10.1145/2000259.2000279","title":"Failure-dependent execution time analysis","display_name":"Failure-dependent execution time analysis","publication_year":2011,"publication_date":"2011-06-20","ids":{"openalex":"https://openalex.org/W2064017142","doi":"https://doi.org/10.1145/2000259.2000279","mag":"2064017142"},"language":"en","primary_location":{"id":"doi:10.1145/2000259.2000279","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2000259.2000279","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012004953","display_name":"Kai H\u00f6fig","orcid":"https://orcid.org/0000-0001-9613-4801"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Kai H\u00f6fig","raw_affiliation_strings":["University of Kaiserslautern, Kaiserslautern, Germany","University of Kaiserslautern; Kaiserslautern; Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"University of Kaiserslautern; Kaiserslautern; Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001838274","display_name":"Dominik Domis","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Domis","raw_affiliation_strings":["University of Kaiserslautern, Kaiserslautern, Germany","University of Kaiserslautern; Kaiserslautern; Germany"],"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"University of Kaiserslautern; Kaiserslautern; Germany","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012004953"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":null,"apc_paid":null,"fwci":0.2519,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.55636155,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"33","issue":null,"first_page":"115","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.7683422565460205},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.7568110227584839},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7549543380737305},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.6537933349609375},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.637809693813324},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.5629026293754578},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5027999877929688},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.4485979974269867},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.41802090406417847},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40513843297958374},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15436017513275146},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14229968190193176},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09110704064369202}],"concepts":[{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.7683422565460205},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.7568110227584839},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7549543380737305},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.6537933349609375},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.637809693813324},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.5629026293754578},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5027999877929688},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.4485979974269867},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.41802090406417847},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40513843297958374},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15436017513275146},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14229968190193176},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09110704064369202}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2000259.2000279","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2000259.2000279","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W71757722","https://openalex.org/W147444564","https://openalex.org/W160223915","https://openalex.org/W831348075","https://openalex.org/W1496310711","https://openalex.org/W1510872002","https://openalex.org/W1539949938","https://openalex.org/W1817316424","https://openalex.org/W2073278107","https://openalex.org/W2076285066","https://openalex.org/W2108056055","https://openalex.org/W2108748002","https://openalex.org/W2113897995","https://openalex.org/W2115177837","https://openalex.org/W2120448109","https://openalex.org/W2135675358","https://openalex.org/W2141956452","https://openalex.org/W2143846384","https://openalex.org/W2144520025","https://openalex.org/W2144979769","https://openalex.org/W2155075297","https://openalex.org/W2157654039","https://openalex.org/W2160227133","https://openalex.org/W3084228089","https://openalex.org/W4300199668","https://openalex.org/W4300931711"],"related_works":["https://openalex.org/W2971479921","https://openalex.org/W3145923041","https://openalex.org/W2946906624","https://openalex.org/W841176518","https://openalex.org/W2157727563","https://openalex.org/W2101077206","https://openalex.org/W2024212764","https://openalex.org/W2470343202","https://openalex.org/W4285207289","https://openalex.org/W4312447017"],"abstract_inverted_index":{"The":[0,35],"growing":[1],"complexity":[2,12],"of":[3,13,50,66,81],"safety-critical":[4],"embedded":[5],"systems":[6,31],"is":[7,44,58],"leading":[8],"to":[9,30,76,85,102,128],"an":[10,92],"increased":[11,48],"safety":[14,49,67,96,118],"analysis":[15,68,72,97],"models.":[16],"Often":[17],"used":[18],"fault":[19,42,133],"tolerance":[20,43,134],"mechanisms":[21,83],"have":[22],"complex":[23,82],"failure":[24,109],"behavior":[25,57,80,119],"and":[26,61,69,126,130],"produce":[27],"overhead":[28,40,125],"compared":[29],"without":[32],"such":[33],"mechanisms.":[34,135],"question":[36],"arises":[37],"whether":[38],"the":[39,47,55,78,117,123],"for":[41,46,107],"acceptable":[45],"a":[51,113],"system.":[52],"Manually":[53],"modeling":[54],"timing":[56,79],"cost":[59],"intensive":[60],"error":[62],"prone.":[63],"Current":[64],"approaches":[65],"execution":[70,100,105],"time":[71],"are":[73],"not":[74],"able":[75],"reflect":[77],"according":[84],"failures.":[86],"In":[87],"this":[88],"paper,":[89],"we":[90],"describe":[91],"approach":[93],"that":[94],"combines":[95],"models":[98],"with":[99,122],"times":[101,106],"extract":[103],"different":[104,108],"conditions.":[110],"This":[111],"provides":[112],"detailed":[114],"view":[115],"on":[116],"in":[120],"combination":[121],"produced":[124],"allows":[127],"find":[129],"certify":[131],"appropriate":[132]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}