MPSoC용 임베디드 소프트웨어 설계 및 검증을 위한 모델기반 프레임워크

D. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing, John Wiley & Sons, 2003
Edward A. Lee and Stephen Neuendorffer, "Concurrent Models of Computation for Embedded Software," IEE Proceedings, Computers and Digital Techniques, Vol. 152, Issue 2, pp.239-250, March, 2005
http://www.mathworks.com/products/rtw/
Kiseun Kwon, Youngmin Yi, Dohyung Kim, Soonhoi Ha, "Embedded Software Generation from System Level Specification for Multi- Tasking Embedded Systems", ASP-DAC'05 Vol. 1 pp 145-150 Jan 18-21 2005
OpenMP C and C++ API, version 1.0, http://www.openmp.org, 1998
정영범, 김재황, 신재호, 이광근, "자동 오류 검출을 위한 프로그램 분석기 - 아이락", 마이크로 소프트웨어, pp.178-186, 2005년 6월
http://peace.snu.ac.kr/research/peace
Chanik Park, Jaewoong Chung and Soonhoi Ha, "Extended Synchronous Dataflow for Efficient DSP System Prototyping," Design Automation for Embedded Systems, Kluwer Academic Publishers Vol.3, pp. 295-322, March, 2002
Dohyung Kim, Soonhoi Ha, "Static Analysis and Automatic Code Synthesis of flexible FSM Model," ASP-DAC 2005 Jan 18-21 2005