{"id":"https://openalex.org/W2057424398","doi":"https://doi.org/10.1109/aspdac.2013.6509632","title":"Reliability assessment of safety-relevant automotive systems in a model-based design flow","display_name":"Reliability assessment of safety-relevant automotive systems in a model-based design flow","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2057424398","doi":"https://doi.org/10.1109/aspdac.2013.6509632","mag":"2057424398"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2013.6509632","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2013.6509632","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)","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/A5013066616","display_name":"Sebastian Reiter","orcid":null},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"S. Reiter","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Microelectronic System Design, Karlsruhe, Germany","Microelectron. Syst. Design, FZI (Forschungszentrum Inf.), Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Microelectronic System Design, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"Microelectron. Syst. Design, FZI (Forschungszentrum Inf.), Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065159760","display_name":"Michael Pressler","orcid":"https://orcid.org/0000-0001-9613-684X"},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"M. Pressler","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Microelectronic System Design, Karlsruhe, Germany","Microelectron. Syst. Design, FZI (Forschungszentrum Inf.), Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Microelectronic System Design, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"Microelectron. Syst. Design, FZI (Forschungszentrum Inf.), Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051095305","display_name":"Alexander Viehl","orcid":null},"institutions":[{"id":"https://openalex.org/I143379178","display_name":"FZI Research Center for Information Technology","ror":"https://ror.org/04kdh6x72","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I143379178"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"A. Viehl","raw_affiliation_strings":["FZI Forschungszentrum Informatik, Microelectronic System Design, Karlsruhe, Germany","Microelectron. Syst. Design, FZI (Forschungszentrum Inf.), Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"FZI Forschungszentrum Informatik, Microelectronic System Design, Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]},{"raw_affiliation_string":"Microelectron. Syst. Design, FZI (Forschungszentrum Inf.), Karlsruhe, Germany","institution_ids":["https://openalex.org/I143379178"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074802358","display_name":"Oliver Bringmann","orcid":"https://orcid.org/0000-0002-1615-507X"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"O. Bringmann","raw_affiliation_strings":["Institute for Computer Science, University of Tuebingen, Tubingen, Germany","Inst. for Comput. Sci., Univ. Tuebingen, Tu\u0308bingen, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, University of Tuebingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]},{"raw_affiliation_string":"Inst. for Comput. Sci., Univ. Tuebingen, Tu\u0308bingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087076980","display_name":"Wolfgang Rosenstiel","orcid":null},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"W. Rosenstiel","raw_affiliation_strings":["Institute for Computer Science, University of Tuebingen, Tubingen, Germany","Inst. for Comput. Sci., Univ. Tuebingen, Tu\u0308bingen, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, University of Tuebingen, Tubingen, Germany","institution_ids":["https://openalex.org/I8087733"]},{"raw_affiliation_string":"Inst. for Comput. Sci., Univ. Tuebingen, Tu\u0308bingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5013066616"],"corresponding_institution_ids":["https://openalex.org/I143379178"],"apc_list":null,"apc_paid":null,"fwci":5.37157271,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.95649029,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"417","last_page":"422"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.994700014591217,"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.989799976348877,"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/reliability","display_name":"Reliability (semiconductor)","score":0.7537122368812561},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.7465621829032898},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.655393123626709},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.6541091203689575},{"id":"https://openalex.org/keywords/virtual-prototyping","display_name":"Virtual prototyping","score":0.6463222503662109},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.44508856534957886},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.436138391494751},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.28824949264526367},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.24819377064704895},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2400854229927063},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.11451047658920288}],"concepts":[{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.7537122368812561},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.7465621829032898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.655393123626709},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6541091203689575},{"id":"https://openalex.org/C2780991453","wikidata":"https://www.wikidata.org/wiki/Q3408177","display_name":"Virtual prototyping","level":2,"score":0.6463222503662109},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.44508856534957886},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.436138391494751},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.28824949264526367},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.24819377064704895},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2400854229927063},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.11451047658920288},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aspdac.2013.6509632","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2013.6509632","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1995994787","https://openalex.org/W2011419363","https://openalex.org/W2062057212","https://openalex.org/W2080300564","https://openalex.org/W2088076240","https://openalex.org/W2097550017","https://openalex.org/W2109318022","https://openalex.org/W2125372718","https://openalex.org/W2149784647","https://openalex.org/W2150267144","https://openalex.org/W2154809971","https://openalex.org/W2163413877","https://openalex.org/W3150987667"],"related_works":["https://openalex.org/W4382644535","https://openalex.org/W2522768275","https://openalex.org/W2149166411","https://openalex.org/W1676660241","https://openalex.org/W1614428294","https://openalex.org/W53262038","https://openalex.org/W2387024331","https://openalex.org/W2545414197","https://openalex.org/W1502570062","https://openalex.org/W1969982904"],"abstract_inverted_index":{"To":[0,65],"support":[1],"the":[2,29,49,57,67,70,81,88,94,99],"reliability":[3,52],"assessment":[4,47],"of":[5,48,98],"safety-relevant":[6,108],"distributed":[7],"automotive":[8,109],"systems":[9],"and":[10,32,60,86,91],"reduce":[11],"its":[12],"complexity,":[13],"this":[14],"paper":[15],"presents":[16],"a":[17,75,106],"novel":[18],"approach":[19,101],"that":[20],"extends":[21],"virtual":[22,89],"prototyping":[23],"towards":[24],"error":[25,36,42],"effect":[26],"simulation.":[27],"Besides":[28],"common":[30],"functional":[31],"timed":[33],"system":[34,51,58,63],"simulation,":[35],"injection":[37],"is":[38,53,72,102],"used":[39],"to":[40,84,92],"stress":[41],"tolerance":[43],"mechanisms.":[44],"A":[45],"quantitative":[46],"overall":[50],"performed":[54],"by":[55,104],"observing":[56],"reactions":[59],"identifying":[61],"incorrect":[62],"behavior.":[64],"foster":[66],"industrial":[68],"application,":[69],"analysis":[71],"integrated":[73],"in":[74],"model-based":[76],"design":[77],"flow,":[78],"starting":[79],"at":[80],"modeling":[82],"level":[83],"assemble":[85],"parameterize":[87],"prototype":[90],"configure":[93],"analysis.":[95],"The":[96],"feasibility":[97],"proposed":[100],"demonstrated":[103],"analyzing":[105],"representative":[107],"use":[110],"case.":[111]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}