{"id":"https://openalex.org/W3214140856","doi":"https://doi.org/10.1109/cgo.2019.8661170","title":"Code Generation from Formal Models for Automatic RTOS Portability","display_name":"Code Generation from Formal Models for Automatic RTOS Portability","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W3214140856","doi":"https://doi.org/10.1109/cgo.2019.8661170","mag":"3214140856"},"language":"en","primary_location":{"id":"doi:10.1109/cgo.2019.8661170","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo.2019.8661170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5059791577","display_name":"Renata Martins Gomes","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Renata Martins Gomes","raw_affiliation_strings":["Institute of Technical Informatics Graz University of Technology, Graz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Technical Informatics Graz University of Technology, Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072094059","display_name":"Marcel Baunach","orcid":"https://orcid.org/0000-0002-3716-2682"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Marcel Baunach","raw_affiliation_strings":["Institute of Technical Informatics Graz University of Technology, Graz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Technical Informatics Graz University of Technology, Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4092182"],"apc_list":null,"apc_paid":null,"fwci":0.8747,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81129708,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"272"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987999796867371,"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/software-portability","display_name":"Software portability","score":0.8501009941101074},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8358231782913208},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.639238715171814},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.6016918420791626},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5269007682800293},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.5109547972679138},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.47879013419151306},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.457923024892807},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.44962626695632935},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.41864654421806335},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4173000156879425},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4072921872138977},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3094034194946289},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3064585328102112},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.2220851480960846}],"concepts":[{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.8501009941101074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8358231782913208},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.639238715171814},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.6016918420791626},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5269007682800293},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.5109547972679138},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.47879013419151306},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.457923024892807},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.44962626695632935},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.41864654421806335},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4173000156879425},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4072921872138977},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3094034194946289},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3064585328102112},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.2220851480960846},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo.2019.8661170","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo.2019.8661170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2136279823","https://openalex.org/W2908531647","https://openalex.org/W2999200532","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W2104842527","https://openalex.org/W2112885082","https://openalex.org/W2134667127","https://openalex.org/W1537458325","https://openalex.org/W2347531957","https://openalex.org/W2147175711","https://openalex.org/W2382257878","https://openalex.org/W2221495519","https://openalex.org/W2492486872","https://openalex.org/W2050178275"],"abstract_inverted_index":{"Current":[0],"approaches":[1],"for":[2,9,28,87,101,138,155,213,221],"portability":[3,80,104,137],"of":[4,36,45,81,141,173,218,227],"real-time":[5],"operating":[6],"systems":[7,11],"(RTOSs)":[8],"embedded":[10,114],"are":[12,233,239],"largely":[13],"based":[14],"on":[15,120,210,235],"manual":[16,207],"coding,":[17],"which":[18],"is":[19,196],"arduous":[20],"and":[21,63,79,90,93,109,126,186,238],"error":[22],"prone.":[23],"With":[24],"increasing":[25],"dependability":[26],"requirements":[27],"cyber":[29],"physical":[30],"systems,":[31],"specially":[32,119],"within":[33],"the":[34,41,55,77,122,142,171,174,180,194,211,228,236],"Internet":[35],"Things":[37],"(IoT),":[38],"along":[39],"with":[40],"expected":[42],"great":[43],"diversity":[44],"hardware":[46,68,94,127],"platforms,":[47],"software":[48,115,125],"platforms":[49],"will":[50,166],"only":[51],"remain":[52],"competitive":[53],"in":[54,128,242],"long":[56],"run":[57],"if":[58],"they":[59,232],"guarantee":[60],"correct":[61,85],"operation":[62],"easy":[64],"deployment":[65],"to":[66,76,130,169,199,206],"every":[67],"platform.":[69],"In":[70],"this":[71],"scenario,":[72],"a":[73,99],"new":[74,219],"approach":[75],"development":[78],"RTOSs":[82],"that":[83,105,179,193],"guarantees":[84,192],"implementations":[86,244],"all":[88,243],"current":[89],"future":[91],"devices":[92],"architectures":[95],"becomes":[96],"indispensable.We":[97],"present":[98],"framework":[100,164],"automatic":[102,136],"RTOS":[103,181],"integrates":[106],"model-based":[107],"design":[108],"formal":[110],"methods":[111],"into":[112],"dependable":[113],"development.":[116],"We":[117],"focus":[118],"modeling":[121],"interaction":[123],"between":[124],"order":[129],"generate":[131],"low-level":[132],"code.":[133],"This":[134],"enables":[135],"hardware-related":[139],"parts":[140],"OS":[143],"(i.e.,":[144,159],"context":[145],"switching,":[146],"memory":[147],"management,":[148],"security":[149],"aspects,":[150],"etc,)":[151],"as":[152,154,176,178],"well":[153,177],"on-chip":[156],"peripheral":[157],"drivers":[158],"timers,":[160],"I/O,":[161],"etc.).With":[162],"our":[163],"we":[165],"be":[167],"able":[168],"prove":[170],"consistency":[172,249],"refinements":[175],"model":[182,195,237],"fulfills":[183],"various":[184],"functional":[185],"non-functional":[187],"requirements.":[188],"Automatic":[189],"code":[190,246],"generation":[191],"correctly":[197],"translated":[198],"machine":[200],"language,":[201],"avoiding":[202],"implementation":[203],"mistakes":[204],"common":[205],"coding.":[208],"Changes":[209],"software,":[212],"bug":[214],"fixes":[215],"or":[216],"testing":[217],"concepts,":[220],"example,":[222],"do":[223],"not":[224],"require":[225],"knowledge":[226],"target":[229],"architectures,":[230],"since":[231],"done":[234],"immediately":[240],"reflected":[241],"upon":[245],"generation,":[247],"assuring":[248],"across":[250],"platforms.":[251]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}