• 한국소프트웨어감정평가학회 논문지
• /
• 제16권1호
• /
• pp.65-79
• /
• 2020

산업제어 시스템에서 많이 사용되는 PLC(Programmable Logic Controller)는 마이크로 컨트롤러, 실시간 운영체제, 통신 기능들과 통합되고 있다. PLC들이 인터넷에 연결됨에 따라 사이버 공격의 주요 대상이 되고 있다. 본 논문에서는, 데스크톱에서 개발한 uC/OS-II 기반 펌웨어를 PLC로 다운로드 하기 전, 펌웨어 코드의 보안성을 향상시켜 주는 새니타이저를 개발한다. 즉, PLC용 임베디드 펌웨어를 대상으로 버퍼의 경계를 넘어선 접근을 탐지하는 BU 새니타이저(BU sanitizer)와 use-after-free 버그를 탐지하는 UaF 새니타이저(UaF sanitizer)를 제안한다. BU 새니타이저는 대상 프로그램의 함수 호출 그래프와 심볼 정보를 기반으로 제어 흐름 무결성 위배도 탐지할 수 있다. 제안한 두 새니타이저를 구현하고 실험을 통해 제안 기법의 유효성을 보였으며, 기존 연구와의 비교를 통해 임베디드 시스템에 적합함을 보였다. 이러한 연구결과는 개발 단계에서 의도하지 않은 펌웨어 취약점을 탐지하여 제거하는데 활용할 수 있다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 추계학술대회
• /
• pp.137-140
• /
• 2013

전통적으로 임베디드 장비에서는 단순한 펌웨어 수준의 운영체제를 사용해 왔다. 그러나 최근 하드웨어 성능의 향상과 이에 따른 사용자들의 다양한 요구사항을 만족시킬 수 있도록 범용 운영체제인 리눅스를 사용하고 있는 임베디드 장비들이 활성화되고 있다. 리눅스를 운영체제로 사용하는 경우 확장성, 범용성, 이식성 등의 장점이 있지만 리눅스의 이식성을 고려한 설계로 인한 복잡성의 증가로 인한 오버헤드가 존재한다. 대다수의 임베디드 시스템에서 전원이 인가된 후 필요한 기능을 정상적으로 수행하기까지의 시간을 최소화하는 것은 필수적인 요구사항이기 때문에, 이들 특성은 임베디드 장비에서는 불필요할 수 있으며 적절히 재구성 또는 제거되어야 한다. 본 논문에서는 Corelogic사의 CLM9722 DTK를 대상으로 하여 알려진 소프트웨어 최적화 기법을 리눅스 부팅 각 단계에 적용, 결과를 측정함과 동시에 하드웨어 종속성으로 인한 범용 프레임워크 내의 최적화 제약사항에 대하여 연구하였다. 결과적으로 장비 전원 인가 후 부팅 시간을 약 33% 정도 단축할 수 있었다.

• 정보처리학회논문지A
• /
• 제16A권6호
• /
• pp.463-472
• /
• 2009

실시간 운영체제는 효율적인 스케줄링, 최소화된 인터럽트 지연, 우선순위 역전현상 해결 등의 다양한 조건을 만족시킴과 동시에, 응용프로 그램이 정해진 기한 내에 수행되는 것을 보장하여야 한다. 따라서 실시간 운영체제는 상기 조건을 만족시킬 수 있도록 설계/개발되어야 한다. 대중적인 실시간 커널의 한 종류인 MicroC/OS-II에서는 우선순위 역전 현상에 대한 해결 기법으로 뮤텍스(Mutex)를 사용한 기본적인 우선순 위 상속(Basic Priority Inheritance) 프로토콜을 사용한다. 뮤텍스를 구현하려면 우선순위가 같은 여러 태스크를 사용할 수 있도록 커널이 지원 해야 하나 MicroC/OS-II 운영체제는 우선순위가 같은 여러 태스크의 동시 사용을 지원하지 않는다. 이를 해결하기 위해 추가적인 우선순위 예 약을 사용할 수밖에 없게 되고, 결과적으로 제한된 우선순위 자원을 낭비하게 된다. 본 논문에서는 MicroC/OS-II의 불필요한 우선순위 자원을 낭비하는 문제점을 해결할 수 있는 일시적 우선순위 교환 프로토콜(Temporary Priority Swapping Protocol; TPSP)을 설계 및 구현하여, 한정 된 자원 환경을 가진 임베디드 장비에 효율적으로 운용되도록 하는데 목적을 둔다.

• 전자공학회논문지CI
• /
• 제45권6호
• /
• pp.94-105
• /
• 2008

ZigBee 통신기반의 네트워크 임베디드 시스템을 위한 많은 플랫폼들이 개발되어 왔으며 TinyOS와 같은 소형 운영체제가 탑재되어 다양한 주변장치를 통해 네트워킹, 정보수집, 명령 수행 등 다양한 기능들을 효율적으로 구현할 수 있도록 하고 있다. 새로운 플랫폼에 운영체제를 이식하는 과정에서는 계수기와 같이 중요한 특정 하드웨어 장치가 운영체계에서 요구하는 기능이 부족하다면 소프트웨어 및 다른 하드웨어 장치로 해당 기능을 구현해야 한다. 본 논문은 먼저 계수기에 비교기 인터럽트 기능이 없는 플랫폼에서 운영체계의 요구 기능을 만족하는 다중 시스템 타이머를 구현하는 기법을 제안한다. 또한, 이식과정에서 예측하기 어려운 오류가 주입될 수 있기 때문에 이에 따라 발생하는 수많은 오동작에 대처해야 할 것이다. 불행히도 TinyOS에는 하드웨어의 인터럽트에 의해 구동되는 수많은 비동기 처리가 필요한 반면 새로운 플랫폼에는 탑재된 하드웨어 각각에 대한 모델이 확립되지 않아 시뮬레이터가 미리 제공되지 못한다. 본 논문은 이러한 열악한 상황에서 사용할 수 있는 새로운 디버깅 기법을 제안한다. 이 방법은 레이디오펄스(주)의 MG2400과 MG2455에 TinyOS 2.0을 이식하는 과정에서 발생한 이슈들과 원인을 찾아내는데 사용되어 그 실용성을 입증하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 추계종합학술대회
• /
• pp.437-440
• /
• 2007

