Mostrando 4 resultados de: 4
Filtros aplicados
Subtipo de publicación
Conference Object(4)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(3)
ODS 12: Producción y consumo responsables(2)
ODS 8: Trabajo decente y crecimiento económico(2)
ODS 17: Alianzas para lograr los objetivos(1)
ODS 4: Educación de calidad(1)
Origen
scopus(4)
Formal 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: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: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:scopusRapid virtual prototyping of real-time systems using predictable 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