Mostrando 7 resultados de: 7
Filtros aplicados
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE Access(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
Lecture Notes in Electrical Engineering(1)
Proceedings of the 2014 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2014(1)
Área temáticas
Ciencias de la computación(7)
Física aplicada(3)
Programación informática, programas, datos, seguridad(2)
Instrumentos de precisión y otros dispositivos(1)
Otros productos finales y envases(1)
Área de conocimiento
Ciencias de la computación(4)
Proceso estocástico(1)
Simulación por computadora(1)
Sistema de control(1)
Sistema embebido(1)
Origen
scopus(7)
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:scopusAutomatic 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:scopusApplication and verification of local nonsemantic-preserving transformations in system design
ArticleAbstract: Due to the increasing abstraction gap between the initial system model and a final implementation, tPalabras claves:Design refinement, Formal verification, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusDesigning end-to-end resource reservations in pbkp_redictable distributed embedded systems
ArticleAbstract: Contemporary distributed embedded systems in many domains have become highly complex due to ever-incPalabras claves:Distributed embedded systems, End-to-end reservation, Resource reservation, Response time analysis, Server designAutores:Almeida L., Ashjaei M., Behnam M., Ingo Sander, Khalilzad N., Mubeen S., Nolte T.Fuentes:scopusModels of computation in the design process
Book PartAbstract: We have analysed the relation between some inherent properties of computational models and various dPalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopusThe upset-fault-observer: A concept for self-healing adaptive fault tolerance
Conference ObjectAbstract: Advancing integration reaching atomic-scales makes components highly defective and unstable during lPalabras claves:adaptive embedded systems, fault-tolerance, hardware systems, partial and run-time-reconfiguration, reconfigurable computing, reconfigurable IP-cores, self-configuration, self-healing, System-on-chipAutores:BYRON NAVAS, Ingo Sander, Öberg J.Fuentes:scopusThe usage of stochastic processes in embedded system specifications
Conference ObjectAbstract: We review the use of nondeterminism and identify two different purposes. The descriptive purpose hanPalabras claves:Autores:Ingo Sander, Jantsch A., Wu W.Fuentes:scopus