Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
ACM International Conference Proceeding Series(1)
ACM Transactions on Design Automation of Electronic Systems(1)
ACM Transactions on Embedded Computing Systems(1)
Forum on Specification and Design Languages(1)
Proceedings of the 2019 Forum on Specification and Design Languages, FDL 2019(1)
Área temáticas
Ciencias de la computación(4)
Física aplicada(2)
Métodos informáticos especiales(1)
Otras ramas de la ingeniería(1)
Sistemas(1)
Origen
scopus(5)
Formal design, co-simulation and validation of a radar signal processing system
Conference ObjectAbstract: With the ever increasing complexity in safety-critical and performance-demanding application domainsPalabras claves:Design methodology, Model checking, Radar, Simulation, Synthesis, system design languageAutores:Ahlander A., Ingo Sander, Söderquist I., Sundstrom T., Ungureanu G.Fuentes:scopusExploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems
Conference ObjectAbstract: The shift towards parallel computing witnessed since the turn of this century has forced us to rethiPalabras claves:dataflow, discrete event systems, models of computation, parallel simulationAutores:Ingo Sander, Jordao R., Ungureanu G.Fuentes:scopusForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers
ArticleAbstract: We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of comPalabras claves:cyber-physical systems, Design methodology, Modeling, models of computation, Simulation, Synthesis, system design language, ValidationAutores:Ahlander A., Ingo Sander, Medeiros J.E.G.D., Söderquist I., Sundstrom T., Ungureanu G.Fuentes:scopusModeling and simulation of dynamic applications using scenario-aware dataflow
ArticleAbstract: The tradeoff between analyzability and expressiveness is a key factor when choosing a suitable datafPalabras claves:Modeling, Scenario-aware dataflow (SADF), SimulationAutores:Bonna R., Ingo Sander, Loubach D.S., Ungureanu G.Fuentes:scopusThroughput propagation in constraint-based design space exploration for mixed-criticality systems
Conference ObjectAbstract: When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design aPalabras claves:constraint programming, Correct-by-construction, Design space exploration, Performance AnalysisAutores:Ingo Sander, Khalilzad N., Rosvall K., Ungureanu G.Fuentes:scopus