{"id":"https://openalex.org/W3121018858","doi":"https://doi.org/10.1145/3424667","title":"ForSyDe-Atom","display_name":"ForSyDe-Atom","publication_year":2021,"publication_date":"2021-01-04","ids":{"openalex":"https://openalex.org/W3121018858","doi":"https://doi.org/10.1145/3424667","mag":"3121018858"},"language":"en","primary_location":{"id":"doi:10.1145/3424667","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3424667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3424667","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3424667","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039168067","display_name":"George Ungureanu","orcid":"https://orcid.org/0000-0003-1666-1316"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"George Ungureanu","raw_affiliation_strings":["KTH Royal Institute of Technology, Kista, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology, Kista, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083433170","display_name":"Jos\u00e9 Edil Guimar\u00e3es de Medeiros","orcid":"https://orcid.org/0000-0001-6529-0780"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Edil Guimar\u00e3es De Medeiros","raw_affiliation_strings":["University of Bras\u00edlia, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014472541","display_name":"Timmy Sundstr\u00f6m","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153572","display_name":"Saab (Sweden)","ror":"https://ror.org/05kyy7d06","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210153572"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Timmy sundstr\u00f6m","raw_affiliation_strings":["Saab AB, Sweden"],"affiliations":[{"raw_affiliation_string":"Saab AB, Sweden","institution_ids":["https://openalex.org/I4210153572"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088595351","display_name":"Ingemar S\u00f6derquist","orcid":"https://orcid.org/0000-0001-9863-9985"},"institutions":[{"id":"https://openalex.org/I4210153572","display_name":"Saab (Sweden)","ror":"https://ror.org/05kyy7d06","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210153572"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ingemar S\u00f6derquist","raw_affiliation_strings":["Saab AB, Sweden"],"affiliations":[{"raw_affiliation_string":"Saab AB, Sweden","institution_ids":["https://openalex.org/I4210153572"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057558312","display_name":"Anders \u00c5hlander","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153572","display_name":"Saab (Sweden)","ror":"https://ror.org/05kyy7d06","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210153572"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Anders \u00c5hlander","raw_affiliation_strings":["Saab AB, Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Saab AB, Gothenburg, Sweden","institution_ids":["https://openalex.org/I4210153572"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024461213","display_name":"Ingo Sander","orcid":"https://orcid.org/0000-0003-4859-3100"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ingo Sander","raw_affiliation_strings":["KTH Royal Institute of Technology, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5039168067"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":{"value":1116,"currency":"EUR","value_usd":1203},"fwci":1.174,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75496995,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"20","issue":"2","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8671790361404419},{"id":"https://openalex.org/keywords/orthogonalization","display_name":"Orthogonalization","score":0.5786093473434448},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.5044752359390259},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4702792465686798},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4463108777999878},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.44620129466056824},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.43615150451660156},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43223845958709717},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39958444237709045},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3238673508167267},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27840083837509155},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2316066026687622}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8671790361404419},{"id":"https://openalex.org/C47559304","wikidata":"https://www.wikidata.org/wiki/Q1702189","display_name":"Orthogonalization","level":2,"score":0.5786093473434448},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.5044752359390259},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4702792465686798},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4463108777999878},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44620129466056824},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.43615150451660156},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43223845958709717},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39958444237709045},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3238673508167267},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27840083837509155},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2316066026687622},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3424667","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3424667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3424667","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3424667","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3424667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3424667","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/14","score":0.44999998807907104,"display_name":"Life below water"}],"awards":[{"id":"https://openalex.org/G586799729","display_name":null,"funder_award_id":"2017-04892","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"},{"id":"https://openalex.org/G643915124","display_name":null,"funder_award_id":"NFFP7","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"}],"funders":[{"id":"https://openalex.org/F4320321030","display_name":"VINNOVA","ror":"https://ror.org/01kd5m353"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3121018858.pdf","grobid_xml":"https://content.openalex.org/works/W3121018858.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1501676610","https://openalex.org/W1542768242","https://openalex.org/W1557561422","https://openalex.org/W1567551938","https://openalex.org/W1975146975","https://openalex.org/W2056961727","https://openalex.org/W2061156850","https://openalex.org/W2086082110","https://openalex.org/W2116813111","https://openalex.org/W2118165464","https://openalex.org/W2119355229","https://openalex.org/W2119717320","https://openalex.org/W2127335869","https://openalex.org/W2134112335","https://openalex.org/W2151415616","https://openalex.org/W2169687938","https://openalex.org/W2172307690","https://openalex.org/W2476698346","https://openalex.org/W2511623178","https://openalex.org/W2555680506","https://openalex.org/W2582080653","https://openalex.org/W2613665609","https://openalex.org/W2798373126","https://openalex.org/W2798943753","https://openalex.org/W2938472281","https://openalex.org/W2981475175","https://openalex.org/W4205178436","https://openalex.org/W6811215404"],"related_works":["https://openalex.org/W1965163197","https://openalex.org/W2005349189","https://openalex.org/W2526976988","https://openalex.org/W3122962126","https://openalex.org/W2386892378","https://openalex.org/W4301514602","https://openalex.org/W2949490341","https://openalex.org/W1541233540","https://openalex.org/W2362628444","https://openalex.org/W2136529641"],"abstract_inverted_index":{"We":[0,49,117],"present":[1],"ForSyDe-Atom,":[2],"a":[3,21,78,85,110,126,154],"formal":[4],"framework":[5,19,76],"intended":[6],"as":[7,30],"an":[8,132],"entry":[9],"point":[10],"for":[11,25,54,62,66,71],"disciplined":[12],"design":[13,82,86,149],"of":[14,23,39,81,93,96,109,115,121,131],"complex":[15],"cyber-physical":[16],"systems.":[17],"This":[18,75],"provides":[20],"set":[22],"rules":[24],"combining":[26],"several":[27],"domain-specific":[28],"languages":[29],"structured,":[31],"enclosing":[32],"layers":[33,95],"to":[34,156],"orthogonalize":[35],"the":[36,90,98,106,119,148,163],"many":[37],"aspects":[38],"system":[40,111],"behavior,":[41],"yet":[42,128],"study":[43],"their":[44],"interaction":[45],"in":[46,58,84],"tandem":[47],".":[48],"define":[50],"four":[51],"layers:":[52],"one":[53,61,65,70],"capturing":[55],"timed":[56],"interactions":[57],"heterogeneous":[59],"systems,":[60],"structured":[63],"parallelism,":[64],"modeling":[67],"uncertainty,":[68],"and":[69,101,105,138,158,161],"describing":[72],"component":[73],"properties.":[74],"enables":[77],"systematic":[79],"exploitation":[80],"properties":[83],"flow":[87],"by":[88,113,124],"facilitating":[89],"stepwise":[91],"projection":[92],"certain":[94],"interest,":[97],"isolated":[99],"analysis":[100],"refinement":[102],"on":[103],"projections,":[104],"seamless":[107],"reconstruction":[108],"model":[112,130],"virtue":[114],"orthogonalization.":[116],"demonstrate":[118],"capabilities":[120],"this":[122],"approach":[123],"providing":[125],"compact":[127],"expressive":[129],"active":[133],"electronically":[134],"scanned":[135],"array":[136],"antenna":[137],"signal":[139],"processing":[140],"chain,":[141],"simulate":[142],"it,":[143,152],"validate":[144],"its":[145],"conformity":[146],"with":[147],"specifications,":[150],"refine":[151],"synthesize":[153],"sub-system":[155],"VHDL":[157],"sequential":[159],"code,":[160],"co-simulate":[162],"generated":[164],"artifacts.":[165]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2021-01-18T00:00:00"}