Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings(1)
Forum on Specification and Design Languages(1)
Model-Implementation Fidelity in Cyber Physical System Design(1)
Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013(1)
Simulation(1)
Área temáticas
Ciencias de la computación(5)
Derecho privado(1)
Historia, tratamiento geográfico, biografía(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(3)
Arquitectura de computadoras(1)
Ingeniería de sistemas(1)
Simulación por computadora(1)
Sistema embebido(1)
Origen
scopus(5)
An extensible modeling methodology for embedded and cyber-physical system design
ArticleAbstract: Models are important tools to manage the increasing complexity of system design. The choice of a modPalabras claves:cyber-physical systems, formal modeling, model introspection, models of computation, SystemCAutores:Ingo Sander, Niaki S.H.A.Fuentes:scopusA composable and pbkp_redictable MPSoC design flow for multiple real-time applications
Book PartAbstract: Design of real-time MPSoC systems including multiple applications is challenging because temporal rePalabras claves:Autores:Altinel E., Goossens K., Ingo Sander, Koedam M., Molnos A., Niaki S.H.A.Fuentes:scopusA formal, model-driven design flow for system simulation and multi-core implementation
Conference ObjectAbstract: With the growing complexity of Real-Time Embedded Systems (RTES), there is a huge interest in usingPalabras claves:Computational modeling, Embedded Systems, Engines, Libraries, process control, semantics, Unified modeling languageAutores:Champeau J., Diallo P.I., Ingo Sander, Niaki S.H.A., Öberg J., Robino F.Fuentes:scopusTowards a modelling and design framework for mixed-criticality SoCs and systems-of-systems
Conference ObjectAbstract: Mixed-criticality system (MCS) design is an emerging discipline, which has been identified as a corePalabras claves:cyber-physical systems, Embedded distributed systems, Mixed-criticality, Systems-of-systemsAutores:Herrera F., Ingo Sander, Niaki S.H.A.Fuentes:scopusSemi-formal refinement of heterogeneous embedded systems by foreign model integration
Conference ObjectAbstract: There is a need for integration of external models in high-level system design flows. We introduce aPalabras claves:Autores:Ingo Sander, Niaki S.H.A.Fuentes:scopus