{"id":"https://openalex.org/W2963663879","doi":"https://doi.org/10.48550/arxiv.1404.7763","title":"Deployment Calculation and Analysis for a Fail-Operational Automotive Platform","display_name":"Deployment Calculation and Analysis for a Fail-Operational Automotive Platform","publication_year":2014,"publication_date":"2014-04-30","ids":{"openalex":"https://openalex.org/W2963663879","doi":"https://doi.org/10.48550/arxiv.1404.7763","mag":"2963663879"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1404.7763","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1404.7763","pdf_url":"https://arxiv.org/pdf/1404.7763","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1404.7763","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043972137","display_name":"Klaus Becker","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Becker, Klaus","raw_affiliation_strings":["fortiss GmbH Guerickestr. 25 , 80805 Munich , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"fortiss GmbH Guerickestr. 25 , 80805 Munich , Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112136308","display_name":"Bernhard Sch\u00e4tz","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Schatz, Bernhard","raw_affiliation_strings":["fortiss GmbH Guerickestr. 25 , 80805 Munich , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"fortiss GmbH Guerickestr. 25 , 80805 Munich , Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070565751","display_name":"Christian Buckl","orcid":"https://orcid.org/0000-0002-1214-3231","observed_orcids":["https://orcid.org/0000-0002-1214-3231"]},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Buckl, Christian","raw_affiliation_strings":["fortiss GmbH Guerickestr. 25 , 80805 Munich , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"fortiss GmbH Guerickestr. 25 , 80805 Munich , Germany","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111474512","display_name":"Michael Armbruster","orcid":"https://orcid.org/0009-0000-4900-7412","observed_orcids":["https://orcid.org/0009-0000-4900-7412"]},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Armbruster, Michael","raw_affiliation_strings":["Siemens AG , Corporate Technology Otto-Hahn-Ring 6 , 81739 Munich , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG , Corporate Technology Otto-Hahn-Ring 6 , 81739 Munich , Germany","institution_ids":["https://openalex.org/I1325886976"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.538100004196167,"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.538100004196167,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.22010000050067902,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.12960000336170197,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/fault-tolerant-architecture","display_name":"fault-tolerant architecture","score":0.7760000228881836},{"id":"https://openalex.org/keywords/electric-vehicles","display_name":"electric vehicles","score":0.7789999842643738},{"id":"https://openalex.org/keywords/safety-critical-software","display_name":"safety-critical software","score":0.7940000295639038},{"id":"https://openalex.org/keywords/hardware-failure","display_name":"hardware failure","score":0.7429999709129333},{"id":"https://openalex.org/keywords/staff-redeployment","display_name":"redeployment","score":0.7559999823570251},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"resource allocation","score":0.47099998593330383},{"id":"https://openalex.org/keywords/formal-models","display_name":"formal models","score":0.42399999499320984}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.8047557473182678},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7470764517784119},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6235615611076355},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5331888198852539},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5072574019432068},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5034331679344177},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.47238779067993164},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4723851680755615},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4687279462814331},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.4432106614112854},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.41593897342681885},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4133185148239136},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35976558923721313},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32472121715545654},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32023996114730835},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1582622230052948},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15327060222625732},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12406215071678162},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:1404.7763","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1404.7763","pdf_url":"https://arxiv.org/pdf/1404.7763","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1281559","doi":null,"is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1281559","pdf_url":"http://mediatum.ub.tum.de/doc/1281559/document.pdf","source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.667.7078","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.7078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www6.in.tum.de/Main/Publications/becker2014deployment.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.1404.7763","doi":"https://doi.org/10.48550/arxiv.1404.7763","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1404.7763","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"mag:2963663879","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/corr/corr1404.html#BeckerSBA14","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1404.7763","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1404.7763","pdf_url":"https://arxiv.org/pdf/1404.7763","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G6437844816","display_name":null,"funder_award_id":"01ME12009","funder_id":"https://openalex.org/F4320323803","funder_display_name":"Bundesministerium f\u00fcr Wirtschaft und Energie"}],"funders":[{"id":"https://openalex.org/F4320323803","display_name":"Bundesministerium f\u00fcr Wirtschaft und Energie","ror":"https://ror.org/02vgg2808"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963663879.pdf","grobid_xml":"https://content.openalex.org/works/W2963663879.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W2041245382","https://openalex.org/W2061896869","https://openalex.org/W2084899319","https://openalex.org/W2127099711","https://openalex.org/W2138993566","https://openalex.org/W2145071552","https://openalex.org/W2148762176","https://openalex.org/W2153726799","https://openalex.org/W3023258080"],"related_works":["https://openalex.org/W7095660826","https://openalex.org/W49939434","https://openalex.org/W2746834305","https://openalex.org/W2767698766","https://openalex.org/W3035784565","https://openalex.org/W2295873635","https://openalex.org/W3186472173","https://openalex.org/W2132766019","https://openalex.org/W2515473702","https://openalex.org/W3123963039"],"abstract_inverted_index":{"In":[0,48],"domains":[1],"like":[2],"automotive,":[3],"safety-critical":[4],"features":[5,12,102],"are":[6],"increasingly":[7],"realized":[8],"by":[9],"software.":[10],"Some":[11],"might":[13],"even":[14,24],"require":[15],"fail-operational":[16,46,75],"behavior,":[17],"so":[18],"that":[19,44],"they":[20],"must":[21],"be":[22,92,104],"provided":[23,105],"in":[25,85],"the":[26,70,83],"presence":[27],"of":[28,56,66,77,101],"random":[29],"hardware":[30],"failures.":[31],"A":[32],"new":[33],"fault-tolerant":[34],"SW/HW":[35],"architecture":[36,58],"for":[37],"electric":[38],"vehicles":[39],"provides":[40],"inherent":[41],"safety":[42],"capabilities":[43],"enable":[45],"features.":[47],"this":[49,57],"paper":[50],"we":[51],"introduce":[52],"a":[53],"formal":[54],"model":[55],"and":[59],"an":[60],"approach":[61],"to":[62,69,91,96],"calculate":[63],"valid":[64],"deployments":[65],"mixed-critical":[67],"software-components":[68],"execution":[71,88,109],"nodes,":[72],"while":[73],"ensuring":[74],"behavior":[76],"certain":[78],"components.":[79],"Calculated":[80],"redeployments":[81],"cover":[82],"cases":[84],"which":[86,99],"faulty":[87],"nodes":[89],"have":[90],"isolated.":[93],"This":[94],"allows":[95],"formally":[97],"analyze":[98],"set":[100],"can":[103],"under":[106],"decreasing":[107],"available":[108],"resources.":[110]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2019-07-30T00:00:00"}