• Title/Summary/Keyword: 하드웨어 시스템

Search Result 3,576, Processing Time 0.036 seconds

Hardware/Software Co-design and Verification by Synchronous language for Embedded System (임베디드 시스템을 위한 동기적 언어 기반 하드웨어/소프트웨어 통합 설계 및 검증)

  • Lee, Su-Young;Kim, Jin-Hyun;Choi, Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.10a
    • /
    • pp.469-474
    • /
    • 2006
  • 전통적인 임베디드 시스템 개발은 하드웨어와 소프트웨어가 독립적으로 개발된다. 그러나 시스템 개발 후 오류 발생 시, 하드웨어와 소프트웨어 둘 중 어디에서 발생했는지 알아내기 어려웠다. 따라서 임베디드 시스템 개발을 위해 하드웨어/소프트웨어의 통합 설계 방법이 연구기관들에 의해 제시되어 왔다. 본 논문은 현실적으로 많이 사용되고 있는 일반 임베디드 시스템 개발 방법으로부터 접근하는 HW/SW 통합 개발 방법을 제안하였다. 즉, 이미 만들어진 하드웨어를 설계 단계로 끌어올려 정형 기법을 통해 하드웨어를 설계 및 정형 검증하여 견고한 하드웨어를 만들고, 이를 기반으로 소프트웨어를 정형 명세 및 검증하는 하드웨어/소프트웨어 통합 개발을 수행하였다. 따라서 개발 후 하드웨어 또는 소프트웨어에서 발생할 수 있는 오류를 최소화하고 오류가 발생하였다고 해도 개발 전에 설계상에서 오류를 수정할 수 있어 임베디드 시스템의 신뢰성을 보장하였다. 또한 설계 과정의 어떤 시점에서 개발 중인 가상의 하드웨어가 아닌 개발 완료된 하드웨어의 실제 코드를 테스트할 수 있으므로, 현실적인 임베디드 시스템 개발에 더 효과적인 하드웨어/소프트웨어 통합 개발 방법론을 제시하여 그 효율성을 높였다.

  • PDF

하드웨어 칩 기반 보안시스템 및 해킹동향

  • Choe, Pil-Ju;Choe, Won-Seop;Kim, Dong-Gyu
    • Information and Communications Magazine
    • /
    • v.31 no.5
    • /
    • pp.46-52
    • /
    • 2014
  • 최근 보안기술 동향은 소프트웨어 기반 보안시스템의 한계를 보완하고자 하드웨어 기반 보안시스템으로 발전하고 있다. 그러나 이러한 하드웨어 기반 보안시스템도 부채널 공격, 메모리 공격, 버스프루빙 공격과 같은 해킹 기술에 취약하다. 본고에서는 최근 보안기술 동향을 기술하고, 하드웨어 보안시스템에 대한 해킹기술 및 이에 대한 대응책에 대하여 기술한다.

Evolvable Hardware Using Ant Colony System (개미 집단 시스템을 이용한 진화 하드웨어)

  • 황금성;조성배
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10d
    • /
    • pp.244-246
    • /
    • 2002
  • 진화 하드웨어(Evolvable Hardware)는 환경 적응력이 강하고 최적의 상태를 유연하게 유지하는 하드웨어 설계 기법이나 회로가 복잡해질수록 진화가 어려워지는 문제로 인해 활용이 늦어지고 있다. 본 논문에서는 이를 해결하기 위한 많은 연구 중 회로 진화 과정 분석을 위한 방법으로 개미집단 시스템을 제안한다. 경로 최적화 알고리즘인 개미집단 시스템을 적절히 변형하여 진화 하드웨어에 적용시키는 방법을 제안하고 이를 실험으로 확인하였으며, 실험 결과 하드웨어의 진화 과정을 관찰할 수 있었고, 목표 하드웨어의 해공간 특성이 페로몬으로 분포하고 있음도 관찰할 수 있었다.

  • PDF

Study for Validation of Hardware Specification and Implementation (하드웨어 명세 및 구현의 정확성 확인 방법을 위한 연구)

  • 안영정;김민숙;방기석;최진영
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04a
    • /
    • pp.31-33
    • /
    • 2003
  • 기능 검사(function simulation)란 하드웨어 시스템의 설계시 모델의 기능, 성능, 표준 준수 여부, 그리고 다른 상위 수준 조건의 관점에서 그 설계를 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 점점 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 하드웨어 시스템의 모델링 및 기능 검사를 위해 오토마타 동치성 검사를 통한 하드웨어 시스템의 논리적 정확성 확인 방법론을 제안한다.

  • PDF

