Mostrando 7 resultados de: 7
Filtros aplicados
Publisher
18th CSI International Symposium on Computer Architecture and Digital Systems, CADS 2015(1)
2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings(1)
Forum on Specification and Design Languages(1)
Handbook of Hardware/Software Codesign(1)
Model-Implementation Fidelity in Cyber Physical System Design(1)
Área temáticas
Ciencias de la computación(7)
Física aplicada(3)
Métodos informáticos especiales(2)
Programación informática, programas, datos, seguridad(1)
Área de conocimiento
Simulación por computadora(4)
Ciencias de la computación(3)
Arquitectura de computadoras(1)
Ingeniería de sistemas(1)
Ingeniería de software(1)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(7)
ODS 17: Alianzas para lograr los objetivos(5)
ODS 8: Trabajo decente y crecimiento económico(2)
Origen
scopus(7)
A composable and predictable 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:scopusAn automated parallel simulation flow for heterogeneous embedded systems
Conference ObjectAbstract: Simulation of complex embedded and cyber-physical systems requires exploitation of the computation pPalabras claves:Autores:Ingo Sander, Niaki S.H.A.Fuentes:scopusAn 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:scopusForSyDe: System design using a functional language and models of computation
Book PartAbstract: The ForSyDe methodology aims to push system design to a higher level of abstraction by combining thePalabras claves:Autores:Ingo Sander, Jantsch A., Niaki S.H.A.Fuentes:scopusIntegrating Functional Mock-up units into a formal heterogeneous system modeling framework
Conference ObjectAbstract: The Functional Mock-up Interface (FMI) standard defines a method for tool- and platform-independentPalabras claves:Autores:Ingo Sander, Niaki S.H.A.Fuentes:scopusIntegrating virtual platforms into a heterogeneous MoC-based modeling framework
Conference ObjectAbstract: In order to handle the increasing complexity of embedded systems, design methodologies must take intPalabras claves:Autores:Beserra G.S., Ingo Sander, Niaki S.H.A.Fuentes:scopus