{"id":"https://openalex.org/W4399976953","doi":"https://doi.org/10.3390/a17070273","title":"Verification of Control System Runtime Using an Executable Semantic Model","display_name":"Verification of Control System Runtime Using an Executable Semantic Model","publication_year":2024,"publication_date":"2024-06-22","ids":{"openalex":"https://openalex.org/W4399976953","doi":"https://doi.org/10.3390/a17070273"},"language":"en","primary_location":{"id":"doi:10.3390/a17070273","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3390/a17070273","pdf_url":"https://www.mdpi.com/1999-4893/17/7/273/pdf?version=1721114100","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1999-4893/17/7/273/pdf?version=1721114100","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082371594","display_name":"Jan Sadolewski","orcid":"https://orcid.org/0000-0001-7370-9027"},"institutions":[{"id":"https://openalex.org/I111664937","display_name":"Rzesz\u00f3w University of Technology","ror":"https://ror.org/056xse072","country_code":"PL","type":"education","lineage":["https://openalex.org/I111664937"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Jan Sadolewski","raw_affiliation_strings":["Department of Computer and Control Engineering, Rzeszow University of Technology, 35-959 Rzesz\u00f3w, Poland"],"raw_orcid":"https://orcid.org/0000-0001-7370-9027","affiliations":[{"raw_affiliation_string":"Department of Computer and Control Engineering, Rzeszow University of Technology, 35-959 Rzesz\u00f3w, Poland","institution_ids":["https://openalex.org/I111664937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071038915","display_name":"Bartosz Trybu\u015b","orcid":"https://orcid.org/0000-0002-4588-3973"},"institutions":[{"id":"https://openalex.org/I111664937","display_name":"Rzesz\u00f3w University of Technology","ror":"https://ror.org/056xse072","country_code":"PL","type":"education","lineage":["https://openalex.org/I111664937"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Bartosz Trybus","raw_affiliation_strings":["Department of Computer and Control Engineering, Rzeszow University of Technology, 35-959 Rzesz\u00f3w, Poland"],"raw_orcid":"https://orcid.org/0000-0002-4588-3973","affiliations":[{"raw_affiliation_string":"Department of Computer and Control Engineering, Rzeszow University of Technology, 35-959 Rzesz\u00f3w, Poland","institution_ids":["https://openalex.org/I111664937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5071038915","https://openalex.org/A5082371594"],"corresponding_institution_ids":["https://openalex.org/I111664937"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07037467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"7","first_page":"273","last_page":"273"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9873999953269958,"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/computer-science","display_name":"Computer science","score":0.8346682786941528},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8069677352905273},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.585027277469635},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.41151267290115356},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2226696014404297}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8346682786941528},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8069677352905273},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.585027277469635},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.41151267290115356},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2226696014404297}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/a17070273","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3390/a17070273","pdf_url":"https://www.mdpi.com/1999-4893/17/7/273/pdf?version=1721114100","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:5184207f8ca84bdbbfac09bef3757985","is_oa":false,"landing_page_url":"https://doaj.org/article/5184207f8ca84bdbbfac09bef3757985","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithms, Vol 17, Iss 7, p 273 (2024)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1999-4893/17/7/273/","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a17070273","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithms","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/a17070273","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3390/a17070273","pdf_url":"https://www.mdpi.com/1999-4893/17/7/273/pdf?version=1721114100","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399976953.pdf","grobid_xml":"https://content.openalex.org/works/W4399976953.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W103899958","https://openalex.org/W157225795","https://openalex.org/W1179565677","https://openalex.org/W1488160168","https://openalex.org/W1554859476","https://openalex.org/W2015488998","https://openalex.org/W2085276194","https://openalex.org/W2120747265","https://openalex.org/W2158678944","https://openalex.org/W2317917508","https://openalex.org/W2551212080","https://openalex.org/W2884926739","https://openalex.org/W4387097645","https://openalex.org/W4387608563","https://openalex.org/W4387608648","https://openalex.org/W4388423658","https://openalex.org/W4388424301","https://openalex.org/W4388904928","https://openalex.org/W6682255602","https://openalex.org/W6858016299","https://openalex.org/W6858324191"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4239401009","https://openalex.org/W4234371507","https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1528423264"],"abstract_inverted_index":{"The":[0,15,60],"paper":[1],"outlines":[2],"a":[3,10,21],"methodology":[4],"for":[5,66],"validating":[6],"the":[7,18,88,96,100,110,117,121],"accuracy":[8],"of":[9,20,99],"control":[11,131],"system\u2019s":[12],"runtime":[13,16,67],"implementation.":[14],"takes":[17],"form":[19,86],"virtual":[22,101],"machine":[23,44,102],"executing":[24],"portable":[25],"code":[26],"compliant":[27],"with":[28],"IEC":[29],"61131-3":[30],"standards.":[31],"A":[32],"formal":[33],"model,":[34],"comprising":[35],"denotational":[36,80],"semantics":[37],"equations,":[38],"has":[39],"been":[40],"devised":[41],"to":[42],"specify":[43],"instruction":[45],"decoding":[46],"and":[47,57,74,112,129],"operations,":[48],"including":[49],"arithmetic":[50],"functions":[51],"across":[52,134],"various":[53],"data":[54],"types,":[55],"arrays,":[56],"subprogram":[58],"calls.":[59],"model":[61,81,111],"also":[62],"encompasses":[63],"exception-handling":[64],"mechanisms":[65],"errors,":[68],"such":[69],"as":[70],"division":[71],"by":[72],"zero":[73],"invalid":[75],"array":[76],"index":[77],"access.":[78],"This":[79],"is":[82],"translated":[83],"into":[84],"executable":[85,105],"using":[87],"functional":[89],"F":[90],"\u266f":[91],"language.":[92],"Verification":[93],"involves":[94],"comparing":[95],"actual":[97],"implementation":[98,113],"against":[103],"this":[104,125],"model.":[106],"Any":[107],"disparities":[108],"between":[109],"indicate":[114],"deviations":[115],"from":[116],"specification.":[118],"Implemented":[119],"within":[120],"CPDev":[122],"engineering":[123],"environment,":[124],"approach":[126],"ensures":[127],"consistent":[128],"predictable":[130],"program":[132],"execution":[133],"different":[135],"target":[136],"platforms.":[137]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}