Development of Hardware Trace Generating System (하드웨어 트레이스 생성 시스템의 개발)

  • Yun, Hyeong-Min;Park, Gi-Ho;Lee, Gil-Hwan;Han, Tak-Don;Kim, Sin-Deok;Yang, Seong-Bong;Lee, Yong-Seok
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.3
    • /
    • pp.811-823
    • /
    • 1998
  • 캐쉬 메모리 시스템의 성능 측정 방법으로 이제까지 널리 사용되고 있는 방법이 트레이스 구동 시뮬레이션이다. 트레이스 구동 시뮬레이션의 정확성은 사용하는 트레이스의 크기, 포함된 정보의 종류 등에 의해서 크게 영향을 받는다. 이에 따라 보다 정확한 트레이스를 생성하기 위해 많은 방법들이 제안되었으며 그 중 하드웨어 모니터링 기법에 의해서 얻어진 트레이스는 응용 프로그램의 메모리 참조에 대한 정보뿐만 아니라, 문맥교환이나 시스템 프로그램의 메모리 참조에 대한 정보, 메모리 참조가 발생한 시간 정보 등을 가진다는 장점을 갖는다. 그러나 하드웨어 모니터링 시스템은 트레이스를 생성하기 위한 시스템에 따라서 설계가 변화되어야 하는 단점이 있다. 본 논문에서는 이러한 하드웨어 모니터링 시스템의 단점을 완화하기 위해서 EPLD(Erasable Programmable Logic Device)를 사용하여 트레이스 생성 시스템을 구성하여, 보다 간단한 수정으로 여러 시스템에서 트레이스 생성이 가능한 하드웨어 시스템을 설계하였다. 또한 제작된 트레이스 생성 시스템은 66Mhz의 고속 버스 시스템에서 동작할 수 있는 특징을 갖는다.

  • PDF

Real-time processing system for embedded hardware genetic algorithm (임베디드 하드웨어 유전자 알고리즘을 위한 실시간 처리 시스템)

  • Park Se-hyun;Seo Ki-sung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.8 no.7
    • /
    • pp.1553-1557
    • /
    • 2004
  • A real-time processing system for embedded hardware genetic algorithm is suggested. In order to operate basic module of genetic algorithm in parallel, such as selection, crossover, mutation and evaluation, dual processors based architecture is implemented. The system consists of two Xscale processors and two FPGA with evolvable hardware, which enables to process genetic algorithm efficiently by distributing the computational load of hardware genetic algorithm to each processors equally. The hardware genetic algorithm runs on Linux OS and the resulted chromosome is executed on evolvable hardware in FPGA. Furthermore, the suggested architecture can be extended easily for a couple of connected processors in serial, making it accelerate to compute a real-time hardware genetic algorithm. To investigate the effect of proposed approach, performance comparisons is experimented for an typical computation of genetic algorithm.

위성 편대비행을 위한 궤도와 자세 통합 시뮬레이터 시스템 개발

  • Park, Han-Eol;Park, Sang-Yeong
    • Bulletin of the Korean Space Science Society
    • /
    • 2011.04a
    • /
    • pp.26.1-26.1
    • /
    • 2011
  • 위성 편대비행 시스템에서 궤도 및 자세의 결정과 제어를 동시에 시뮬레이션 할 수 있는 통합 시스템을 설계하고 개발하였다. 실제 위성에서는 궤도 제어가 수행되는 동안 자세는 계속 변한다. 그러므로 임무수행을 위해 편대위성들의 자세를 동기화하기 위해서는 편대위성들의 자세 결정과 제어가 필요하다. 이와 같이 실제와 같은 시뮬레이션을 위해서, 궤도 및 자세의 결정과 제어를 동시에 수행할 수 있는 통합된 시뮬레이터 시스템이 필요하다. 통합 시뮬레이터 시스템의 개발은 기존에 연세대학교에서 개발한 GPS 시뮬레이터를 이용한 편대비행 테스트베드와 하드웨어 자세 시뮬레이터를 각각 보완한 후 통합하는 방법으로 수행하였다. 이 두 시스템은 서로 독립적으로 개발되었기 때문에 통합을 위하여 하드웨어 인터페이스와 소프트웨어 인터페이스 부분으로 나누어 설계와 개발을 수행하고, 최종적으로 결합하는 절차로 통합을 완료하였다. 마지막으로 개발된 통합 시뮬레이터 시스템과 통합 시나리오를 사용하여 궤도와 자세를 동시에 시뮬레이션 하고, 이를 통해 개발된 통합 시스템을 검증하였다. 이 연구를 통해 개발된 궤도와 자세가 통합된 하드웨어 시뮬레이터 시스템은 실제 위성에 가까운 시뮬레이션을 수행할 수 있을 뿐만 아니라 하드웨어와 소프트웨어 인터페이스에 대한 검증이 가능하고 실제의 하드웨어 특성으로부터 생기는 에러를 고려하여 알고리즘의 실제 성능을 평가할 수 있다.

  • PDF

