Mostrando 7 resultados de: 7
Filtros aplicados
Publisher
Forum on Specification and Design Languages(2)
ACM Transactions on Design Automation of Electronic Systems(1)
ACM Transactions on Embedded Computing Systems(1)
Lecture Notes in Electrical Engineering(1)
Proceedings of the 2019 Forum on Specification and Design Languages, FDL 2019(1)
Área temáticas
Ciencias de la computación(6)
Física aplicada(2)
Ingeniería y operaciones afines(1)
Métodos informáticos especiales(1)
Otras ramas de la ingeniería(1)
Área de conocimiento
Simulación por computadora(7)
Ingeniería electrónica(1)
Procesamiento de señales(1)
Red informática(1)
Simulación(1)
Origen
scopus(7)
Automatic generation of virtual prototypes from platform templates
Conference ObjectAbstract: Virtual Prototypes (VPs) provide an early development platform to embedded software designers when tPalabras claves:Analytical models, constraint programming, Design automation, Design Space Exploration (DSE), interoperability, Mixed-Criticality System (MCS), pbkp_redictable platforms, Real-time systems, Simulation, Transaction-Level Modeling (TLM), Virtual Prototype (VP)Autores:Ingo Sander, Mikulcak M., Niaki S.H.A.Fuentes:scopusFormal 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:scopusFormal heterogeneous system modeling with SystemC
Conference ObjectAbstract: Electronic System Level (ESL) design of embedded systems proposes raising the abstraction level of tPalabras claves:Computer aided engineering, Formal specifications, Modeling, Simulation, System-level designAutores:Ingo Sander, Jakobsen M.K., Niaki S.H.A., Sulonen T.Fuentes:scopusFlexible bus and NoC performance analysis with configurable synthetic workloads
Conference ObjectAbstract: We present a flexible method for bus and network on chip performance analysis, which is based on thePalabras claves:BENCHMARK, Bus, Noc, Performance Analysis, Simulation, Synthetic workloadsAutores:Ingo Sander, Jantsch A., Thid R.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:scopusRapid virtual prototyping of real-time systems using pbkp_redictable platform characterizations
Conference ObjectAbstract: Virtual prototypes (VPs) provide an early development platform to embedded software designers when tPalabras claves:Automation, design-space exploration, pbkp_redictable platforms, Real-time systems, Simulation, Virtual prototypingAutores:Ingo Sander, Mikulcak M., Niaki S.H.A.Fuentes:scopus