{"id":"https://openalex.org/W3184438263","doi":"https://doi.org/10.1109/iolts52814.2021.9486705","title":"Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems","display_name":"Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems","publication_year":2021,"publication_date":"2021-06-28","ids":{"openalex":"https://openalex.org/W3184438263","doi":"https://doi.org/10.1109/iolts52814.2021.9486705","mag":"3184438263"},"language":"en","primary_location":{"id":"doi:10.1109/iolts52814.2021.9486705","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts52814.2021.9486705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03351793/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002249643","display_name":"Tiziano Fiorucci","orcid":null},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210094169","display_name":"STMicroelectronics (India)","ror":"https://ror.org/00ft7bw25","country_code":"IN","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210094169"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR","IN"],"is_corresponding":false,"raw_author_name":"Tiziano Fiorucci","raw_affiliation_strings":["Univ. Grenoble Alpes, CNRS, Grenoble INP*, TIMA, Grenoble, France","Architectures and Methods for Resilient Systems","STMicroelectronics [Crolles]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble INP*, TIMA, Grenoble, France","institution_ids":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Architectures and Methods for Resilient Systems","institution_ids":[]},{"raw_affiliation_string":"STMicroelectronics [Crolles]","institution_ids":["https://openalex.org/I4210094169"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113426457","display_name":"Jean-Marc Daveau","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094169","display_name":"STMicroelectronics (India)","ror":"https://ror.org/00ft7bw25","country_code":"IN","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210094169"]},{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]}],"countries":["FR","IN"],"is_corresponding":false,"raw_author_name":"Jean-Marc Daveau","raw_affiliation_strings":["STMicroelectronics, Crolles Cedex, France","STMicroelectronics [Crolles]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Crolles Cedex, France","institution_ids":["https://openalex.org/I4210104693"]},{"raw_affiliation_string":"STMicroelectronics [Crolles]","institution_ids":["https://openalex.org/I4210094169"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078888989","display_name":"Giorgio Di Natale","orcid":"https://orcid.org/0000-0001-8063-5388"},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Giorgio di Natale","raw_affiliation_strings":["Univ. Grenoble Alpes, CNRS, Grenoble INP*, TIMA, Grenoble, France","Architectures and Methods for Resilient Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble INP*, TIMA, Grenoble, France","institution_ids":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Architectures and Methods for Resilient Systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111893673","display_name":"Philippe Roch\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094169","display_name":"STMicroelectronics (India)","ror":"https://ror.org/00ft7bw25","country_code":"IN","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210094169"]},{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]}],"countries":["FR","IN"],"is_corresponding":false,"raw_author_name":"Philippe Roche","raw_affiliation_strings":["STMicroelectronics, Crolles Cedex, France","STMicroelectronics [Crolles]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"STMicroelectronics, Crolles Cedex, France","institution_ids":["https://openalex.org/I4210104693"]},{"raw_affiliation_string":"STMicroelectronics [Crolles]","institution_ids":["https://openalex.org/I4210094169"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":7,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11005","display_name":"Radiation Effects in Electronics","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9969000220298767,"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/automation","display_name":"Automation","score":0.6814748644828796},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6518207788467407},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.6116483807563782},{"id":"https://openalex.org/keywords/failure-mode-and-effects-analysis","display_name":"Failure mode and effects analysis","score":0.5144500732421875},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.5143000483512878},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5049429535865784},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.47911620140075684},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.43946778774261475},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3518145680427551},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2805442214012146},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0954904556274414}],"concepts":[{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6814748644828796},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6518207788467407},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6116483807563782},{"id":"https://openalex.org/C66283442","wikidata":"https://www.wikidata.org/wiki/Q1389268","display_name":"Failure mode and effects analysis","level":2,"score":0.5144500732421875},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.5143000483512878},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5049429535865784},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.47911620140075684},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.43946778774261475},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3518145680427551},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2805442214012146},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0954904556274414},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2778618615","wikidata":"https://www.wikidata.org/wiki/Q4008393","display_name":"External quality assessment","level":2,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iolts52814.2021.9486705","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts52814.2021.9486705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03351793v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03351793","pdf_url":"https://hal.science/hal-03351793/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEELink","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03351793v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03351793","pdf_url":"https://hal.science/hal-03351793/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEELink","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313937","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187"},{"id":"https://openalex.org/F4320323512","display_name":"Buddhist Tzu Chi Medical Foundation","ror":"https://ror.org/04rbvc675"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3184438263.pdf","grobid_xml":"https://content.openalex.org/works/W3184438263.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1965167268","https://openalex.org/W1996599282","https://openalex.org/W2099425046","https://openalex.org/W2108065216","https://openalex.org/W2125023624","https://openalex.org/W2132022337","https://openalex.org/W2139030423","https://openalex.org/W2155938123","https://openalex.org/W2161719161","https://openalex.org/W2283366266","https://openalex.org/W2569987653","https://openalex.org/W2767430642","https://openalex.org/W2904222803","https://openalex.org/W2990508248","https://openalex.org/W3015453226","https://openalex.org/W3021117126","https://openalex.org/W3046358224","https://openalex.org/W3046888485","https://openalex.org/W3081166023","https://openalex.org/W3147575774","https://openalex.org/W3149134903","https://openalex.org/W4320485796","https://openalex.org/W6676143505","https://openalex.org/W6682671676","https://openalex.org/W6757239544"],"related_works":["https://openalex.org/W11269544","https://openalex.org/W4389096689","https://openalex.org/W2058432184","https://openalex.org/W2371550624","https://openalex.org/W1481851336","https://openalex.org/W2041081782","https://openalex.org/W4299414935","https://openalex.org/W2364677363","https://openalex.org/W2045854775","https://openalex.org/W4321345507"],"abstract_inverted_index":{"In":[0],"the":[1,14,18,21,26,61,72,99,120,137],"field":[2],"of":[3,20,24,64,67,74,101,104,122],"automatic":[4],"quality":[5,102],"or":[6,79],"safety":[7],"assurance":[8,103],"level":[9],"evaluation,":[10],"this":[11,40],"paper":[12],"proposes":[13],"first":[15],"approach":[16,59],"towards":[17],"automation":[19],"extraction":[22,63],"processes":[23],"both":[25],"valid":[27],"and":[28,49,92,113,117,142],"faulty":[29],"state":[30],"machines":[31],"within":[32],"a":[33,43,57,68,75,140],"System-on-a-Chip.":[34],"The":[35,52,107],"data":[36],"automatically":[37],"extracted":[38],"by":[39],"method":[41,53],"is":[42,54,110],"relevant":[44],"input":[45],"for":[46,60,95,139],"behavioural":[47],"modelization":[48],"FMEA":[50],"analysis.":[51],"based":[55],"on":[56,130,146],"semi-automated":[58],"systematic":[62],"failure":[65,90],"modes":[66],"digital":[69],"design":[70],"in":[71,81,98,119],"hypothesis":[73],"single-event":[76],"upset":[77],"(SEU)":[78],"stuck-at":[80],"flip-flops.":[82],"This":[83],"procedure":[84],"aims":[85],"to":[86,111],"enhance":[87],"human":[88],"driven":[89],"analysis":[91,145],"provide":[93],"inputs":[94],"RAMS":[96,115],"frameworks":[97],"process":[100],"complex":[105,144],"devices.":[106],"main":[108],"objective":[109],"transport":[112],"apply":[114],"methods":[116],"tools":[118],"area":[121],"SoCs":[123],"design.":[124],"Experimental":[125],"results":[126],"have":[127],"been":[128],"conducted":[129],"an":[131,147],"I2C":[132],"-":[133],"AHB":[134],"system,":[135],"laying":[136],"base":[138],"complete":[141],"more":[143],"entire":[148],"SoC.":[149]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}