Automatic FPGA Controller Generation in Embedded System Design (임베디드 시스템 설계를 위한 FPGA 콘트롤러 자동 생성)

  • Son Choonho;Yun Jeong-Han;Han Taisook
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11a
    • /
    • pp.799-801
    • /
    • 2005
  • 임베디드 시스템은 소프트웨어와 특수한 기능을 추가한 하드웨어의 긴밀한 결합으로 이루어진다. 이러한 임베디드 시스템 설계는 빠른 시간 안에 안전하면서 다양한 하드웨어와 소프트웨어를 동시에 설계하여 테스트하는 것이 중요하다. 이를 위해서 개발 초기에는 다양한 하드웨어를 설계탈 수 있는 FPGA가 사용된다. 이러한 FPGA를 소프트웨어와 연결시켜주는 하드웨어 콘트롤러와 디바이스 드라이버 설계는 임베디드 시스템 개발에 있어서 중요한 부분을 차지한다. 본 논문은 FPGA를 포함하는 임베디드 시스템의 구조를 모델링하여 하드웨어의 기능에 따라 각 하드웨어를 제어하는 콘트롤러를 자동으로 생성하는 방법을 제안하였다.

  • PDF

Design and Implementation of HMAC-SHA-1 Hardware Module for IPv6 Security System (IPv6보안시스템용 HMAC-SHA-1하드웨어 모듈의 설계 및 구현)

  • 김지욱;이정태
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10e
    • /
    • pp.277-279
    • /
    • 2002
  • 전자상거래, 무선 인터넷 등의 활성화를 위해서는 신뢰성 있는 통신 서비스를 제공하는 IPv6용 보안시스템이 필요하다. 이를 위한 기존의 암호화 알고리즘은 소프트웨어 및 하드웨어로 많이 구현되어 있으나 IPv4를 기반으로 한 운영체제에 종속되어 있다. 이를 해결하기 위하여 운영체제 없이 고성능의 보안서비스를 제공하는 IPv6용 보안시스템이 하드웨어로 구현되었다. 본 논문에서는 이러한 IPv6용 하드웨어 보안시스템에 요구되는 암호화알고리즘 중에서 HMAC-SHA-1을 하드웨어 모듈로 구현하였다. 그리고 구현한HMAC-SHA-1 모듈에 대하여 시뮬레이션 테스트를 수행하고 IPv6 하드웨어 보안시스템과 연동함으로써 기능을 검증하였다.

  • PDF

Design of Biped Robot Using FPGA (FPGA를 이용한 이족로봇의 설계)

  • Park, Kyoung-Yong;Seo, Jae-Kwan;Lee, Sung-Ui;Oh, Sung-Nam;Kim, Kab-I1;Kang, Hwan-Il
    • Proceedings of the KIEE Conference
    • /
    • 2001.11c
    • /
    • pp.80-83
    • /
    • 2001
  • 이족로봇이 stand-alone 형태를 가지기 위해서는 기계적인 구조가 중요할 뿐만 아니라 하드웨어시스템이 간결하게 잘 설계되어야 한다. 이렇게 하드웨어시스템이 가볍고 간결하여 설계되어야 쉽게 로봇에 장착할 수가 있다. 본 논문에서는 FPGA(Field Programmable Gate Array)를 이용해 모터 제어기를 구성해서 이족로봇을 설계하는 방법을 다루고자 한다. 본 논문에서 구성하는 하드웨어 시스템은 메인 CPU로 AM186ES를 사용하며 FPGA는 Altera사의 FLEX EPF10K20TC144-3을 사용하였다. 이와 같이 FPGA를 사용하는 하드웨어시스템은 기본적으로 VHDL언어를 사용하여 유연하게 하드웨어를 구성 할 수 있으며, 이족로봇의 여러 가지 보행 알고리즘에 능동적으로 대처할 수 있다. 뿐만 아니라 하드웨어가 간단해 지면서 가볍고 전력소모가 적으며 신뢰성 있는 시스템을 구축할 수 있다.

  • PDF