최근 임베디드 시스템 디바이스 분야가 많은 발전을 이루었다. MP3, 디지털 시계같은 휴대형 디바이스에서부터 공장 제어기계난 핵발전소 제어 시스템과 같은 큰 규모의 시스템까지 그 범위가 광대하다. 본 논문은 임베디드 휴대형 장치를 구현하는 데 초점을 두었으며 이를 이용하여 아파트 공공단지 내 유아 유괴 방지 시스템에 적용시켜보았다. ARM9 core를 적용한 s3c2440을 이용한 임베디드 하드웨어 플랫폼으로 구현하였고 이 위에 WindowsCE OS를 사용하여 영상의 입력과 처리 그리고 전송의 멀티태스킹 작업을 가능하게 하였다. 그 외 GPS정보를 이용한 위치 추적, 카메라와 마이크의 실시간 영상 소리 데이터를 이용한 사용자의 상태확인 등의 다른 어플리케이션과 서비스를 구현할 수 있도록 하였다. 본 논문은 스마트 디바이스에서 받은 영상을 WLAN으로 호스트PC에 전송을 하는 시스템에 초점을 맞추었다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권9호
• /
• pp.604-609
• /
• 2015

하드웨어가 많이 발전하면서 안전성 확보가 필요한 실시간 임베디드 시스템에도 가상화 기술이 적용되고 있는 추세다. 그러나 가상화 기술 적용 시, 스케줄러가 여럿 존재하게 되고, 이 스케줄러들 사이에 계층이 존재하게 되어 스케줄링 중 오류가 발생할 수 있는 단점이 있다. 임베디드 시스템의 제어 소프트웨어 같은 경우, 작은 문제로도 인명적, 재산적 피해가 클 수 있어 반드시 안전성 확보 여부를 검증해야 한다. 실시간 임베디드 시스템에 스케줄러가 계층적으로 존재하는 경우, 안전성 확보를 위해 반드시 스케줄링 가능성을 확인해야 한다. 본 논문은 여러 수준의 계층적 스케줄링 시스템을 정형기법(formal methods)을 사용하여 스케줄링 가능성을 확인할 수 있는 프레임워크를 소개한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.336-339
• /
• 2014

전자제품의 스마트화 열풍으로 임베디드 시스템의 하드웨어 및 소프트웨어의 발전이 경쟁적으로 이루어지고 있지만, 하드웨어 발전 속도에 비해 그 활용도는 미진한 편이다. 특히, 스마트 TV 는 대형 스크린을 갖고 있다는 장점이 있고, 사물인터넷 시대의 중추 역할을 할 것으로 기대되기 때문에 많은 계산의 신속한 처리를 요구 받을 가능성이 크다. 따라서 본 논문에서는 webOS 기반 스마트 TV 에서, 계산자원을 충분한 활용하기 위한 병렬처리 가능성을 확인하고자 webOS 시스템을 프로파일링하고 그 결과를 분석하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2011년도 추계학술논문집 2부
• /
• pp.558-561
• /
• 2011

본 논문은 임베디드 타겟 보드의 시스템을 활용하여 웹서버를 운용하고, 웹페이지를 통해 임베디드타겟 보드 내의 신호를 제어할 수 있도록 제작한 신호 감지 시스템을 통해 제어 신호를 받아 실제 작동여부를 확인할 수 있는 조형물을 구성하였다. 또한, Linux 커널을 컴파일하여 포팅한 임베디스 시스템과 Linux OS기반의 인증 서버를 구축하여 안전한 홈 시스템의 보안접근 제어가 가능하도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.439-441
• /
• 2001

본 논문에서는 ARM7TDMI CPU를 기반으로 한 네트워크 장비에 구현된 DHCP의 설계 및 구현에 대하여 논한다. 실시간 운영 체제인 uC/OS와 Watt TCP/IF 등의 소프트웨어가 탑재되어 있는 시스템에 DHCP를 구현 함으로써, 네트워크 설정이 편리한 시스템이 되도록 하였다. 제안할 'tiny-DHCF' 는 본래의 기능은 수행하면서, 그 크기를 축소한 것이다. 임베디드 시스템에서 더 경제적으로 구현할 수 있는 소형 UHCP인 'tiny UHCP' 적용 방법에 관하여 논의하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.657-660
• /
• 2002

현재 Embedded system 에서 많은 기업체들이 리눅스를 채용하고 있고, 이러한 임베디드 리눅스는 실시간 운영체제가 필요한 로봇제어기에서부터 PDA, set-top box등 여러 분야에 걸쳐 응용되고 있다. 본 논문에서는 StrongARM SA-1110 CPU을 이용하여 만들어진 임베디드 시스템에 리눅스를 사용하여 독립형 비전모듈을 개발한 내용을 기술한다. 또한, WinCE 를 사용하여 개발된 비전모듈과의 성능을 비교하여 리눅스를 이용한 독립형 비전모듈을 평가하고, 머신비전 분야에서의 리눅스 응용 가능성을 제시하였다.