• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.284-287
• /
• 2004

본 논문의 목표는 일체형 디지털 TV에서 디지털 방송 수신과 방송 컨텐츠를 녹화, 저장, 재생이 가능할 뿐만 아니라 조만간 시작될 데이터 방송을 수신할 수 있는 내장형 디지털 방송수신 및 개인 비디오 저장 시스템 Platform 개발이다. 디지털 방송과 데이터방송 수신이 가능한 Set-Top Box 기능, 수신된 방송의 저장 및 재생이 가능한 PVR 기능을 지원할 수 있는 시스템의 구조를 설계하였다. 고품질 디지털 방송 서비스가 본격적으로 시작됨에 따라 디지털 방송 수신기와 PVR 기능이 복합된 제품의 수요가 증가할 것으로 예상되며 이러한 고성능 복합시스템은 필수적일 것이다. 이러한 기능을 수행하기 위하여 시스템 제어를 위한 CPU로는 PMC-Sierra 사의 MIPS Architecture에 기반을 둔 RM5231을 채택하고, Teralogic 사의 TL811 System Controller을 채택하여 시스템을 이루고 있는 각종 디바이스를 구성하고, MPEG-2 Demux/Decoding을 위해 Teralogic TL851 Graphics & Display Processor을 채택하였다. 개발된 시스템을 테스트하기 위하여 현재 각 방송사들의 시험 방송을 수신하고 PVR 기능을 테스트하였다.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.451-458
• /
• 2002

In this article, we present, design, and implement a software and hardware for an embedded RAID system. The merits and drawbacks of our system are presented by performance evaluation. The proposed hardware system consists of three fibre channel controllers for the interface with fibre channel disks and hosts. Embedded Linux in which a RAID software is implemented is ported to the hardware. A SCSI target mode device driver and a target mode SCSI module are designed for that our RAID system is considered as a block device to a host computer. Linux Multi-device is used as RAID functions of this system. A data cache module is implemented for high performance and the interconnection between Linux Multi-device and the target mode SCSI module. The RAID 5 module of Multi-device is modified for improvement of read performance. The benchmark shows that the new RAID 5 module is superior to the original one in overall performance.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1153-1156
• /
• 2003

본 연구에서는 클러스터 VOD 서버에서의 내장형 클라이언트 플랫폼을 선계 및 구현하기 위한 연구를 수행하였다. 클러스터 VOD 서버의 구성과 기능을 살펴보고, 리눅스 환경에서 서버의 기능을 지원하면서 리모콘을 통한 제어와 TV를 통한 출력이 제공되도록 클라이언트를 설계 및 구현하였다. 구현된 시스템에 대한 성능 평가를 통하여 문제점들을 분석하고 대책을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.685-687
• /
• 2004

실시간 운영체제는 그 특성상 범용 운영체제와는 달리 시간 결정성(determinism)을 보장하는 안정된 스케줄링 기능을 갖춘 운영체제이다. 현재 실시간 운영체제를 필요로 하는 내장형 시스템들은 비싼 사용료를 지불하며 외국의 상용 실시간 운영체제를 도입하여 제품 개발에 활용하고 있다. 상용 실시간 운영체제를 사용할 경우, 운영체제 자체는 블랙 박스(바이너리 소스)이기 때문에 세밀한 제어가 불가능하고 불필요한 기능들을 포함하고 있다. 그러므로 독자적인 운영체제 개발 및 확보가 중요하다 본 논문은 MPC750 프로세서에 기반 한 실시간 운영체제를 개발함에 목적이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.811-813
• /
• 2005

무인 자동차 시스템과 같은 실시간 제어 환경에서는 각종 센서의 상황에 대한 주기적인 폴링, 실시간 스케줄링, 병행 메소드의 지원 실시간 병행 접근 제어 등과 같은 환경이 요구된다. 본 논문에서는 micro 내장형 운영체제상의 실시간 객체 엔진으로 개발한 TMO-eCos를 기반으로, TMO를 이용한 무인 자동차 제어프레이워크와 이를 활용한 응용 모델에 대해 기술한다. TMO 모델을 이용한 무인 자동차 제어 프레임워크는 실시간 제어 시스템 개발을 위한 객체 기반의 규격적 환경을 제공하여, 최근 국내외적으로 많은 연구가 진행되고 있는 지능헝 실시간 로봇 제어소프트웨어의 기본 플랫폼으로 활용될 수 있을 것이다.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• Proceedings of the KIEE Conference
• /
• 2008.09a
• /
• pp.149-152
• /
• 2008

본 논문에서는 전압 및 전류보호, 주파수보호, 순간정전, 순간전압 저하보호 및 단독운전 기능 등 보호기능을 통합한 지능형 보호 및 제어기를 내장한 30kW급 태양광 인버터의 실 계통 연계시험을 통해서 지능형 보호기기의 성능 및 효용성을 입증하고 보급 확대를 도모하고자 지능형 보호 및 제어 기능을 내장한 30kW급 태양광 인버터를 제작하고, 그 보호성능 시험을 위한 성능 시스템을 구성하여 실계통 연계 보호성능 시험을 수행하여 그 결과를 토대로 중소명 건물용 지능형 태양광 인버터 계통연계 보호기능에 대한 효용성의 입증을 통해 현장 적용 가능성을 입증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.590-592
• /
• 1999

초고속 데이터 처리 및 전송에 필수적인 B-ISDN에 있어서 디지털 시스템들이 동기를 맞추어 동작을 하여야 데이터의 손실과 잡음을 막을 수 있다. 초고속 데이터를 전송하는 ATM 교환기에 있어 동작에 필요한 기준 클럭을 생성하여 시스템 전체에 공급하는 시스템 클럭 생성기는 기능의 안정성과 고신뢰성을 보장하여야 한다. 시스템 클럭 생성기의 운용 중 발생할 수 있는 장애에 대하여 필요한 장애 처리를 수행하기 위하여 내장형 제어용 소프트웨어를 설계하여 구현하였다. 이 제어용 소프트웨어는 시스템 클럭 생성기의 장애를 감시하여 처리하므로 시스템 전체에 클럭의 중단없이 안정되게 ATM교환기를 동작하게 한다. 본 고에서는 ATM 교환기의 시스템 클럭 생성기에서 발생하는 장애 처리를 위한 소프트웨어의 설계와 구현에 관하여 기술한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.1
• /
• pp.15-25
• /
• 2005

Embedded systems have a set of tasks to execute. These tasks can be implemented either on application specific hardware or as software running on a specific processor. The design of an embedded system involves the selection of hardware software resources, Partition of tasks into hardware and software, and performance evaluation. An accurate estimation of execution time for extreme cases (best and worst case) is important for hardware/software codesign. A tighter estimation of the execution time bound nay allow the use of a slower processor to execute the code and may help lower the system cost. In this paper, we consider an ARM-based embedded system and developed a tool to estimate the tight boundary of execution time of a task with loop bounds and any additional program path information. The tool we developed is based on an exiting timing analysis tool named 'Cinderella' which currently supports i960 and m68k architectures. We add a module to handle ARM ELF object file, which extracts control flow and debugging information, and a module to handle ARM instruction set so that the new tool can support ARM processor. We validate the tool by comparing the estimated bound of execution time with the run-time execution time measured by ARMulator for a selected bechmark programs.