• 디지털콘텐츠학회 논문지
• /
• 제18권3호
• /
• pp.607-612
• /
• 2017

최근 많이 활용되고 있는 라즈베리파이 기반 임베디드 시스템 구축에 있어 사용자는 회로에 대한 이해, 하드웨어 비용 측면에서 어려움을 갖는다. 본 논문은 이러한 시스템을 가상으로 테스트하는 솔루션을 제안한다. 솔루션은 사용자가 실제 회로를 구성하듯이 가상의 공간에 모듈을 배치하고 선을 연결하는 등, 회로를 구성하고 동작을 테스트할 수 있으며 회로편집기, 인터프리터, 시뮬레이터의 세 가지 요소로 구성되어 있고 전체 9개의 모듈을 제공한다. 각 모듈은 제조사에서 제공하는 데이터시트와 제원을 바탕으로 실제 회로 테스트를 거쳐 추상화하였다. 솔루션은 프로토 타입이지만 품질수준을 높인다면 비용절감과 학습, 교육 측면에서 유용할 것이며 이를 위해서, 전기 물리엔진의 구현, 실제 보드로 포팅이 가능한 수준의 인터프리터, 시뮬레이션 로직의 일반화가 필요하다.

• 정보보호학회논문지
• /
• 제29권6호
• /
• pp.1225-1234
• /
• 2019

임베디드 디바이스의 대중화로 인해 펌웨어의 보안은 더욱 중요해지고 있다. 유무선 공유기와 같은 네트워크 장비는 내재된 펌웨어의 웹 인터페이스 취약점을 통해 외부의 공격자로부터 피해를 받을 수 있기 때문에 빠르게 찾아내어 제거해야 한다. 이전 연구인 Firmadyne 프레임워크는 펌웨어를 에뮬레이션 한 뒤 취약점을 찾아내기 위한 동적 분석 방법을 제안한다. 그러나 이는 도구에서 정의된 분석 방법대로만 취약점 점검을 수행하므로 찾을 수 있는 취약점의 범위가 한정되어 있다. 본 논문에서는 소프트웨어 보안 테스트 기술 중 하나인 퍼징을 통해 에뮬레이션 기반 환경에서의 퍼징 테스트를 수행한다. 또한 효율적인 에뮬레이션 기반 퍼징을 위해 Fabfuzz 도구를 제안한다. 실험을 통해 확인한 결과 기존 도구에서 식별했던 취약점뿐만 아니라 다른 유형의 취약점도 발견할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.395-398
• /
• 2017

최근 국내외에서 창의인재 양성을 위한 컴퓨터과학 교육을 강화하고 있다. 현재 대부분의 프로그래밍 언어는 국내 초보자들이 배우기에 여러 가지 진입 장벽이 존재한다. 그 중 대표적인 이유는 쉽게 흥미를 갖지 못한다는 것이다. micro:bit는 소프트웨어 교육을 위해 영국에서 2015년 개발한 ARM 기반의 임베디드 시스템이다. 내장된 LED 출력 등 다양한 기능과 개발 방식을 지원하여 프로그래밍을 배우는 초보자들의 흥미를 유발시키기 충분하다. 하지만 영어와 숫자만 LED에 출력되며 개발도구에서 한글 메뉴를 지원하지 않아서 국내 학생들이 사용하기에 매우 불편하다. 본 논문에서는 이를 해소하기 위해 micro:bit의 한글 LED 출력과 한글 프로그래밍 환경을 구성하였다. 테스트 결과 정상적으로 한글 프로그래밍 환경이 동작하며 한글 LED 출력이 수행됨을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.494-499
• /
• 2008

임베디드 시스템이 주목받으면서 개발상의 편의를 위해 시스템 시뮬레이터가 다양한 용도로 사용되고 있다. 시스템이 복잡해지고 소프트웨어의 규모가 커지면서 이러한 시스템 시뮬레이터들에 있어 그 성능은 매우 중요한 이슈가 되고 있는데, 본 논문에서는 공유 메모리를 사용하여 통신하는 다중 프로세서 시스템에서 동기화 횟수를 줄이는 방법을 제안하고 이를 기반으로 한 다중 프로세서 시스템 시뮬레이터를 개발하였다. 이 시뮬레이터는 프로세서 시뮬레이터의 내부를 크게 고치지 않고 공유 메모리 접근만을 가로채 동작이 가능하므로 쉽게 다양한 종류의 프로세서를 연결할 수 있는 확장성 역시 가지고 있다. 제안하는 동기화 기법과 개발된 시뮬레이터는 7개의 프로세서를 사용하여 동작하는 JPEG 인코더 예제의 구동을 통해 테스트되었으며, 이를 통해 인과율을 깨뜨리지 않고도 빠른 시뮬레이션이 가능함을 확인할 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.293-296
• /
• 2005

제품에 대한 다양한 사용자의 요구 사항을 지원하기 위해 제품 개발 프로세스는 초기 단계인 분석 및 설계 단계에서부터 다양성을 지원할 수 있도록 개발 주기가 이뤄지고 있고 이러한 추세는 차별화된 서비스의 소프트웨어를 내장한 시스템(이하 임베디드 시스템)의 경우 보다 활발히 이뤄지는 경향이다. 요구 사항에서 공통점은 시스템 개발에 있어 재사용성을 높일 수 있는 중요한 부분이므로 요구 사항에 대한 다양성을 분석하고 표현하여 다양한 제품이 개발이 개발 초기 단계에서부터 이뤄 질 수 있도록 하는 것이 본 논문의 목적이다. 따라서 분석의 기반이 되는 기능 표현 방법은 중요하며 설계와 개발 단계로 연결되기 위해 분석된 기능에 대한 검증이 이뤄져야 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 춘계학술발표대회
• /
• pp.31-32
• /
• 2016

