{"id":"https://openalex.org/W1967498729","doi":"https://doi.org/10.1109/tii.2011.2174248","title":"Model-Based Validation of Industrial Control Systems","display_name":"Model-Based Validation of Industrial Control Systems","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W1967498729","doi":"https://doi.org/10.1109/tii.2011.2174248","mag":"1967498729"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2011.2174248","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2011.2174248","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-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/A5045759645","display_name":"El\u00edsabet Est\u00e9vez","orcid":"https://orcid.org/0000-0002-1721-3059"},"institutions":[{"id":"https://openalex.org/I191420491","display_name":"Universidad de Ja\u00e9n","ror":"https://ror.org/0122p5f64","country_code":"ES","type":"education","lineage":["https://openalex.org/I191420491"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"E. Estevez","raw_affiliation_strings":["Department of Electronic and Automatic Engineering, University of Jaen, Jaen, Spain","Dept. of Electron. & Autom. Eng., Univ. of Jaen, Jaen, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Electronic and Automatic Engineering, University of Jaen, Jaen, Spain","institution_ids":["https://openalex.org/I191420491"]},{"raw_affiliation_string":"Dept. of Electron. & Autom. Eng., Univ. of Jaen, Jaen, Spain","institution_ids":["https://openalex.org/I191420491"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086608064","display_name":"Marga Marcos","orcid":"https://orcid.org/0000-0001-5570-1072"},"institutions":[{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"M. Marcos","raw_affiliation_strings":["Department of Automatic System Engineering, UPV EHU, Bilbao, Spain","Dept. of Autom. Syst. Eng., UPV, Bilbao, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Automatic System Engineering, UPV EHU, Bilbao, Spain","institution_ids":["https://openalex.org/I169108374"]},{"raw_affiliation_string":"Dept. of Autom. Syst. Eng., UPV, Bilbao, Spain","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045759645"],"corresponding_institution_ids":["https://openalex.org/I191420491"],"apc_list":null,"apc_paid":null,"fwci":14.572,"has_fulltext":false,"cited_by_count":89,"citation_normalized_percentile":{"value":0.99162011,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"8","issue":"2","first_page":"302","last_page":"310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9993000030517578,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6684942245483398},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5821110606193542},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5768685936927795},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5355131030082703},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.510151207447052},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.500838041305542},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4547221064567566},{"id":"https://openalex.org/keywords/domain-engineering","display_name":"Domain engineering","score":0.41535383462905884},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.41474559903144836},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41279712319374084},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33552539348602295},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20871344208717346},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.18650764226913452},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1288202404975891},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.12307852506637573},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.10952702164649963}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6684942245483398},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5821110606193542},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5768685936927795},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5355131030082703},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.510151207447052},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.500838041305542},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4547221064567566},{"id":"https://openalex.org/C5977032","wikidata":"https://www.wikidata.org/wiki/Q5289815","display_name":"Domain engineering","level":5,"score":0.41535383462905884},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.41474559903144836},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41279712319374084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33552539348602295},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20871344208717346},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.18650764226913452},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1288202404975891},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.12307852506637573},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.10952702164649963},{"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tii.2011.2174248","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2011.2174248","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-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":26,"referenced_works":["https://openalex.org/W1571721975","https://openalex.org/W1969422455","https://openalex.org/W1973637342","https://openalex.org/W1993485017","https://openalex.org/W2008126516","https://openalex.org/W2011387993","https://openalex.org/W2014019774","https://openalex.org/W2014840138","https://openalex.org/W2017081644","https://openalex.org/W2019952623","https://openalex.org/W2044444299","https://openalex.org/W2044955572","https://openalex.org/W2049962921","https://openalex.org/W2058104334","https://openalex.org/W2103737052","https://openalex.org/W2106696483","https://openalex.org/W2110743466","https://openalex.org/W2111939355","https://openalex.org/W2122824813","https://openalex.org/W2123431646","https://openalex.org/W2124252349","https://openalex.org/W2125174515","https://openalex.org/W2126525943","https://openalex.org/W2152894214","https://openalex.org/W2244121511","https://openalex.org/W4238951485"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W2966593744","https://openalex.org/W2491374590","https://openalex.org/W4244615978","https://openalex.org/W2751480253","https://openalex.org/W2009167169","https://openalex.org/W2129074048"],"abstract_inverted_index":{"Current":[0],"industrial":[1,162,184],"applications":[2],"demand":[3],"the":[4,27,35,40,46,62,76,88,93,98,101,112,132,147,153,199,219,222,241],"design":[5,99,113,235],"of":[6,20,61,69,90,92,100,139,150,155,170,221,240],"more":[7,9],"and":[8,12,22,79,83,115,181,203,226],"complex,":[10],"safe":[11],"trustworthy":[13],"control":[14,163,223],"systems":[15],"exhibiting":[16],"a":[17,51,67],"high":[18],"degree":[19],"flexibility":[21],"reutilization.":[23],"To":[24],"achieve":[25,121],"this,":[26],"engineering":[28,36,109],"process":[29,42],"should":[30],"be":[31,118,129],"improved":[32],"by":[33,66,137],"making":[34],"tools":[37,110],"involved":[38],"in":[39,97,158,237],"development":[41],"to":[43,120,217,233],"collaborate":[44],"during":[45],"design.":[47,242],"This":[48,127,142],"paper":[49,143],"presents":[50],"model-based":[52],"approach":[53,63,136],"for":[54,161,198,207],"designing":[55],"complex":[56],"automation":[57],"applications.":[58],"The":[59,103],"core":[60],"is":[64,215,231],"constituted":[65],"set":[68],"domain":[70,104,156,176],"specific":[71],"models":[72,105],"that":[73,95],"depend":[74],"on":[75,146],"application":[77,171],"field":[78],"whose":[80],"elements,":[81],"syntax":[82],"semantics":[84],"are":[85,106],"defined":[86,107],"from":[87,174],"point":[89],"view":[91],"experts":[94],"participate":[96],"system.":[102],"using":[108,227],"as":[111,165,167],"progresses":[114],"they":[116],"can":[117,128],"used":[119,183],"tool":[122],"integration":[123],"through":[124],"model":[125,140,212,228],"collaboration.":[126],"achieved":[130],"following":[131],"Model":[133],"Driven":[134],"Engineering":[135,191],"means":[138],"transformations.":[141],"specifically":[144],"focuses":[145],"first":[148],"step":[149],"this":[151,159],"paradigm:":[152],"definition":[154],"languages,":[157],"case":[160],"systems,":[164],"well":[166,179],"validation":[168],"mechanisms":[169],"designs":[172],"coming":[173],"different":[175],"tools.":[177],"Three":[178],"known":[180],"widely":[182],"standards":[185],"have":[186],"been":[187],"used:":[188],"Computer":[189],"Aided":[190],"eXchange":[192],"(CAEX),":[193],"PLCopen":[194],"(a":[195,205],"representation":[196],"format":[197],"IEC":[200],"61131-3":[201],"standard)":[202],"MathML":[204],"language":[206],"defining":[208],"mathematical":[209],"constraints).":[210],"Using":[211],"checking":[213],"it":[214,230],"possible":[216,232],"assure":[218],"correctness":[220],"system":[224],"specification":[225],"transformation":[229],"detect":[234],"errors":[236],"early":[238],"stages":[239]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":17},{"year":2013,"cited_by_count":12},{"year":2012,"cited_by_count":7}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}