Embedded System/Software (내장형 시스템/소프트웨어)

In embedded systems, computers are used as components to implement special functions. Embedded systems are typically constrained in resources, require real-time behavior, and are battery-operated. Therefore, low-cost, low-power, short time-to-market are critical issues in embedded systems. We conduct research on the following areas of embedded systems/software.

내장형 시스템은 컴퓨터가 특정기능을 수행하도록 시스템의 부품으로 사용되 는 시스템을 말한다. 내장형 시스템은 전형적으로 하드웨어 자원이 부족하고 실시간성을 요구하며 배터리에 의해 주로 운영되는 특징을 갖는다. 따라서, 저 비용, 저전력, 짧은 시장진입시간 등이 매우 중요한 문제들이다. 본 연구실은 내장형 시스템 및 소프트웨어의 다음 분야들에 대해서 연구를 수행하고 있다.

- Embedded System Architectures
- Embedded Operating Systems
- Memory Systems (caches, DRAM, STT-RAM, PCM, Flash Memories, SSD)
- Real-time Systems
- Automotive Systems


Memory and Storage technologies  (메모리/스토리지 기술)

- SRAM Caches

- Multi-level Cache Hierarchy

- DRAM System & Architecture

- STT-RAM Cache Design

- Phase Change Memory (PCM)

- Flash Memory / SSD




Low-Power/Green Computing (저전력)

Power consumption is a crucial factor that determines the functionality and mobility of devices due to constrained battery lifetime in mobile and embedded systems.  The tremendous increase in levels of integration and clock frequencies for high performance has escalated power dissipation, accentuating heat extraction, noise immunity and reliability problems in high performance systems. All these factors make power optimization at all the levels of system design a necessity for the continued progress in computing. In addition, electricity is generated using natural resources such as oil, which results in the increase of carbon dioxide and, consequently, global warming.

모바일 및 내장형 시스템에서 전력소비는 배터리 수명의 제한 때문에 이들 장치들의 기능성 및 이동성을 결정하는 중요한 요소이다. 고성능을 성취하기 위한 집적도 및 클락 주파수의 증가는 전력소비를 증가시켜서 이들 시스템에서의 열방출, 신호잡음에 대한 면역력, 신뢰성 등의 문제들을 매우 악화시킨다. 이러한 모든 요소들은 컴퓨팅의 지속적인 발전을 위해서 시스템 설계의 모든 수준에서 전력소비 감소를 매우 중요한 문제로 만든다. 또한 전력소비는 석유와 같은 자원소비를 유발해 이산화탄소 발생을 증가시켜 지구 온난화를 악화시킨다.

Current Research: power-aware cache/DRAM architectures

현재 연구분야: 저전력 캐쉬/메모리 아키텍처 설계


Reliability (고신뢰성)

With technology scaling, feature sizes, and supply and sub-threshold voltages are decreasing for high performance, high transistor density, and low power consumption. At the same time, microprocessors are integrating more transistors to extract more parallelism. Unfortunately, however, these trends make circuits more susceptible to errors. Transient errors occur when energetic neutrons coming from deep space and alpha particles from packaging materials hit transistors, which change the state of memory bits or the output of combinational logic temporarily. In addition, permanent errors due to process variation at manufacture and wearing in interconnect and transistors are increasing, which will decrease yield and lifetime of systems. Therefore, it is utmost important to provide reliable computing on top of future unreliable systems for the continued success of computing.

테크날리지 스케일링에 따라서 고성능, 고집적도, 저전력 소비를 위해 트랜지스터의 크기, 전압, 그리고 서브쓰레쉬홀드 전압이 동시에 감소하는 추세이다. 동시에 마이크로프로세서는 더 많은 병렬성을 추출하기 위해 보다 많은 트랜지스터를 집적하고 있다. 그러나 이러한 추세는 회로를 에러에 보다 더 취약하게 만든다. 트랜젼트 에러는 우주에서 날아오는 강한 에너지를 가지는 중성자나 패키지에서 발생하는 알파입자들이 트랜지스터에 충돌함으로써 메모리에 저장된 값이나 조합회로의 출력이 변경됨으로써 발생한다. 또한, 제조시의 프로세스 변이와 신호선 및 트랜지스터의 마모에 의한 영구 에러가 증가하는 추세이어서 시스템의 수율과 생명주기가 감소하는 추세이다. 따라서, 미래의 불안정한 시스템 상에서 신뢰성 있는 컴퓨팅을 제공하는 것은 컴퓨팅의 지속적인 성공을 위해 아주 중대한 문제이다

Current research: reliable cache/datapath/memory design, software-cotrolled reliable system design

현재 연구분야: 고신뢰성 캐쉬/데이타패스/메모리 설계, 소프트웨어에 기반한 고신뢰성 시스템 설계


Real-Timing (실시간성)

In the conventional computing environment, it is important to compute functionally correctly and fast. However, in the cyber-physical systems where computing is integrated with physical components, for example, robots, vehicles, medical equipments, it is of utmost importance to model physical properties. Real-time and concurrency are inherent properties of physical components, which are, however, not supported well by current computing paradigm. Therefore, all levels of computing such as architectures, OS, programming languages, compilers, methodologies, should be redesigned to provide high levels of real-time and concurrency in order to realize true cyber-physical systems, which are open to physical world, beyond embedded systems.

전통적인 컴퓨팅 환경에서는 프로그램이 기능적인 측면에서 정확한 결과를 얼마나 빨리 계산할 수 있는지가 주된 이슈였다. 그러나 컴퓨팅이 물리적 세계와 결합하는 사이버-피지컬 시스템, 예를 들면 로봇, 자동차, 의료기기 등에서는 물리세계의 요소들을 컴퓨팅이 잘 모델링 할 수 있어야 한다. 고도의 실시간성, 동시성(병렬성) 등은 물리 세계에서는 내재적이지만 컴퓨팅은 이를 제대로 반영하지 못하고 있다. 따라서, 내장형 시스템을 넘어서서 물리 세계에 개방되어 있는 진정한 사이버-피지컬 시스템을 구현하기 위해서는 컴퓨팅의 모든 영역(아키텍처, 운영체제, 프로그래밍 언어, 컴파일러, 개발방법론)에 있어서 고도의 실시간성과 동시성을 제공할 수 있도록 재설계되어야 한다.

Current research: timing-aware architectures, timing-aware OS, Automotive Software Platform