최근 소형 임베디드 시스템에서 고사양 컴퓨터 시스템까지 저장매체로 낸드 플래시 메모리를 채택하고 있다. 낸드 플래시는 물리적 성질로 인해 비트 오류가 발생하며 저장매체로써의 신뢰성이 부각되고 있다. 낸드 플래시 연구를 위해 낸드 플래시 하드웨어로 실험 환경을 구성할 경우 다른 종류의 낸드 플래시 하드웨어를 테스트하려면 전체 실험 환경을 수정해야 하는 번거로움이 발생한다. 본 논문은 실제 낸드 플래시의 비트 오류율(Bit Error Rate : BER)을 수집하여 비트 오류 발생 모델을 구축하였고 리눅스 커널의 낸드 플래시 시뮬레이터인 NANDSim에서 가상으로 생성한 낸드 플래시 종류에 따라 비트 오류율을 적용하여 소프트웨어적 실험 환경을 구성하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.190-193
• /
• 2006

Ther are many stages of the development for the embedded systems' hardware and software as well, which results in many test stages of it with respect to corresponding development stages. The software validation of embedded systems is taken into consideration for the testers to make sure that the systems work correctly after the deployment. Among test stages, especially control logic level testing and system validation testing are considered as the most important test, because the robustness of embedded systems' software can be validated by those two level of tests. in this paper, we would like to introduce the idea of how software test system for embedded systems can be established and of what necessary components are needed

• 정보처리학회논문지A
• /
• 제13A권6호
• /
• pp.481-488
• /
• 2006

함수형 반응적 프로그래밍(FRP: Functional Reactive Programming)은 하스켈(Haskell)에 내장된 언어로서 두 핵심 고차 타입인 행위(Behavior)와 이벤트(Event)를 기반으로 반응적 시스템을 선언적으로 프로그래밍 한다. 이 논문은 다양한 제약사항을 가진 임비디드 시스템에 FRP를 이용하기 위해 실시간 함수형 반응적 프로그래밍(RT-FRP: Real-time Functional Reactive Programming) 변환기를 설계하고 구현한다. RT-FRP 변환기는 RT-FRP 언어의 기능적 의미론을 기반으로 RT-FRP 프로그램에서 C 프로그램을 생성한다. RT-FRP 변환기의 효과적인 변환을 입증하기 위해, 변환기에서 생성된 테스트 프로그램을 실제 임베디드 시스템, 레고 마인드스톰(LEGO Mindstorm)에 탑재하고 수행하였다. 실험 결과, RT-FRP를 이용할 경우 목적파일의 크기가 조금 증가하였으나 명령형 언어를 이용한 프로그램 보다 간결하게 반응적 시스템 소프트웨어를 프로그래밍 할 수 있었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제8권11호
• /
• pp.251-262
• /
• 2019

본 논문에서는 뉴로모픽 칩에서 운영되는 RBF 네트워크를 다양한 형태로 제공하는 시뮬레이터를 제안한다. 뉴로모픽 칩의 RBF 네트워크를 학습할 때 시뮬레이터를 사용할 경우에는 시간은 단축되지만 다양한 형태의 알고리즘을 테스트하기 어렵다는 단점이 있다. 본 제안 시뮬레이터는 기존 시뮬레이터와 비교하여 4배 많은 종류의 네트워크 구조 모의실험이 가능하며 특히, 이중 레이어 구조를 추가로 제공한다. 이중 레이어 구조는 다중 데이터 입력 시 활용되도록 구성하였으며 성능 분석 결과, 본 이중 레이어 구조가 기존보다 더 높은 정확도를 보였다.

• 한국통신학회논문지
• /
• 제31권11A호
• /
• pp.1059-1067
• /
• 2006

AODV(Ad-hoc On-Demand Distance Vector) 라우팅 프로토콜은 Ad-hoc 네트워크에서 이동 노드를 사용할 수 있도록 제안된 라우팅 프로토콜이다. AODV 라우팅 프로토콜을 사용하는 Ad-hoc 네트워크에서 고속으로 이동하는 노드가 포함되어 있는 경우 항상 최적 경로를 확보할 수 없는 문제로 인하여 경로 단절과 전송 지연이 발생한다 따라서 본 논문에서는 고속으로 변화하는 네트워크의 토폴로지에서 항상 최적의 경로를 확보 할 수 있는 메커니즘을 통하여 경로의 단절과 전송 지연을 최소화할 수 있는 AODV를 기반으로 하는 라우팅 프로토콜을 제안하였으며 ns2 시뮬레이터를 이용하여 제안 프로토콜을 평가하였다. Ad-hoc 네트워크를 위한 여러 가지 기반 기술의 검증을 위하여 실제의 Ad-hoc 네트워크 테스트 베드를 구현하였다. 본 논문에서는 AODV 라우팅 프로토콜, NAT, Netfilter등의 Ad-hoc을 위한 소프트웨어 검증을 위한 많은 이벤트 메시지를 성능 저하 없이 동작시킬 수 있는 고성능의 임베디드 시스템을 설계 개발하였다. 개발된 하드웨어를 이용한 Ad-hoc 네트워크 테스트 베드에서 AODV 라우팅 프로토콜의 정상 동작과 기존 인터넷 망과의 연동을 확인하였다.