• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.187-189
• /
• 2007

In this paper, we present a model-driven approach for RTOS-based embedded software development and an automated tool that produces RTOS-specific code or RTOS-independent code. We define generic RTOS APIs (Application Programming Interface) that are not bound to any specific RTOS but provide most of typical RTOS services. Generic RTOS APIs can be used to describe application's RTOS-related behavior, The proposed API translator translates task code between C-code for specific RTOS and intermediate code using generic API. Also, the result can be extended to other RTOS's modifying XML transformation rule.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.9
• /
• pp.1239-1244
• /
• 2001

The Virtual Interface Architecture (VIA) is usually suggested as a new standard high-performance communication of the cluster systems. However the VIA specification aims for platform independence, the current Intel VI Provider Library (VIPL) design favors systems with Intel architecture processors running the Windows operating system (OS). This paper aims for clarifying the guesstion problem of VIA and VIPL in the newtrul time of CPU Architecture and OS further more, It suggests the solution aiming the communication in the other CPU or OS

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1679-1682
• /
• 2005

최근 SoC를 포함하는 대부분의 임베디드시스템에서는 RTOS가 선택이 아닌 필수적인 구성요소가 됨에 따라 SoC 개발의 초기단계에서부터 RTOS를 도입하는 것이 바람직하다. 하지만, 기존의 범용 RTOS가 제공하는 기능은 대부분 응용 소프트웨어의 개발과 수행을 위한 것으로 SoC 개발 및 검증에는 적합하지 않은 문제점을 가지고 있다. 본 연구에서는 SoC 개발을 위해 운영체제가 만족시켜야할 요구사항을 제시하고, 소프트웨어의 재사용성과 SoC의 검증을 함께 지원하는 VPOS(Verification-Purpose OS)를 개발하였다. VPOS는 초경량의 단순한 계층적 구조(layered structure)를 가지는 RTOS로서 소프트웨어 재사용을 위해 POSIX 표준 API, 유닉스 호환 디바이스 드라이버 인터페이스, HAL 등을 제공한다. 또한 SoC 설계의 검증을 위해 RT 수준의 통합시뮬레이션에 적합한 커널 구조 및 최적화된 코드, 하드웨어 테스트를 위한 쉘 명령어, 응용 소프트웨어의 디버깅을 위한 KREM(kernel resource and event monitoring) 등의 특징을 함께 제공한다.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.3
• /
• pp.49-55
• /
• 2012

Recently, with the rapid development of android-based smartphones, it is becomes a major security issue that the case of Android platform is an open platform. so it is easy to be a target of mobile virus penetration and hacking. Even there are a variety of security mechanisms to prevent the vulnerable points of the Android platform but the reason of most of the security mechanisms were designed at application-level that highly vulnerable to the attacks directly to the operating system or attacks using the disadvantages of an application's. It is necessary that the complementary of the android platform kernel blocks the kernel vulnerability and the application vulnerability. In this paper, we proposed a secure system using linux-based android kernel applied to LIDS(Linux Intrusion Detection and Defense System) and applied a smart phone with s5pc110 chip. As a result, the unauthorized alteration of the application was prevented with a proposed secure system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.454-458
• /
• 2006

응용프로그램은 특정 운영체제에 의존적으로 개발되기 때문에 다른 운영체제를 사용하는 시스템에 그대로 이식하는 것이 불가능하며, 운영체제가 변경될 경우 응용프로그램을 다시 개발하여야 하는 한계를 가지고 있다. 또한 응용프로그램의 시스템 종속성으로 인해 동일한 기능을 제공하는 응용프로그램을 중복 개발함으로써 개발 단계뿐 아니라 유지 및 관리에 많은 노력과 비용을 필요로 하게 된다. 응용프로그램의 운영체제에 대한 의존성을 줄이고 플랫폼이 변경되더라도 응용프로그램의 정상 동작을 지원하기 위해서는 미들웨어가 필요하다. 본 논문에서는 실시간 운영체제들의 대표적인 API 함수를 선택하여 기본 API 를 선정하고 대표적 실시간 운영체제인 QNX 위에서 POSIX 기반의 미들웨어를 설계 및 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.430-432
• /
• 2002

리눅스는 POSIX.1b 표준의 일부 지원으로 연성 실시간 시스템을 지원한다. 현재 경성 실시간 시스템을 지원하기 위해 리눅스를 확장한 여러 운영체제가 개발된 바 있지만, 다양한 프로그래밍 인터페이스 및 스케줄러의 지원이 부족하다. 현재까지 실시간 리눅스를 위한 스케쥴러는 RMS와 EDF 두 가지의 스케쥴러가 별도로 구현되어 있다. 이 두 가지 스케쥴러 중에서 사용자가 각각의 스케쥴링 알고리즘의 특성을 고려하지 않고 두 가지 방법을 선택하여 사용하고 있다. 본 논문에서는 이러한 단점들을 해결하기 위한 안정적인 스케쥴링 가능성 검사를 통하여 RMS와 EDF 스케쥴링 방법의 특성에 맞게 스케쥴러 중에서 하나를 선택하여 사용함으로서 종료시한을 보장하고 또한 스케쥴이 불가능한 경우 테스크 스케쥴로 인해 발생되는 시스템 정지 현상을 제거하고 태스크 집합의 효율적인 관리를 위한 스케쥴링 가능성 검사 알고리즘과 스케쥴러 선택 알고리즘을 제시하여 스케쥴링 알고리즘의 성능평가 결과를 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.234-237
• /
• 2015

