Mostrando 10 resultados de: 10
Filtros aplicados
Publisher
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018(2)
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)
Área temáticas
Ciencias de la computación(8)
Física aplicada(3)
Sistemas(2)
Ingeniería y operaciones afines(1)
Instrumentos de precisión y otros dispositivos(1)
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems
ArticleAbstract: Embedded systems are ubiquitous and control many critical functions in society. A fairly new type ofPalabras claves:domain ontology, Embedded Systems, mapping rules, models of computation (MoC), runtime reconfigurationAutores:Bonna R., Ingo Sander, Loubach D.S., Söderquist I., Ungureanu G.Fuentes:scopusBridging discrete and continuous time models with atoms
Conference ObjectAbstract: Recent trends in replacing traditionally digital components with analog counterparts in order to ovePalabras claves:Autores:Ingo Sander, Medeiros J.E.G.D., Ungureanu G.Fuentes:scopusAn algebra for modeling continuous time systems
Conference ObjectAbstract: Advancements on analog integrated design have led to new possibilities for complex systems combiningPalabras claves:Autores:Ingo Sander, Medeiros J.E.G.D., Ungureanu G.Fuentes:scopusA layered formal framework for modeling of cyber-physical systems
Conference ObjectAbstract: Designing cyber-physical systems is highly challenging due to its manifold interdependent aspects suPalabras claves:Autores:Ingo Sander, Ungureanu G.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: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:scopusExploring power and throughput for dataflow applications on pbkp_redictable NoC multiprocessors
Conference ObjectAbstract: System level optimization for multiple mixed-criticality applications on shared networked multiprocePalabras claves:constraint programming, Design space exploration, Mixed criticality system, Multiprocessor system on chip, Network on chip, System level design, Temporally disjoint networkAutores:Ingo Sander, Mohammadat T., Öberg J., Rosvall K., 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