{"id":"https://openalex.org/W4308095369","doi":"https://doi.org/10.1109/fdl56239.2022.9925655","title":"A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS","display_name":"A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS","publication_year":2022,"publication_date":"2022-09-14","ids":{"openalex":"https://openalex.org/W4308095369","doi":"https://doi.org/10.1109/fdl56239.2022.9925655"},"language":"en","primary_location":{"id":"doi:10.1109/fdl56239.2022.9925655","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl56239.2022.9925655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 Forum on Specification & Design Languages (FDL)","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/A5033188238","display_name":"Francesco Tosoni","orcid":"https://orcid.org/0000-0003-3331-2935"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Francesco Tosoni","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036512005","display_name":"Nicola Dall\u2019Ora","orcid":"https://orcid.org/0000-0003-0656-9786"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Dall'Ora","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068919830","display_name":"Enrico Fraccaroli","orcid":"https://orcid.org/0000-0002-9739-6501"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Fraccaroli","raw_affiliation_strings":["University of North Carolina at Chapel Hill,Department of Computer Science,USA","Department of Computer Science, University of North Carolina at Chapel Hill, USA"],"affiliations":[{"raw_affiliation_string":"University of North Carolina at Chapel Hill,Department of Computer Science,USA","institution_ids":["https://openalex.org/I114027177"]},{"raw_affiliation_string":"Department of Computer Science, University of North Carolina at Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049959354","display_name":"Franco Fummi","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033188238"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.9077,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72529313,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9922000169754028,"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.9922000169754028,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9801999926567078,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9800999760627747,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5833262205123901},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5796669721603394},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5572792887687683},{"id":"https://openalex.org/keywords/mechanical-system","display_name":"Mechanical system","score":0.5201504826545715},{"id":"https://openalex.org/keywords/electrical-network","display_name":"Electrical network","score":0.4458843767642975},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4285799562931061},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.4230201244354248},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.25035861134529114},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.23185038566589355},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09224259853363037},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09058639407157898}],"concepts":[{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5833262205123901},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5796669721603394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5572792887687683},{"id":"https://openalex.org/C171912257","wikidata":"https://www.wikidata.org/wiki/Q11019","display_name":"Mechanical system","level":2,"score":0.5201504826545715},{"id":"https://openalex.org/C196796808","wikidata":"https://www.wikidata.org/wiki/Q132629","display_name":"Electrical network","level":2,"score":0.4458843767642975},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4285799562931061},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.4230201244354248},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.25035861134529114},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.23185038566589355},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09224259853363037},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09058639407157898},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl56239.2022.9925655","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl56239.2022.9925655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 Forum on Specification & Design Languages (FDL)","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":24,"referenced_works":["https://openalex.org/W1523551755","https://openalex.org/W1988737326","https://openalex.org/W2066990919","https://openalex.org/W2071396426","https://openalex.org/W2075297412","https://openalex.org/W2097734235","https://openalex.org/W2104520397","https://openalex.org/W2125453397","https://openalex.org/W2138924416","https://openalex.org/W2172251322","https://openalex.org/W2914039358","https://openalex.org/W2916146303","https://openalex.org/W2965989144","https://openalex.org/W2967694451","https://openalex.org/W2980405045","https://openalex.org/W3005313843","https://openalex.org/W3012497868","https://openalex.org/W3181312008","https://openalex.org/W3196868883","https://openalex.org/W3198554306","https://openalex.org/W4285814136","https://openalex.org/W6605737096","https://openalex.org/W6723341766","https://openalex.org/W6800605796"],"related_works":["https://openalex.org/W2623347760","https://openalex.org/W2359378376","https://openalex.org/W3210428198","https://openalex.org/W2356297619","https://openalex.org/W2607474334","https://openalex.org/W3034138874","https://openalex.org/W2743342830","https://openalex.org/W2362192218","https://openalex.org/W3005313843","https://openalex.org/W2122437973"],"abstract_inverted_index":{"There":[0],"are":[1,84,159,166],"several":[2],"languages":[3],"for":[4,37],"modeling":[5,80],"a":[6,18,29,57,149],"Cyber-Physical":[7],"System":[8],"(CPS).":[9],"One":[10],"of":[11,143,145,151],"them":[12],"is":[13,48,61,138],"Verilog-AMS,":[14],"which":[15,120,156],"allows":[16],"representing":[17],"system":[19],"belonging":[20],"to":[21,63,95,101,111],"the":[22,38,43,72,76,93,103,108,112,125,135,162,169],"electrical":[23,44,68,77,104,164,171],"and":[24,45,81],"mechanical":[25,46,58,113,126,130,157],"physical":[26,73,90],"domains":[27,47],"in":[28,42,50,88,107,129,155],"single":[30],"model":[31,150],"through":[32,148],"different":[33],"disciplines.":[34],"A":[35],"framework":[36],"automatic":[39],"fault":[40,79,96,105],"injection":[41,82],"proposed":[49],"this":[51,146],"context.":[52],"In":[53,75],"particular,":[54],"starting":[55],"from":[56],"system,":[59],"it":[60,65,99],"possible":[62,100],"represent":[64],"as":[66],"an":[67,141,152],"circuit":[69,110],"by":[70],"exploiting":[71],"analogies.":[74],"domain,":[78,127],"techniques":[83],"more":[85],"advanced":[86],"than":[87],"other":[89],"domains.":[91],"Extending":[92],"analogies":[94],"models":[97,106],"makes":[98],"apply":[102],"equivalent":[109,163,170],"system.":[114],"These":[115],"yields":[116],"mechanical-level":[117],"faulty":[118],"behaviors,":[119],"can":[121],"be":[122],"injected":[123,167],"into":[124,168],"resulting":[128],"(physical)":[131],"faults,":[132],"depending":[133],"on":[134],"component.":[136],"It":[137],"finally":[139],"shown":[140],"example":[142],"execution":[144],"flow":[147],"electric":[153],"motor,":[154],"faults":[158,165],"injected.":[160],"Simultaneously,":[161],"circuit.":[172]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}