DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 한태숙 | - |
dc.contributor.advisor | Han, Tai-Sook | - |
dc.contributor.author | 김건우 | - |
dc.contributor.author | Kim, Gun-Woo | - |
dc.date.accessioned | 2011-12-13T06:06:22Z | - |
dc.date.available | 2011-12-13T06:06:22Z | - |
dc.date.issued | 2007 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=265030&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34749 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2007.2, [ vii, 58 p. ] | - |
dc.description.abstract | 대부분의 임베디드 시스템은 하드웨어 모듈과 하드웨어 플랫폼 위에서 수행되는 소프트웨어 프로그램으로 구성된다. 일반적으로 소프트웨어는 유연성을 목적으로, 하드웨어는 성능을 고려하여 사용된다. 임베디드 시스템을 개발하는 기존의 방법론은 하드웨어와 소프트웨어를 개별적으로 설계하고 구현한다. 그 결과 하드웨어와 소프트웨어를 포함하는 전체 시스템에 대한 표현방법의 부재로 인하여 구현이전에 시스템을 검증하는데 어려움이 있다. 또한 잘 정의된 디자인 플로우가 정의되어 있지 않기 때문에 시스템의 변경이 있을시에 이를 반영하기 어려워 개발과정의 지연이 발생할 수 있다. 이와 같은 문제를 해결하기 위해 하드웨어/소프트웨어 동시설계 방법론이 연구되고 있다. 이 논문에서는 동시설계의 모든 과정을 지원하는 통합 프레임워크인 VICODE를 소개한다. VICODE는 시스템 명세, 인터페이스 생성, 검증을 위한 통합된 도구를 제공한다. VICODE는 시스템 명세부터 구현까지 잘 정의된 디자인 플로우를 제공한다. VICODE는 기존의 두 언어를 사용하여 시스템을 정의한다. 소프트웨어 파트를 위해 C언어를 사용하며, 하드웨어 파트를 위해 Esterel 언어를 사용한다. 동시설계과정에 필요한 정보를 보완하기 위해 추가적으로 Communication-based language를 고안하였다. VICODE는 최초의 시스템 명세로부터 자동으로 하드웨어와 소프트웨어 사이의 인터페이스를 자동으로 생성하기 때문에 구현에 필요한 비용을 절감할 수 있다. 또한 동시 시뮬레이션을 위한 인터페이스를 자동으로 생성한다. 동시 시뮬레이션은 시스템을 구현하지 않고 하드웨어와 소프트웨어로 구성된 시스템이 어떻게 동작하는지 확인할 수 있도록 돕는다. VICODE는 특히 시스템 검증능력을 고려하여 설계되었다. VICODE는 동시검증 과정을 통해 소프트웨어가 하드웨어를 정의된 규칙대로 사용하는지 정적으로 검증하여 시스템의 신뢰성을 확인할 수 있게 한다. | kor |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 검증 | - |
dc.subject | 하드웨어/소프트웨어 동시설계 | - |
dc.subject | 인터페이스 생성 | - |
dc.subject | Interface generation | - |
dc.subject | Verification | - |
dc.subject | Hardware/Software Co-design | - |
dc.title | VICODE | - |
dc.title.alternative | VICODE : verification integrated co-design environment | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 265030/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020053044 | - |
dc.contributor.localauthor | 한태숙 | - |
dc.contributor.localauthor | Han, Tai-Sook | - |
dc.title.subtitle | 검증도구가 일체화된 동시설계환경 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.