• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권4호
• /
• pp.388-401
• /
• 2006

소프트웨어의 생산성을 높이고 신뢰성 있는 실시간 이동형 내장 소프트웨어를 개발하기 위해서는, 소프트웨어를 실시간으로 정확하게 분석하고 시험 검증할 수 있는도구가 필요하다. 이러한 도구는 기본적으로 소스코드 기반의 화이트박스 시험 기능, 실시간 시스템 모니터링과 실행 제어 기능을 필요로 하며, 향후 다양한 시스템 환경과의 연동을 고려하여 재사용성과 이식성을 높일 수 있도록 설계되어야 한다. 본 논문에서는 실시간 이동형 내장 소프트웨어를 시험하기 위한 시험검증 도구의 기능적 요구사항을 식별하고, 식별된 요구사항을 바탕으로 시험검증 도구에 적합한 구조를 설계하였다 또한 시험검증 도구의 확장성과 이식성 제고를 위해 각 기능에 대한 구체적인 구현 기술과 기법을 제시하였으며, 이들 기능의 설계에 디자인 패턴을 적용하였다.

• 대한임베디드공학회논문지
• /
• 제7권6호
• /
• pp.311-321
• /
• 2012

When developing a CPS, since it is nature of CPS to interact with a physical system, CPS should be verified during its development process by real-time simulation supporting timely interactions between the simulator and existing implemented hardwares. Furthermore, when a part of a simulated system is implemented to real hardwares, i.e., incremental development, the simulator should aware changes of the simulated system and apply it automatically without manual description of the changes for effective development. For this, we suggest a real-time simulation framework including the concept of 'port' which abstracts communication details between the tasks, and a scheduling algorithm for guaranteeing 'real-time correctness' of the simulator.

• 대한임베디드공학회논문지
• /
• 제3권1호
• /
• pp.19-24
• /
• 2008

To reduce time-to-market, more and more embedded system developers and system-on-chip designers rely on microprocessor-based design methodology. ARM processor has been a major player in this industry over the last 10 years. However, there are many restrictions on developing embedded software using ARM processor in the early design stage. For those who are not familiar with embedded software development environment or who cannot afford to have an expensive embedded hardware equipment, testing their software on a real ARM hardware platform is a challenging job. To overcome such a problem, we have designed VMA (Virtual ARM Machine), which offers easier testing and debugging environment to ARM based embedded system developers. Major benefits that can be achieved by utilizing a virtual ARM platform are (1) reducing development cost, (2) lowering the entrance barrier for embedded system novices, and (3) making it easier to test and debug embedded software designs. Unlike many other purely software-oriented ARM simulators which are independent of real hardware platforms, VMA is specifically targeted on SYS-Lab 5000 ARM hardware platform, (designed by Libertron, Inc.), which means that VMA imitates behaviors of embedded software as if the software is running on the target embedded hardware as closely as possible. This paper will describe how VMA is designed and how VMA can be used to reduce design time and cost.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.365-374
• /
• 2005

신뢰성 있는 내장 실시간 시스템을 구축하기 위해서는 프로그램의 스케줄링 가능성 여부를 검증해야 한다 스케줄링 가능성 분석을 위해서 는 프로그램의 최악실행시간 정보가 필수적인 요소이다. 최악실행시간 분석은 두 단계로 나된다. 첫 번째 단계에서는 프로그램 언어 구문상의 흐름을 분석하고, 두 번째 단계에서는 수행되는 흐름 경로상의 하드웨어적인 요소를 고려하여 수행시간을 분석한다. 본 논문에서는 XScale 프로세서를 대상으로 하는 최악실행시간 통합 분석 도구인 WATER(WCET Analysis Tool for Embedded Real-time system)를 설계하고 구현한다. 상위 수준의 흐름 분석기와 하위 수준의 실행시간 분석기로 이루어진 WATER의 구조를 소개하고 소프트웨어의 실제 측정과 WATER의 분석 결과를 비교한다.

• ETRI Journal
• /
• 제32권5호
• /
• pp.657-664
• /
• 2010

Many embedded multimedia systems employ special hardware blocks to co-process with the main processor. Even though an efficient handling of such hardware blocks is critical on the overall performance of real-time multimedia systems, traditional real-time scheduling techniques cannot afford to guarantee a high quality of multimedia playbacks with neither delay nor jerking. This paper presents a hardware-aware rate monotonic scheduling (HA-RMS) algorithm to manage hardware tasks efficiently and handle special hardware blocks in the embedded multimedia system. The HA-RMS prioritizes the hardware tasks over software tasks not only to increase the hardware utilization of the system but also to reduce the output jitter of multimedia applications, which results in reducing the overall response time.

• 인터넷정보학회논문지
• /
• 제7권4호
• /
• pp.11-22
• /
• 2006

