Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981475175> ?p ?o ?g. }
- W2981475175 abstract "With the ever increasing complexity in safety-critical and performance-demanding application domains such as automotive and avionics, the costs of designing, producing and especially testing systems does not scale well for the next generation of applications. One example is the active electronically scanned array (AESA) antenna signal processing chain, which is currently out-of-reach from consumer products but rather part of a few exclusive hi-tech appliances. To cope with the associated complexity of such systems, we propose a design flow starting from a high-level formal modeling language which captures and exposes important design properties to enable their systematic exploitation for the purpose of simulation, analysis and synthesis towards cost-efficient implementations. We demonstrate the capabilities of this approach by providing a compact yet expressive description of the AESA signal processing chain, generate automatic test-cases to verify the conformity of model with design specifications, synthesize a part of it to VHDL and co-simulate the generated artifact to validate its correctness." @default.
- W2981475175 created "2019-11-01" @default.
- W2981475175 creator A5014472541 @default.
- W2981475175 creator A5024461213 @default.
- W2981475175 creator A5039168067 @default.
- W2981475175 creator A5057558312 @default.
- W2981475175 creator A5088595351 @default.
- W2981475175 date "2019-09-01" @default.
- W2981475175 modified "2023-10-01" @default.
- W2981475175 title "Formal Design, Co-Simulation and Validation of a Radar Signal Processing System" @default.
- W2981475175 cites W125726805 @default.
- W2981475175 cites W1567551938 @default.
- W2981475175 cites W1975146975 @default.
- W2981475175 cites W2119355229 @default.
- W2981475175 cites W2119717320 @default.
- W2981475175 cites W2134112335 @default.
- W2981475175 cites W2161219194 @default.
- W2981475175 cites W2172307690 @default.
- W2981475175 cites W2208545551 @default.
- W2981475175 cites W2325779777 @default.
- W2981475175 cites W2613665609 @default.
- W2981475175 cites W2938472281 @default.
- W2981475175 cites W4205178436 @default.
- W2981475175 cites W4242163102 @default.
- W2981475175 cites W87048792 @default.
- W2981475175 doi "https://doi.org/10.1109/fdl.2019.8876905" @default.
- W2981475175 hasPublicationYear "2019" @default.
- W2981475175 type Work @default.
- W2981475175 sameAs 2981475175 @default.
- W2981475175 citedByCount "2" @default.
- W2981475175 countsByYear W29814751752021 @default.
- W2981475175 countsByYear W29814751752022 @default.
- W2981475175 crossrefType "proceedings-article" @default.
- W2981475175 hasAuthorship W2981475175A5014472541 @default.
- W2981475175 hasAuthorship W2981475175A5024461213 @default.
- W2981475175 hasAuthorship W2981475175A5039168067 @default.
- W2981475175 hasAuthorship W2981475175A5057558312 @default.
- W2981475175 hasAuthorship W2981475175A5088595351 @default.
- W2981475175 hasConcept C104267543 @default.
- W2981475175 hasConcept C111498074 @default.
- W2981475175 hasConcept C113775141 @default.
- W2981475175 hasConcept C115903868 @default.
- W2981475175 hasConcept C118524514 @default.
- W2981475175 hasConcept C127413603 @default.
- W2981475175 hasConcept C146978453 @default.
- W2981475175 hasConcept C149635348 @default.
- W2981475175 hasConcept C15792166 @default.
- W2981475175 hasConcept C199360897 @default.
- W2981475175 hasConcept C201995342 @default.
- W2981475175 hasConcept C26713055 @default.
- W2981475175 hasConcept C2779010991 @default.
- W2981475175 hasConcept C31352089 @default.
- W2981475175 hasConcept C31972630 @default.
- W2981475175 hasConcept C36941000 @default.
- W2981475175 hasConcept C37135326 @default.
- W2981475175 hasConcept C41008148 @default.
- W2981475175 hasConcept C42935608 @default.
- W2981475175 hasConcept C526921623 @default.
- W2981475175 hasConcept C554190296 @default.
- W2981475175 hasConcept C55439883 @default.
- W2981475175 hasConcept C76155785 @default.
- W2981475175 hasConceptScore W2981475175C104267543 @default.
- W2981475175 hasConceptScore W2981475175C111498074 @default.
- W2981475175 hasConceptScore W2981475175C113775141 @default.
- W2981475175 hasConceptScore W2981475175C115903868 @default.
- W2981475175 hasConceptScore W2981475175C118524514 @default.
- W2981475175 hasConceptScore W2981475175C127413603 @default.
- W2981475175 hasConceptScore W2981475175C146978453 @default.
- W2981475175 hasConceptScore W2981475175C149635348 @default.
- W2981475175 hasConceptScore W2981475175C15792166 @default.
- W2981475175 hasConceptScore W2981475175C199360897 @default.
- W2981475175 hasConceptScore W2981475175C201995342 @default.
- W2981475175 hasConceptScore W2981475175C26713055 @default.
- W2981475175 hasConceptScore W2981475175C2779010991 @default.
- W2981475175 hasConceptScore W2981475175C31352089 @default.
- W2981475175 hasConceptScore W2981475175C31972630 @default.
- W2981475175 hasConceptScore W2981475175C36941000 @default.
- W2981475175 hasConceptScore W2981475175C37135326 @default.
- W2981475175 hasConceptScore W2981475175C41008148 @default.
- W2981475175 hasConceptScore W2981475175C42935608 @default.
- W2981475175 hasConceptScore W2981475175C526921623 @default.
- W2981475175 hasConceptScore W2981475175C554190296 @default.
- W2981475175 hasConceptScore W2981475175C55439883 @default.
- W2981475175 hasConceptScore W2981475175C76155785 @default.
- W2981475175 hasLocation W29814751751 @default.
- W2981475175 hasOpenAccess W2981475175 @default.
- W2981475175 hasPrimaryLocation W29814751751 @default.
- W2981475175 hasRelatedWork W1488098244 @default.
- W2981475175 hasRelatedWork W1535094225 @default.
- W2981475175 hasRelatedWork W1754554616 @default.
- W2981475175 hasRelatedWork W2142848556 @default.
- W2981475175 hasRelatedWork W2166112445 @default.
- W2981475175 hasRelatedWork W2292472167 @default.
- W2981475175 hasRelatedWork W2374149786 @default.
- W2981475175 hasRelatedWork W2547383453 @default.
- W2981475175 hasRelatedWork W2981475175 @default.
- W2981475175 hasRelatedWork W61592148 @default.
- W2981475175 isParatext "false" @default.
- W2981475175 isRetracted "false" @default.
- W2981475175 magId "2981475175" @default.