{"id":"https://openalex.org/W4405578635","doi":"https://doi.org/10.1145/3706587","title":"Model-based Toolchain for Core Flight System (cFS) Embedded Systems","display_name":"Model-based Toolchain for Core Flight System (cFS) Embedded Systems","publication_year":2024,"publication_date":"2024-12-19","ids":{"openalex":"https://openalex.org/W4405578635","doi":"https://doi.org/10.1145/3706587"},"language":"en","primary_location":{"id":"doi:10.1145/3706587","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3706587","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","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/A5002490257","display_name":"Hugo Valente","orcid":"https://orcid.org/0000-0003-4025-3611"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Hugo Valente","raw_affiliation_strings":["Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021240550","display_name":"Miguel de Miguel","orcid":"https://orcid.org/0000-0002-8626-7843"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Miguel de Miguel","raw_affiliation_strings":["Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024075424","display_name":"\u00c1ngel-Grover P\u00e9rez-Mu\u00f1oz","orcid":"https://orcid.org/0009-0007-0760-6071"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"\u00c1ngel P\u00e9rez-Mu\u00f1oz","raw_affiliation_strings":["Departamento de Arquitectura y Tecnolog\u00eda de Sistemas Inform\u00e1ticos (DATSI), Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Arquitectura y Tecnolog\u00eda de Sistemas Inform\u00e1ticos (DATSI), Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110169050","display_name":"Alejandro Alonso","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alejandro Alonso","raw_affiliation_strings":["Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065057618","display_name":"Juan Zamorano","orcid":"https://orcid.org/0000-0001-5412-5691"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Zamorano","raw_affiliation_strings":["Departamento de Arquitectura y Tecnolog\u00eda de Sistemas Inform\u00e1ticos (DATSI), Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Arquitectura y Tecnolog\u00eda de Sistemas Inform\u00e1ticos (DATSI), Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060687412","display_name":"Juan A. de la Puente","orcid":"https://orcid.org/0000-0002-7673-9835"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan De La Puente","raw_affiliation_strings":["Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5002490257"],"corresponding_institution_ids":["https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.254398,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"3","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991999864578247,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/toolchain","display_name":"Toolchain","score":0.9878336191177368},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.6695568561553955},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.505450963973999},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.43253639340400696},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4204787611961365},{"id":"https://openalex.org/keywords/many-core","display_name":"Many core","score":0.41632890701293945},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.3917008638381958},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2475264072418213},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21835625171661377},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.14836469292640686},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11374548077583313},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08155518770217896}],"concepts":[{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.9878336191177368},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.6695568561553955},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.505450963973999},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.43253639340400696},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4204787611961365},{"id":"https://openalex.org/C3020431745","wikidata":"https://www.wikidata.org/wiki/Q25325220","display_name":"Many core","level":2,"score":0.41632890701293945},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.3917008638381958},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2475264072418213},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21835625171661377},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.14836469292640686},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11374548077583313},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08155518770217896}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3706587","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3706587","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3699213180","display_name":null,"funder_award_id":"Spain","funder_id":"https://openalex.org/F4320313831","funder_display_name":"Comunidad de Madrid"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8455164868","display_name":"Tool suite for AUtomatic code generation and validation of model-based critical iteROpeRAble components","funder_award_id":"101004291","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320313831","display_name":"Comunidad de Madrid","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W62012895","https://openalex.org/W72684053","https://openalex.org/W114967581","https://openalex.org/W1486178352","https://openalex.org/W1490229066","https://openalex.org/W1606275343","https://openalex.org/W1999853740","https://openalex.org/W2058931801","https://openalex.org/W2063990300","https://openalex.org/W2066177777","https://openalex.org/W2076965317","https://openalex.org/W2165203881","https://openalex.org/W2247348177","https://openalex.org/W2316001766","https://openalex.org/W2469261779","https://openalex.org/W2483643683","https://openalex.org/W2500176950","https://openalex.org/W2504328771","https://openalex.org/W2594117352","https://openalex.org/W2621243565","https://openalex.org/W2626120344","https://openalex.org/W2737196283","https://openalex.org/W2767828146","https://openalex.org/W2891817859","https://openalex.org/W2905303628","https://openalex.org/W2962819227","https://openalex.org/W2982679344","https://openalex.org/W2989682875","https://openalex.org/W3106116840","https://openalex.org/W3118741991","https://openalex.org/W4226004902","https://openalex.org/W4234708815","https://openalex.org/W4280571816","https://openalex.org/W4286355552","https://openalex.org/W4293235731","https://openalex.org/W4300174919","https://openalex.org/W4306801054","https://openalex.org/W4308627717","https://openalex.org/W4318159369","https://openalex.org/W7037329785"],"related_works":["https://openalex.org/W2488486573","https://openalex.org/W2966982140","https://openalex.org/W2440674826","https://openalex.org/W2947723533","https://openalex.org/W2394430006","https://openalex.org/W4255057712","https://openalex.org/W2140017055","https://openalex.org/W1516700698","https://openalex.org/W2384472584","https://openalex.org/W163366574"],"abstract_inverted_index":{"The":[0],"space":[1],"domain":[2],"is":[3,82],"experiencing":[4],"a":[5,17,20,40,47,49,76,112,139,147,152,200],"paradigm":[6],"shift":[7],"with":[8,32,150],"the":[9,33,116,127,130,135,155,180,185,190,204,219],"rise":[10],"of":[11,35,66,119,194,203,221],"micro-":[12],"and":[13,54,71,99,129,164,192],"nanosatellites.":[14],"Historically,":[15],"launching":[16],"satellite":[18,104],"required":[19],"big":[21,29],"financial":[22],"risk":[23],"only":[24],"sustained":[25],"by":[26,79,123,143],"governments":[27],"or":[28],"companies.":[30],"Nowadays,":[31],"miniaturization":[34],"satellites,":[36],"there":[37],"has":[38],"been":[39],"significant":[41],"reduction":[42,68],"in":[43,69],"costs":[44,73],"and,":[45],"as":[46,84],"consequence,":[48],"greater":[50],"opportunity":[51],"for":[52,103],"universities":[53],"smaller":[55],"businesses":[56],"to":[57,74,114,182,216],"launch":[58,70],"satellites":[59],"into":[60],"space.":[61],"Companies":[62],"are":[63,101],"taking":[64],"advantage":[65],"this":[67,93,108,195,211],"manufacturing":[72],"gain":[75],"competitive":[77],"edge":[78],"adopting":[80],"what":[81],"known":[83],"\u201cAgile":[85],"Space,\u201d":[86],"which":[87],"emphasizes":[88],"rapid":[89],"iterations.":[90],"To":[91,188],"facilitate":[92],"high":[94],"development":[95,117,177,220],"pace,":[96],"specialized":[97],"toolchains":[98],"frameworks":[100],"designed":[102],"software":[105,121,223],"development.":[106],"In":[107],"article,":[109],"we":[110,198],"provide":[111],"solution":[113],"reduce":[115],"time":[118],"embedded":[120,222],"systems":[122],"ensuring":[124],"consistency":[125,174],"between":[126],"design":[128],"implementation.":[131],"We":[132],"have":[133],"integrated":[134],"core":[136],"Flight":[137],"System,":[138],"message-oriented":[140],"framework":[141],"developed":[142],"NASA":[144],"based":[145],"on":[146,184],"publish-subscribe":[148],"architecture,":[149],"TASTE,":[151],"toolset":[153],"from":[154],"European":[156],"Space":[157],"Agency.":[158],"This":[159,207],"integration":[160],"combines":[161],"modeling":[162],"capabilities":[163],"automatic":[165],"code":[166],"generation,":[167],"reducing":[168],"error-prone":[169],"repetitive":[170],"tasks.":[171],"It":[172],"ensures":[173],"across":[175],"different":[176],"stages":[178],"allowing":[179],"end-user":[181],"focus":[183],"implementation-specific":[186],"details.":[187],"demonstrate":[189],"feasibility":[191],"advantages":[193],"model-based":[196],"toolchain,":[197],"present":[199],"case":[201],"study":[202,208],"UPMSat-2":[205],"microsatellite.":[206],"demonstrates":[209],"how":[210],"approach":[212],"can":[213],"be":[214],"used":[215],"successfully":[217],"support":[218],"systems.":[224]},"counts_by_year":[],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}