현재 RDBMS는 대부분 블록기반의 스토리지를 사용하는데 오늘날 정형화 되지 않은 데이터 타입에 대한 요청이 많아지고 있어서 오브젝트 스토리지를 사용하려는 연구가 활발히 진행 되고 있다. 그래서 본 논문을 통해 오브젝트 스토리지를 사용하는 RDBMS 환경을 제안한다. 오브젝트 스토리지 중 오픈 소스로 많이 사용되고 있는 Swift와 Ceph를 사용하여 시스템을 구축, 두 시스템간의 파일 및 RDBMS 성능비교를 진행하였다. Swift와 Ceph는 동일한 인터페이스가 아니기에 중간에 새로운 레이어를 추가하여 POSIX 환경에서 테스트가 가능하도록 하였다. 데이터베이스는 Postgresql을 사용하였고 두 시스템 간의 성능측정은 파일벤치마크인 IOzone 그리고 Posgresql에서 지원하는 TPC-B 기반 pgbench를 사용, 노드 확장성과 가상 클라이언트 수를 비교표로 활용하여 실험을 진행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.103-104
• /
• 2015

IoT의 주요 구성요소는 기존의 데스크 탑 외에 디바이스 즉, 단말 기기들이 주류를 이룬다. 이러한 IoT 디바이스들은 데이터의 유형이나 접근 방법이 다양하고, 실시간적 데이터 생산과 제어를 위한 양방향 데이터 접근 지원을 필요로 한다. 이러한 IoT 디바이스를 연결하여 클라우드 형 서비스로 개발하기 위해서는 디바이스 속성 관리가 용이한 도메인 관리 방법과 디바이스에 대한 일관된 접근 인터페이스를 제공하는 플랫폼이 필요하다. 이 논문에서는 리눅스 파일시스템 후면 즉, 사용자 영역에 리눅스 파일 시스템 스타일의 DB 기반 가상 파일시스템을 구축하여 IoT 디바이스를 연결하고 관리하는 프레임워크를 제시한다. 구현 가상 파일시스템은 계층적 디렉터리 체계를 DB에 유지하면서 단말 노드에는 지리적으로 산재한 IoT 디바이스들에 대한 속성 정보를 관리한다. 디렉터리 및 IoT 디바이스의 추가 삭제 검색 등 도메인 관리는 mkdir. mknod, ls, find 등 리눅스 고유 명령어로 이루어지고, 모든 IoT 디바이스에 대한 접근은 open(), read(), write(), close() 등 POSIX 인터페이스를 통해 가능하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.219-222
• /
• 2012

최근 얼굴검출에 관한 연구는 FPGA를 통한 H/W설계부터 DSP, GPU, ARM Core에 효율적인 S/W 설계까지 다양하게 연구되고 있다. 본 연구에서는 Multi-Core에 효과적인 얼굴검출 방법을 제안한다. 피부색을 통한 얼굴 후보를 추출하고 그 외의 배경 이미지는 삭제하여 연산처리를 빠르게 하였다. Viola-Jones가 제안한 얼굴검출 알고리즘을 POSIX Thread를 사용하여 병렬 처리하였고 그 성능을 단일 코어와 멀티코어에서 측정하였다. 단일 코어에서는 성능의 향상이 없었으나 멀티코어에서는 약 1.8배 속도가 향상되었고 검출 성공률은 기존과 동일하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1613-1616
• /
• 2010

본 논문은 실시간 운영체제인 Xenomai 를 사용하여, 회전익 무인항공기 소프트웨어 개발에 대한 내용을 설명하고 있다. 실시간 운영체제 사용하여 고정 순위 우선 스케줄링을 채택함으로써 데드라인의 타이밍(Timming) 결정성을 보장하였고, 이기종 시스템과의 호환성과 확장성을 고려하여 POSIX API 를 사용하여 멀티 쓰레드를 구현하였다. 또한 실시간 드라이버 모델(RTDM : Real-Time Driver Model)을 사용하여 획득한 데이터를 실시간 전송이 가능하도록 하였다. 본 논문은 실시간 운영체제를 무인항공기에 적용하고 구현된 비행제어 컴퓨터와 제어 소프트웨어를 비율 단조 스케줄링을 적용하여 무인항공기의 쓰레드들의 응답 속도 및 안정성을 보장하는 방안을 제시하였다.