소프트웨어 프러덕트 라인 개발 방법론이란, 개발 초기에 시스템의 공통적인 부분과 가변적인 부분을 명확히 하여 소프트웨어 자산을 구축한 후 요구 사항에 따라 가변적인 부분을 커스터마이징하여 목표 시스템을 생성하는 소프트웨어 개발 패러다임이다. 일반적인 소프트웨어 프러덕트 라인에 대한 연구는 활발히 진행되고 있지만, 컴포넌트 기반의 실시간 임베디드 소프트웨어 프러덕트 라인에 대한 연구는 상대적으로 미약하다. 본 논문에서는 실시간 임베디드 소프트웨어 프러덕트 라인구축의 생산성 향상을 위해, 특성 모델을 통해 기능적 가변성을 지원하고 상태 모델을 통해 동기화 지원 코드를 생성하는 코드 생성 시스템을 제안한다.

• 정보처리학회논문지A
• /
• 제12A권1호
• /
• pp.53-58
• /
• 2005

최근 산업 프로세스의 제어 및 모니터링 분야에서 컴퓨터의 사용이 급증하고 있다. 이와 같은 자동차 기어 및 엔진 제어, 항공기 이착륙/운항 제어, 통신 네트워크 등과 같은 응용분야에서 사용되고 있는 컴퓨터는 시간 임계 제어 및 모니터 기능과 시간에 제한적이지 않은 일괄 프로세싱으로 구분된다. 실시간 제어시스템 또는 임베디드 시스템은 컴퓨터 시스템에서 특정한 역학을 수행하는 다양한 하드웨어와 소프트웨어 요소로 구성되어 있다. 실시간 시스템이 시간적 제약조건을 만족하지 못하면 시스템의 오동작이 발생할 수 있으며, 인명 손상과 같은 큰 재앙이 발생할 수 있다. 그렇기 때문에 시스템의 수행은 예측 가능해야 한다. 실시간 임베디드 시스템은 아키텍처 선계 단계에서의 결정이 시스템의 구현과 성능에 매우 큰 영향을 미친다. 유연성이란 실시간 시스템 환경에서 작업 타이밍에 대한 장애를 유연하게 처리할 수 있는 시스템의 처리 능력을 나타낸다. 이 요소는 시스템의 수행비용과 성능을 분석하는 중요한 요소이다. 본 연구에서는 실시간 임베디드 시스템의 구조를 설계 할 때 효율적인 분석을 위하여 유연성 함수를 정의한다. 본 연구를 통하여 실시간 시스템의 하드웨어 및 소프트웨어를 분할할 때 속성과 제약온 분석할 수 있는데, 제약의 측면에서 보면 유연성 문제를 해결 할 수 있고, 속성의 측면에서 보면 시스템 모델 및 유연성과 다른 속성들(비용, 전력소비량 등)과의 상호관계 분석 등을 효율적으로 분석할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.545-545
• /
• 2000

본 논문에서는 CORBA에 기반한 개방형 제어기의 응용 모듈 플랫폼을 제안한다. CORBA를 기반으로한 통신 시스템 플랫폼을 제안하였으며 Embedded system에 적용하였다. 실시간성을 고려한 응용 모듈 플랫폼에서 CORBA가 적용되기 위해 필요한 문제들을 논의한다. 끝으로, 현재 진행중인 CRECO(CISL Real-time and Embedded Corba) 프로젝트의 진척상황 및 방향을 소개한다.

• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.213-222
• /
• 2008

기존의 뮤직 소프트웨어 설계에서는 실시간 태스킹 모델을 고려하지 않았기 때문에 주요 모듈의 실행 시간에 대한 시간적 제약을 고려하는 시스템의 성능 분석이 어려웠으며, 소프트웨어 구조가 복잡하고 확장성이 부족하였다. 이러한 문제를 종합적으로 해결하기 위하여 RTSA를 사용하여 뮤직 임베디드시스템을 분석하고 분석 사양에 DARTS를 적용하여 컨커런트 태스킹 아키텍처를 설계하였으며, 각 태스크가 갖는 시간적 제약을 만족될 수 있는지를 검증하기 위하여 RMA (Rate Monotonic Analysis)를 사용하여 시스템 성능을 분석하였다. 설계 결과는 임베디드리눅스를 탑재한 인텔 벌버드 (Bulverde) 마이크로프로세서 기반의 Xhyper272 보드에서 구현하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.479-482
• /
• 2003

We propose a real time gas monitoring system for classifying various gases with different concentrations. Using thermal modulation of operating temperature of two sensors, we extract patterns of gases from the voltage across the load resistance. We adopt the relative resistance as a pre-processing method and an ART2 neural network as a pattern recognition method. The proposed method has been implemented in a real time embedded system with tin oxide gas sensors, TGS 2611, 2602 and an MSP430 ultra-low power microcontroller in the test chamber.