Mostrando 4 resultados de: 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 pbkp_redictable 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