{"id":"https://openalex.org/W2981475175","doi":"https://doi.org/10.1109/fdl.2019.8876905","title":"Formal Design, Co-Simulation and Validation of a Radar Signal Processing System","display_name":"Formal Design, Co-Simulation and Validation of a Radar Signal Processing System","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2981475175","doi":"https://doi.org/10.1109/fdl.2019.8876905","mag":"2981475175"},"language":"en","primary_location":{"id":"doi:10.1109/fdl.2019.8876905","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2019.8876905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Forum for Specification and Design Languages (FDL)","raw_type":"proceedings-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/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":["School of EECS, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"School of EECS, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014472541","display_name":"Timmy Sundstr\u00f6m","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Timmy Sundstrom","raw_affiliation_strings":["Business Area Aeronautics, Saab AB, Link\u00f6ping, Sweden"],"affiliations":[{"raw_affiliation_string":"Business Area Aeronautics, Saab AB, Link\u00f6ping, Sweden","institution_ids":[]}]},{"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 Ahlander","raw_affiliation_strings":["Business Area Surveillance, Saab AB, Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Business Area Surveillance, Saab AB, Gothenburg, Sweden","institution_ids":["https://openalex.org/I4210153572"]}]},{"author_position":"middle","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":["School of EECS, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"School of EECS, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088595351","display_name":"Ingemar S\u00f6derquist","orcid":"https://orcid.org/0000-0001-9863-9985"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ingemar Soderquist","raw_affiliation_strings":["Business Area Aeronautics, Saab AB, Link\u00f6ping, Sweden"],"affiliations":[{"raw_affiliation_string":"Business Area Aeronautics, Saab AB, Link\u00f6ping, Sweden","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5039168067"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":0.7223,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69306027,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"50","issue":null,"first_page":"1","last_page":"8"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/avionics","display_name":"Avionics","score":0.7454036474227905},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7413903474807739},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6020442247390747},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.5377542972564697},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.523873507976532},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.49292635917663574},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.4776821732521057},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.4556272029876709},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4421401023864746},{"id":"https://openalex.org/keywords/signal-processing","display_name":"Signal processing","score":0.4409328103065491},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4350685477256775},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.4192754626274109},{"id":"https://openalex.org/keywords/radar","display_name":"Radar","score":0.40296030044555664},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3815660774707794},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.36347368359565735},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.35272613167762756},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2602255046367645},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.19767123460769653},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17954164743423462},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15406128764152527}],"concepts":[{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.7454036474227905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7413903474807739},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6020442247390747},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5377542972564697},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.523873507976532},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.49292635917663574},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.4776821732521057},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.4556272029876709},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4421401023864746},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.4409328103065491},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4350685477256775},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.4192754626274109},{"id":"https://openalex.org/C554190296","wikidata":"https://www.wikidata.org/wiki/Q47528","display_name":"Radar","level":2,"score":0.40296030044555664},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3815660774707794},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.36347368359565735},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.35272613167762756},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2602255046367645},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.19767123460769653},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17954164743423462},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15406128764152527},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl.2019.8876905","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2019.8876905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Forum for Specification and Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W87048792","https://openalex.org/W125726805","https://openalex.org/W1483567557","https://openalex.org/W1489689515","https://openalex.org/W1501676610","https://openalex.org/W1542768242","https://openalex.org/W1551332717","https://openalex.org/W1567551938","https://openalex.org/W1975146975","https://openalex.org/W1975864406","https://openalex.org/W2056961727","https://openalex.org/W2109412320","https://openalex.org/W2119355229","https://openalex.org/W2119717320","https://openalex.org/W2134112335","https://openalex.org/W2161219194","https://openalex.org/W2172307690","https://openalex.org/W2208545551","https://openalex.org/W2325779777","https://openalex.org/W2560847507","https://openalex.org/W2613665609","https://openalex.org/W2938472281","https://openalex.org/W4205178436","https://openalex.org/W4210880890","https://openalex.org/W4241219899","https://openalex.org/W4242163102","https://openalex.org/W6632769554","https://openalex.org/W6941269631"],"related_works":["https://openalex.org/W2366556084","https://openalex.org/W1988777083","https://openalex.org/W1555025092","https://openalex.org/W799706496","https://openalex.org/W1491441517","https://openalex.org/W53262038","https://openalex.org/W2387024331","https://openalex.org/W2545414197","https://openalex.org/W4243241610","https://openalex.org/W1502570062"],"abstract_inverted_index":{"With":[0],"the":[1,16,30,38,67,98,110,123,133,149],"ever":[2],"increasing":[3],"complexity":[4,69],"in":[5],"safety-critical":[6],"and":[7,14,21,87,103,147],"performance-demanding":[8],"application":[9],"domains":[10],"such":[11,71],"as":[12],"automotive":[13],"avionics,":[15],"costs":[17],"of":[18,33,58,70,100,112,122,135,143],"designing,":[19],"producing":[20],"especially":[22],"testing":[23],"systems":[24],"does":[25],"not":[26],"scale":[27],"well":[28],"for":[29,97],"next":[31],"generation":[32],"applications.":[34],"One":[35],"example":[36],"is":[37,49],"active":[39],"electronically":[40],"scanned":[41],"array":[42],"(AESA)":[43],"antenna":[44],"signal":[45,125],"processing":[46,126],"chain,":[47,127],"which":[48,85],"currently":[50],"out-of-reach":[51],"from":[52,79],"consumer":[53],"products":[54],"but":[55],"rather":[56],"part":[57,142],"a":[59,75,80,117,141],"few":[60],"exclusive":[61],"hi-tech":[62],"appliances.":[63],"To":[64],"cope":[65],"with":[66,137],"associated":[68],"systems,":[72],"we":[73],"propose":[74],"design":[76,90,138],"flow":[77],"starting":[78],"high-level":[81],"formal":[82],"modeling":[83],"language":[84],"captures":[86],"exposes":[88],"important":[89],"properties":[91],"to":[92,131,145,152],"enable":[93],"their":[94],"systematic":[95],"exploitation":[96],"purpose":[99],"simulation,":[101],"analysis":[102],"synthesis":[104],"towards":[105],"cost-efficient":[106],"implementations.":[107],"We":[108],"demonstrate":[109],"capabilities":[111],"this":[113],"approach":[114],"by":[115],"providing":[116],"compact":[118],"yet":[119],"expressive":[120],"description":[121],"AESA":[124],"generate":[128],"automatic":[129],"test-cases":[130],"verify":[132],"conformity":[134],"model":[136],"specifications,":[139],"synthesize":[140],"it":[144],"VHDL":[146],"co-simulate":[148],"generated":[150],"artifact":[151],"validate":[153],"its":[154],"correctness.":[155]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}