{"id":"https://openalex.org/W4254709338","doi":"https://doi.org/10.1109/date.2004.1269049","title":"Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications","display_name":"Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications","publication_year":2004,"publication_date":"2004-07-20","ids":{"openalex":"https://openalex.org/W4254709338","doi":"https://doi.org/10.1109/date.2004.1269049"},"language":"en","primary_location":{"id":"doi:10.1109/date.2004.1269049","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2004.1269049","pdf_url":null,"source":{"id":"https://openalex.org/S4363608792","display_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","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/A5042435588","display_name":"Claudio Pinello","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"C. Pinello","raw_affiliation_strings":["EECS Department, University of California Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"EECS Department, University of California Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009992367","display_name":"Luca P. Carloni","orcid":"https://orcid.org/0000-0001-5600-8931"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L.P. Carloni","raw_affiliation_strings":["EECS Department, University of California Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"EECS Department, University of California Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A.L. Sangiovanni-Vincentelli","raw_affiliation_strings":["EECS Department, University of California Berkeley, CA, USA"],"affiliations":[{"raw_affiliation_string":"EECS Department, University of California Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5042435588"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":3.0544,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.91279728,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2211","issue":null,"first_page":"1164","last_page":"1169"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","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/T10904","display_name":"Embedded Systems Design Techniques","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/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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9977999925613403,"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/software-deployment","display_name":"Software deployment","score":0.8528422117233276},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6745390892028809},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5195465683937073},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5060290694236755},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.48940029740333557},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4475996494293213},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.42084991931915283},{"id":"https://openalex.org/keywords/feedback-control","display_name":"Feedback control","score":0.4172248840332031},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.40753763914108276},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.33231422305107117},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2839190363883972},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13361811637878418},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.10923701524734497}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.8528422117233276},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6745390892028809},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5195465683937073},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5060290694236755},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.48940029740333557},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4475996494293213},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.42084991931915283},{"id":"https://openalex.org/C3018651601","wikidata":"https://www.wikidata.org/wiki/Q183635","display_name":"Feedback control","level":2,"score":0.4172248840332031},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.40753763914108276},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33231422305107117},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2839190363883972},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13361811637878418},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.10923701524734497},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2004.1269049","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2004.1269049","pdf_url":null,"source":{"id":"https://openalex.org/S4363608792","display_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","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":25,"referenced_works":["https://openalex.org/W1507495123","https://openalex.org/W1735370995","https://openalex.org/W1867587592","https://openalex.org/W1976924039","https://openalex.org/W2033579026","https://openalex.org/W2037987555","https://openalex.org/W2076022311","https://openalex.org/W2100500718","https://openalex.org/W2102194774","https://openalex.org/W2103128566","https://openalex.org/W2127335869","https://openalex.org/W2131138083","https://openalex.org/W2136818133","https://openalex.org/W2137868744","https://openalex.org/W2139354579","https://openalex.org/W2145411592","https://openalex.org/W2145432847","https://openalex.org/W2154476363","https://openalex.org/W2169180789","https://openalex.org/W2169687938","https://openalex.org/W3137092842","https://openalex.org/W4236477325","https://openalex.org/W4242346029","https://openalex.org/W6681380239","https://openalex.org/W6682802489"],"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/W1978919910","https://openalex.org/W1488443159"],"abstract_inverted_index":{"Designing":[0],"cost-sensitive":[1],"real-time":[2],"control":[3,33,97],"systems":[4],"for":[5,50,72,103],"safety-critical":[6],"applications":[7],"requires":[8],"a":[9,57,118],"careful":[10],"analysis":[11],"of":[12,16,25,68,82,121,132],"the":[13,22,27,32,36,44,63,66,80,83,100,104,130],"cost/coverage":[14],"trade-offs":[15],"fault-tolerant":[17],"solutions.":[18],"This":[19],"further":[20],"complicates":[21],"difficult":[23],"task":[24],"deploying":[26],"embedded":[28],"software":[29],"that":[30,39,61,128],"implements":[31],"algorithms":[34],"on":[35,91,117],"execution":[37,105],"platform":[38,74],"is":[40,48,115],"often":[41],"distributed":[42],"around":[43],"plant":[45,93],"(as":[46],"it":[47],"typical,":[49],"instance,":[51],"in":[52,79],"automotive":[53],"applications).":[54],"We":[55],"propose":[56],"synthesis-based":[58],"design":[59],"methodology":[60],"relieves":[62],"designers":[64],"from":[65],"burden":[67],"specifying":[69],"detailed":[70],"mechanisms":[71],"addressing":[73,92],"faults,":[75],"while":[76],"involving":[77],"them":[78],"definition":[81],"overall":[84],"fault-tolerance":[85],"strategy.":[86],"Thus,":[87],"they":[88],"can":[89],"focus":[90],"faults":[94],"within":[95],"their":[96],"algorithms,":[98],"selecting":[99],"best":[101],"components":[102],"platform,":[106],"and":[107],"defining":[108],"an":[109],"accurate":[110],"fault":[111,123],"model.":[112],"Our":[113],"approach":[114],"centered":[116],"new":[119],"model":[120],"computation,":[122],"tolerant":[124],"data":[125],"flows":[126],"(FTDF),":[127],"enables":[129],"integration":[131],"formal":[133],"validation":[134],"techniques.":[135]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}