Browse > Article

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

Ha Sun-Hoe (서울대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.24, no.8, 2006 , pp. 12-18 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 정영범, 김재황, 신재호, 이광근, "자동 오류 검출을 위한 프로그램 분석기 - 아이락", 마이크로 소프트웨어, pp.178-186, 2005년 6월
2 http://peace.snu.ac.kr/research/peace
3 D. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing, John Wiley & Sons, 2003
4 http://www.mathworks.com/products/rtw/
5 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
6 OpenMP C and C++ API, version 1.0, http://www.openmp.org, 1998
7 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
8 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
9 Dohyung Kim, Soonhoi Ha, "Static Analysis and Automatic Code Synthesis of flexible FSM Model," ASP-DAC 2005 Jan 18-21 2005