{"id":"https://openalex.org/W4411270026","doi":"https://doi.org/10.1145/3735452.3742870","title":"Pioneering Pathways: The Evolution of Embedded Software Design Methodologies (Keynote)","display_name":"Pioneering Pathways: The Evolution of Embedded Software Design Methodologies (Keynote)","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411270026","doi":"https://doi.org/10.1145/3735452.3742870"},"language":"en","primary_location":{"id":"doi:10.1145/3735452.3742870","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735452.3742870","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735452.3742870","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","raw_type":"proceedings-article"},"type":"conference-abstract","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3735452.3742870","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029793438","display_name":"Soonhoi Ha","orcid":"https://orcid.org/0000-0001-7472-9142"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Soonhoi Ha","raw_affiliation_strings":["Seoul National University, Seoul, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0001-7472-9142","affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5029793438"],"corresponding_institution_ids":["https://openalex.org/I139264467"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"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.6310999989509583,"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.6310999989509583,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.623153805732727},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49214404821395874},{"id":"https://openalex.org/keywords/software-evolution","display_name":"Software evolution","score":0.48440128564834595},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4539870321750641},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.28506404161453247},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.25971874594688416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22438007593154907}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.623153805732727},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49214404821395874},{"id":"https://openalex.org/C202105479","wikidata":"https://www.wikidata.org/wiki/Q265013","display_name":"Software evolution","level":5,"score":0.48440128564834595},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4539870321750641},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.28506404161453247},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.25971874594688416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22438007593154907}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3735452.3742870","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735452.3742870","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735452.3742870","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3735452.3742870","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735452.3742870","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735452.3742870","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411270026.pdf","grobid_xml":"https://content.openalex.org/works/W4411270026.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W3100681762"],"abstract_inverted_index":{"Embedded":[0],"software":[1,31,57,110,141,217,354,385],"design":[2,43,58,165,221,300,341,355,373,383],"is":[3,39,160,271,281,309,322,332],"growing":[4],"ever":[5],"more":[6],"challenging":[7],"as":[8,203,224],"increasing":[9],"user":[10],"demands":[11],"drive":[12,389],"up":[13],"the":[14,53,69,98,121,125,174,180,185,204,208,268,282,304,312,316,336,397],"complexity":[15],"of":[16,55,80,83,127,207,235,278,306,377],"underlying":[17,181],"hardware.":[18],"Designers":[19],"must":[20],"consider":[21],"real-time":[22,242],"performance":[23,243],"and":[24,89,226,241,379],"resource":[25,239],"constraints":[26],"alongside":[27],"functional":[28],"requirements.":[29],"Since":[30],"bugs":[32],"can":[33,229,244,253],"result":[34],"in":[35,194,302,346,351],"critical":[36,220,358],"failures,":[37],"it":[38],"essential":[40],"to":[41,61,104,192,286,382,388],"ensure":[42],"correctness":[44],"at":[45,247,311],"compile":[46,248],"time.":[47,249],"In":[48,315],"this":[49,137],"keynote,":[50],"I":[51],"present":[52],"evolution":[54,366],"embedded":[56,140,163,353,384],"methodologies":[59],"developed":[60],"address":[62],"these":[63,102,236,340],"challenges.":[64],"The":[65,155,375],"journey":[66],"begins":[67],"with":[68],"Ptolemy":[70],"framework,":[71,166,318],"which":[72,303,329],"specifies":[73],"system":[74,182],"behavior":[75,292],"through":[76,232],"a":[77,131,161,168,319,325,357],"hierarchical":[78,133],"combination":[79,126],"formal":[81,128,279],"models":[82,129,190,212,280],"computation,":[84],"including":[85],"synchronous":[86],"dataflow":[87,201],"(SDF)":[88],"finite":[90],"state":[91],"machine":[92],"(FSM)":[93],"models.":[94,237],"Building":[95],"upon":[96],"Ptolemy,":[97],"PeaCE":[99,118,195],"methodology":[100,138,301],"extends":[101],"principles":[103],"hardware/software":[105],"codesign,":[106],"focusing":[107],"on":[108],"efficient":[109],"code":[111,252,270,331],"generation":[112,142,157],"from":[113,184,257,328],"an":[114,298],"extended":[115],"SDF":[116],"model.":[117],"further":[119,365],"refines":[120],"approach":[122],"by":[123,273,335,367],"constraining":[124],"within":[130],"two-level":[132],"task":[134,149,198],"graph.":[135],"While":[136,339],"enables":[139],"for":[143,216,294,396],"specific":[144],"hardware":[145],"platforms,":[146],"its":[147,152],"low":[148],"granularity":[150],"limits":[151],"broader":[153],"applicability.":[154],"next":[156,359],"methodology,":[158],"HOPES":[159,337],"parallel":[162],"SW":[164,330],"introducing":[167],"novel":[169],"\u201cprogramming":[170],"platform\u201d":[171],"concept":[172],"called":[173],"universal":[175],"execution":[176],"model(UEM),":[177],"that":[178],"hides":[179],"architecture":[183],"programmer.":[186],"UEM":[187,266,326],"employs":[188],"specification":[189,293,327],"similar":[191],"those":[193],"but":[196],"increases":[197],"granularity,":[199],"using":[200],"tasks":[202],"scheduling":[205],"units":[206],"operating":[209],"system.":[210],"Formal":[211],"offer":[213],"several":[214],"advantages":[215],"design.":[218],"First,":[219],"errors":[222],"such":[223],"deadlock":[225],"buffer":[227],"overflow":[228],"be":[230,245,254],"detected":[231],"static":[233],"analysis":[234],"Second,":[238],"requirements":[240],"estimated":[246],"Finally,":[250],"target":[251],"automatically":[255,333],"synthesized":[256,269],"UEM,":[258],"significantly":[259],"reducing":[260],"manual":[261],"coding":[262],"effort.":[263],"By":[264],"preserving":[265],"semantics,":[267],"correct":[272],"construction.":[274],"A":[275],"notable":[276],"drawback":[277],"learning":[283],"curve":[284],"required":[285],"understand":[287],"their":[288,349],"semantics.":[289],"To":[290],"simplify":[291],"users,":[295],"we":[296,363],"propose":[297],"evolutionary":[299],"mission":[305],"multiple":[307],"robots":[308],"specified":[310],"service":[313],"level.":[314],"HiSARM":[317],"service-level":[320],"script":[321],"translated":[323],"into":[324,371],"generated":[334],"framework.":[338],"frameworks":[342],"show":[343],"great":[344],"promise":[345],"academic":[347],"settings,":[348],"adoption":[350],"real-world":[352],"remains":[356],"step.":[360],"Looking":[361],"forward,":[362],"anticipate":[364],"integrating":[368],"AI":[369],"technology":[370],"each":[372],"stage.":[374],"pursuit":[376],"better":[378],"easier":[380],"ways":[381],"will":[386],"continue":[387],"innovation,":[390],"presenting":[391],"exciting":[392],"new":[393],"research":[394],"challenges":[395],"future.":[398]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}