{"id":"https://openalex.org/W2025018250","doi":"https://doi.org/10.1109/indin.2012.6301059","title":"Framework for dynamic verification of multi-domain virtual platforms in industrial automation","display_name":"Framework for dynamic verification of multi-domain virtual platforms in industrial automation","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2025018250","doi":"https://doi.org/10.1109/indin.2012.6301059","mag":"2025018250"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2012.6301059","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2012.6301059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Industrial Informatics","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/A5027852470","display_name":"Francisco Mendoza","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"F. Mendoza","raw_affiliation_strings":["ABB Germany Ltd, Corporate Research, Ladenburg, Germany","ABB Germany Ltd., Corporate Research, Ladenburg, Germany"],"affiliations":[{"raw_affiliation_string":"ABB Germany Ltd, Corporate Research, Ladenburg, Germany","institution_ids":[]},{"raw_affiliation_string":"ABB Germany Ltd., Corporate Research, Ladenburg, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045609758","display_name":"Joris Pascal","orcid":"https://orcid.org/0000-0001-6049-3271"},"institutions":[{"id":"https://openalex.org/I885143765","display_name":"ABB (Switzerland)","ror":"https://ror.org/00ks5vt51","country_code":"CH","type":"company","lineage":["https://openalex.org/I885143765"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"J. Pascal","raw_affiliation_strings":["ABB Schweiz AG, Baden, Aargau, CH","ABB Switzerland Ltd., Corporate Research, Baden-D\u00e4ttwil, Switzerland"],"affiliations":[{"raw_affiliation_string":"ABB Schweiz AG, Baden, Aargau, CH","institution_ids":["https://openalex.org/I885143765"]},{"raw_affiliation_string":"ABB Switzerland Ltd., Corporate Research, Baden-D\u00e4ttwil, Switzerland","institution_ids":["https://openalex.org/I885143765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054527114","display_name":"Philipp Nenninger","orcid":"https://orcid.org/0009-0000-0502-0092"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P. Nenninger","raw_affiliation_strings":["ABB Germany Ltd, Corporate Research, Ladenburg, Germany","ABB Germany Ltd., Corporate Research, Ladenburg, Germany"],"affiliations":[{"raw_affiliation_string":"ABB Germany Ltd, Corporate Research, Ladenburg, Germany","institution_ids":[]},{"raw_affiliation_string":"ABB Germany Ltd., Corporate Research, Ladenburg, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024739574","display_name":"J\u00fcrgen Becker","orcid":"https://orcid.org/0000-0002-5082-5487"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J. Becker","raw_affiliation_strings":["Karlsruhe Institute of Technology, Karlsruhe, Germany","Karlsruhe Institute of Technology, Karlsruhe,#N#Germany"],"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe,#N#Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027852470"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.09471613,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"935","last_page":"940"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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.9998999834060669,"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.9995999932289124,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7613075375556946},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.6523858904838562},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5973466634750366},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5923976898193359},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5325663685798645},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.46973881125450134},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.45723116397857666},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.44557714462280273},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3666280508041382},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3414071202278137},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1340266466140747},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09438815712928772}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7613075375556946},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.6523858904838562},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5973466634750366},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5923976898193359},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5325663685798645},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.46973881125450134},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45723116397857666},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.44557714462280273},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3666280508041382},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3414071202278137},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1340266466140747},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09438815712928772},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2012.6301059","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2012.6301059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Industrial Informatics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1963616994","https://openalex.org/W1969090857","https://openalex.org/W2016310205","https://openalex.org/W2034387478","https://openalex.org/W2073467964","https://openalex.org/W2100194416","https://openalex.org/W2121305631","https://openalex.org/W2136042826","https://openalex.org/W2137339287","https://openalex.org/W2169180789","https://openalex.org/W2482867089","https://openalex.org/W2547475129","https://openalex.org/W3139050212","https://openalex.org/W3146847242","https://openalex.org/W6641098264"],"related_works":["https://openalex.org/W2166358658","https://openalex.org/W2056893153","https://openalex.org/W2028386630","https://openalex.org/W1550409889","https://openalex.org/W2039065447","https://openalex.org/W1830510111","https://openalex.org/W3172631514","https://openalex.org/W2208074837","https://openalex.org/W4238487776","https://openalex.org/W2012039880"],"abstract_inverted_index":{"A":[0,20],"crucial":[1],"part":[2],"in":[3,9,55,103,115,152],"the":[4,10,131,144,158],"development":[5],"of":[6,23,42,75,133,160],"embedded":[7,85,126,174],"systems":[8,86],"industrial":[11,154],"automation":[12],"domain":[13],"is":[14,71],"their":[15],"verification":[16,70,159],"using":[17],"simulation-based":[18],"techniques.":[19],"comprehensive":[21],"set":[22],"domain-specific":[24],"modeling":[25],"and":[26,58,99,110,118,143,148,172],"simulation":[27,77],"tools":[28],"are":[29,63,87,97],"available":[30],"for":[31,51,125,157],"this":[32],"purpose,":[33],"but":[34],"they":[35,96],"can":[36,113],"only":[37],"focus":[38],"on":[39],"certain":[40],"aspects":[41],"a":[43,48,56,92,106,116,138,161],"design.":[44],"This":[45],"paper":[46],"presents":[47],"co-simulation":[49,139],"framework":[50,107,135],"bringing":[52],"them":[53],"together":[54],"structured":[57],"standardized":[59],"way.":[60],"The":[61,73],"results":[62],"multi-domain":[64,76],"virtual":[65],"platforms":[66],"where":[67,108],"overall":[68],"dynamic":[69],"possible.":[72],"advantage":[74],"models":[78],"becomes":[79],"clear":[80],"when":[81],"one":[82],"recalls":[83],"that":[84],"used":[88],"to":[89],"interface":[90],"with":[91],"physical":[93,109],"environment.":[94],"Often,":[95],"coupled":[98],"cannot":[100],"be":[101],"tested":[102],"separation.":[104],"Having":[105],"digital":[111],"domains":[112],"interact":[114],"correct":[117],"reproducible":[119],"manner":[120],"opens":[121],"up":[122],"new":[123,162],"possibilities":[124],"system":[127],"developers.":[128],"We":[129],"demonstrate":[130],"capabilities":[132],"our":[134],"by":[136],"adding":[137],"scheme":[140],"between":[141],"SystemC":[142],"VHDL-AMS":[145],"simulator":[146],"SMASH,":[147],"present":[149],"its":[150,173],"application":[151],"an":[153],"case":[155],"study":[156],"Rogowski":[163],"Current":[164],"Coil":[165],"Transducer":[166],"(RCCT)":[167],"electronic":[168],"front":[169],"end":[170],"architecture":[171],"controller":[175],"software":[176],"algorithm.":[177]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}