{"id":"https://openalex.org/W2403896119","doi":"https://doi.org/10.1145/2897937.2898026","title":"Formal reliability analysis of switched ethernet automotive networks under transient transmission errors","display_name":"Formal reliability analysis of switched ethernet automotive networks under transient transmission errors","publication_year":2016,"publication_date":"2016-05-25","ids":{"openalex":"https://openalex.org/W2403896119","doi":"https://doi.org/10.1145/2897937.2898026","mag":"2403896119"},"language":"en","primary_location":{"id":"doi:10.1145/2897937.2898026","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897937.2898026","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 53rd Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5081450721","display_name":"Fedor Smirnov","orcid":"https://orcid.org/0000-0002-2715-5614"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fedor Smirnov","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079135719","display_name":"Michael Gla\u00df","orcid":"https://orcid.org/0000-0002-8006-8843"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Gla\u00df","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077098249","display_name":"Felix Reimann","orcid":"https://orcid.org/0000-0002-9590-6811"},"institutions":[{"id":"https://openalex.org/I1322300227","display_name":"Audi (Germany)","ror":"https://ror.org/02aykj333","country_code":"DE","type":"company","lineage":["https://openalex.org/I1322300227"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Reimann","raw_affiliation_strings":["Audi Electronics Venture GmbH, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Audi Electronics Venture GmbH, Germany","institution_ids":["https://openalex.org/I1322300227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076672029","display_name":"J\u00fcrgen Teich","orcid":"https://orcid.org/0000-0001-6285-5862"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00fcrgen Teich","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU), Germany","institution_ids":["https://openalex.org/I181369854"]}]}],"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":false,"cited_by_count":20,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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.9993000030517578,"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.9987000226974487,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9954000115394592,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7473447322845459},{"id":"https://openalex.org/keywords/ethernet","display_name":"Ethernet","score":0.6038277745246887},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5794159770011902},{"id":"https://openalex.org/keywords/ethernet-over-sdh","display_name":"Ethernet over SDH","score":0.5596193671226501},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.555541455745697},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5426040887832642},{"id":"https://openalex.org/keywords/ethernet-flow-control","display_name":"Ethernet flow control","score":0.5391080975532532},{"id":"https://openalex.org/keywords/synchronous-ethernet","display_name":"Synchronous Ethernet","score":0.4922870695590973},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.48164334893226624},{"id":"https://openalex.org/keywords/bandwidth","display_name":"Bandwidth (computing)","score":0.4775177538394928},{"id":"https://openalex.org/keywords/flexray","display_name":"FlexRay","score":0.4597187042236328},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.42529773712158203},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3299042582511902},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.325589656829834},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16774868965148926}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7473447322845459},{"id":"https://openalex.org/C172173386","wikidata":"https://www.wikidata.org/wiki/Q79984","display_name":"Ethernet","level":2,"score":0.6038277745246887},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5794159770011902},{"id":"https://openalex.org/C30188135","wikidata":"https://www.wikidata.org/wiki/Q1118613","display_name":"Ethernet over SDH","level":4,"score":0.5596193671226501},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.555541455745697},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5426040887832642},{"id":"https://openalex.org/C68178114","wikidata":"https://www.wikidata.org/wiki/Q5403359","display_name":"Ethernet flow control","level":3,"score":0.5391080975532532},{"id":"https://openalex.org/C205215620","wikidata":"https://www.wikidata.org/wiki/Q7662206","display_name":"Synchronous Ethernet","level":3,"score":0.4922870695590973},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.48164334893226624},{"id":"https://openalex.org/C2776257435","wikidata":"https://www.wikidata.org/wiki/Q1576430","display_name":"Bandwidth (computing)","level":2,"score":0.4775177538394928},{"id":"https://openalex.org/C2777648190","wikidata":"https://www.wikidata.org/wiki/Q571846","display_name":"FlexRay","level":3,"score":0.4597187042236328},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.42529773712158203},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3299042582511902},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.325589656829834},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16774868965148926},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2897937.2898026","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897937.2898026","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 53rd Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1553537248","https://openalex.org/W1941880258","https://openalex.org/W1978323694","https://openalex.org/W2000199097","https://openalex.org/W2081498981","https://openalex.org/W2100410511","https://openalex.org/W2106545286","https://openalex.org/W2135024419","https://openalex.org/W2136013446","https://openalex.org/W2136343147","https://openalex.org/W2377254088","https://openalex.org/W2404730416","https://openalex.org/W2536165251","https://openalex.org/W6728234065"],"related_works":["https://openalex.org/W2352573399","https://openalex.org/W1548185804","https://openalex.org/W2121585525","https://openalex.org/W2356861538","https://openalex.org/W2047434851","https://openalex.org/W2171677863","https://openalex.org/W2356973692","https://openalex.org/W2392312071","https://openalex.org/W2129255461","https://openalex.org/W1827635593"],"abstract_inverted_index":{"Modern":[0],"cars":[1],"integrate":[2],"a":[3,45,94,98,104,111,124],"huge":[4],"number":[5],"of":[6,28,36,53,57,66,85,128],"functionalities":[7],"with":[8],"high":[9],"bandwidth,":[10],"real-time,":[11],"and":[12,24,81,103],"reliability":[13,35,56,80,101],"requirements.":[14],"Ethernet":[15,61],"offers":[16],"the":[17,26,34,37,51,54,64,74,77,82,86],"possibility":[18],"to":[19,32],"satisfy":[20],"these":[21],"bandwidth":[22],"requirements":[23],"enables":[25],"usage":[27],"temporal":[29],"redundancy":[30],"mechanisms":[31],"increase":[33],"communication":[38,87,131],"network.":[39,132],"In":[40,69],"this":[41,71],"paper,":[42],"we":[43],"present":[44,92],"lightweight":[46],"formal":[47],"analysis":[48],"approach":[49,72,96,107],"for":[50],"determination":[52],"transmission":[55],"messages":[58],"in":[59,110],"switched":[60],"networks":[62],"under":[63],"influence":[65],"transient":[67],"errors.":[68],"particular,":[70],"takes":[73],"interrelation":[75],"between":[76],"individual":[78],"message":[79],"timing":[83],"behavior":[84],"network":[88],"into":[89],"account.":[90],"We":[91],"both":[93],"fast":[95],"delivering":[97],"pessimistic":[99],"safe":[100,115],"bound":[102],"more":[105],"sophisticated":[106],"that":[108],"results":[109],"tighter":[112],"yet":[113],"still":[114],"bound.":[116],"The":[117],"proposed":[118],"approaches":[119],"are":[120],"compared":[121],"by":[122],"performing":[123],"design":[125],"space":[126],"exploration":[127],"an":[129],"automotive":[130]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}