Specify-Explore-Refine (SER): From specification to implementation (CROSBI ID 551429)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Gerstlauer, Andreas ; Peng, J. ; Shin, D. ; Gajski, Daniel ; Nakamura, A. ; Araki, D. ; Nishihara, Y.
engleski
Specify-Explore-Refine (SER): From specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based environment for electronic system-level (ESL) design of space and satellite electronics. As integral part of ELEGANT, the Center for Embedded Computer System (CECS) has developed and supplied the SER tool set. Following a Specify-Explore-Refine methodology, SER supports system-level design space exploration, interactive platform development and automatic model refinement and model generation. The SER engine has been successfully integrated into ELEGANT. With SER at its core, ELEGANT provides a seamless tool chain for modeling verification and synthesis from top- level specification down to embedded HW/SW implementation. ELEGANT and SER have been successfully delivered to JAXA and its suppliers. Tools are currently being deployed in companies like NEC Toshiba Space Systems. Evaluation results prove the feasibility of the approach for design space exploration, rapid virtual prototyping and system synthesis resulting in tremendous productivity and reliability gains. In addition, ELEGANT has been commercialized for general market availability. The SER component has been licensed to InterDesign Technologies, Inc. (IDT) and it is available from, sold and supported by IDT.
automatic model refinement; complete SpecC-based environment; electronic system-level design; embedded HW/SW implementation
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
586-591.
2008.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of 45th ACM/IEEE Design Automation Conference, 2008. DAC 2008.
Anaheim (CA):
978-1-60558-115-6
Podaci o skupu
45th ACM/IEEE Design Automation Conference, 2008. DAC 2008.
predavanje
08.06.2008-13.06.2008
Anaheim (CA), Sjedinjene Američke Države