Naslov
Specify-Explore-Refine (SER): From specification to implementation

Autori
Gerstlauer, Andreas ; Peng, J. ; Shin, D. ; Gajski, Daniel ; Nakamura, A. ; Araki, D. ; Nishihara, Y.

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of 45th ACM/IEEE Design Automation Conference, 2008. DAC 2008. / - Anaheim (CA), 2008, 586-591

ISBN
978-1-60558-115-6

Skup
45th ACM/IEEE Design Automation Conference, 2008. DAC 2008.

Mjesto i datum
Anaheim (CA), Sjedinjene Američke Države, 08.06.2008. - 13.06.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
automatic model refinement; complete SpecC-based environment; electronic system-level design; embedded HW/SW implementation

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA