{"id":"https://openalex.org/W4415400040","doi":"https://doi.org/10.1109/etfa65518.2025.11205687","title":"LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code","display_name":"LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code","publication_year":2025,"publication_date":"2025-09-09","ids":{"openalex":"https://openalex.org/W4415400040","doi":"https://doi.org/10.1109/etfa65518.2025.11205687"},"language":"en","primary_location":{"id":"doi:10.1109/etfa65518.2025.11205687","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205687","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.aalto.fi/en/publications/a5d441e5-15d5-41ed-a536-07c8ad80250d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102049175","display_name":"Akira King","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Akira King","raw_affiliation_strings":["Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"],"affiliations":[{"raw_affiliation_string":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008070913","display_name":"Valeriy Vyatkin","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Valeriy Vyatkin","raw_affiliation_strings":["Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"],"affiliations":[{"raw_affiliation_string":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland","institution_ids":["https://openalex.org/I9927081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102049175"],"corresponding_institution_ids":["https://openalex.org/I9927081"],"apc_list":null,"apc_paid":null,"fwci":2.4582,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.90479333,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"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/T10472","display_name":"Semiconductor materials and devices","score":0.9918000102043152,"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/T10472","display_name":"Semiconductor materials and devices","score":0.9918000102043152,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9794999957084656,"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/T10558","display_name":"Advancements in Semiconductor Devices and Circuit Design","score":0.9781000018119812,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6923999786376953},{"id":"https://openalex.org/keywords/iterative-and-incremental-development","display_name":"Iterative and incremental development","score":0.5830000042915344},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5616999864578247},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5350000262260437},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5139999985694885},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.47530001401901245},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4553999900817871},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.43149998784065247},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4275999963283539}],"concepts":[{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6923999786376953},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6805999875068665},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.5830000042915344},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5748000144958496},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5616999864578247},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5350000262260437},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5139999985694885},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.47530001401901245},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4578000009059906},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4553999900817871},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.43149998784065247},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4275999963283539},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.40560001134872437},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.38760000467300415},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.3619000017642975},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.3612000048160553},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C155386361","wikidata":"https://www.wikidata.org/wiki/Q1649571","display_name":"Process control","level":3,"score":0.319599986076355},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.30160000920295715},{"id":"https://openalex.org/C2778763806","wikidata":"https://www.wikidata.org/wiki/Q4826572","display_name":"Automatic Generation Control","level":4,"score":0.29269999265670776},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2791999876499176},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2635999917984009},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.262800008058548},{"id":"https://openalex.org/C2777394884","wikidata":"https://www.wikidata.org/wiki/Q762268","display_name":"Automatic programming","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.2549000084400177},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.2533999979496002}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/etfa65518.2025.11205687","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205687","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"},{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/141539","is_oa":true,"landing_page_url":"https://research.aalto.fi/en/publications/a5d441e5-15d5-41ed-a536-07c8ad80250d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401663","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"acceptedVersion"}],"best_oa_location":{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/141539","is_oa":true,"landing_page_url":"https://research.aalto.fi/en/publications/a5d441e5-15d5-41ed-a536-07c8ad80250d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401663","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"acceptedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"are":[4,89,97,132],"increasingly":[5],"being":[6,90],"used":[7],"in":[8,12,23,29,37,54,169],"software":[9,40,53],"development":[10],"and":[11,102],"applications":[13,83,123],"like":[14,33],"code":[15,77,118],"generation.":[16],"While":[17,87],"LLMs":[18,65],"can":[19],"provide":[20,66],"significant":[21,106],"value":[22],"the":[24,48,55,111,130,154,164,178],"form":[25,56],"of":[26,50,57],"time":[27],"savings":[28],"common":[30],"programming":[31],"languages":[32],"Python,":[34],"their":[35,95],"usability":[36],"generating":[38,51],"automation":[39],"has":[41],"yet":[42,99],"to":[43,109,147,153,176],"be":[44,167],"studied":[45],"extensively.":[46],"In":[47],"context":[49],"control":[52,72,82],"IEC":[58,80,121],"61131-3":[59],"compliant":[60],"code,":[61],"initial":[62],"studies":[63],"suggest":[64],"a":[67,144],"promising":[68],"avenue":[69],"for":[70,79,92,120,129],"increasing":[71],"engineer":[73],"productivity.":[74],"However,":[75],"similar":[76],"generation":[78,119],"61499-based":[81,122],"is":[84,174],"still":[85],"scarce.":[86],"tools":[88],"developed":[91],"this":[93],"purpose,":[94],"capabilities":[96],"not":[98],"fully":[100],"understood,":[101],"they":[103],"often":[104],"require":[105],"human":[107],"input":[108],"generate":[110],"intended":[112],"outcomes.":[113],"This":[114],"paper":[115],"explores":[116],"LLM-based":[117],"through":[124],"iterative":[125],"prompting.":[126],"The":[127,159],"prompts":[128,149],"experiments":[131],"derived":[133],"from":[134,181],"requirements":[135],"generated":[136],"by":[137],"System-Theoretic":[138],"Process":[139],"Analysis":[140],"(STPA),":[141],"which":[142],"provides":[143],"systematic":[145],"approach":[146,165],"creating":[148],"that":[150,162],"also":[151],"connect":[152],"larger":[155],"systems":[156],"engineering":[157],"workflow.":[158],"results":[160],"indicate":[161],"while":[163],"may":[166],"successful":[168],"some":[170],"instances,":[171],"more":[172],"work":[173],"required":[175],"mitigate":[177],"issues":[179],"arising":[180],"its":[182],"application.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-22T00:00:00"}