• 한국정보통신학회논문지
• /
• 제25권2호
• /
• pp.301-307
• /
• 2021

사물인터넷의 부흥과 더불어, 사물인터넷의 핵심인 임베디드 시스템은 상황의 변화에 따른 지능적 제어 능력이 요구되고 있다. 하지만 임베디드 시스템은 하드웨어, 메모리, 시간, 전력 등 자원의 제약이 많다. 이때, 임베디드 시스템에서 펌웨어에 변경이 필요할 때는 플래시 메모리를 초기화하고 다시 전체 펌웨어를 업로드 해야 한다. 따라서, 수정의 필요성이 없는 부분도 초기화하고 다시 작성해야 한다는 점에서 시간 및 에너지적으로 비효율적이다. 본 논문에서는 플래시 메모리 각 섹터에 펌웨어를 분할하여 펌웨어의 수정이 필요할 때 수정이 필요한 부분의 섹터만을 교체하는 방법을 제안한다. 본 논문에서는 실제 타겟 보드를 사용하여 제안하는 방법을 검증하였고, 그 결과 약 절반의 시간을 단축할 수 있었다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제67차 동계학술대회논문집 31권1호
• /
• pp.5-6
• /
• 2023

본 논문에서는 MIPS 아키텍쳐 기반 펌웨어에 대한 페이지 단위의 이미지 베이스 주소 탐색 방안을 제안한다. 이 방법은 MIPS 기반 임베디드 기기의 펌웨어를 대상으로, 대상 내의 분석 대상의 이미지 베이스 주소 계산 알고리즘을 효율적으로 개선하여 이미지 베이스 주소탐색 시간을 최소화하는 것을 목표로 한다. 이 방법은 펌웨어 내 문자열의 주소를 기준으로 세그먼트 시작 주소를 유추, 페이지 단위인 4KB 단위로의 이미지 베이스 주소 후보군을 계산하여 이미지 베이스 주소 후보군을 선별하는 것을 그 원리로 한다. 본 논문에 적용된 방법은 기존의 경험적 방법을 통한 펌웨어 베이스 탐색 방안에 비해 정확도면에서 우수함을 보인다.

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

최근 임베디드 펌웨어를 객체 지향 어플리케이션과 함께 개발하는 경우가 증가하고 있다. 하지만 기존의 펌웨어는 절차적 설계를 기반으로 하기 때문에 어플리케이션과 다른 설계 기법이 필요하여 개발 비용과 테스트 비용이 증가한다. 그렇지만 아두이노를 사용하면 펌웨어를 객체 지향 설계가 가능하다. 본 논문은 객체지향 적용 펌웨어를 설계에 초점을 두고, Gary E.Mogyorodi의 Test Case 생성 방법을 적용하여, 실제 펌웨어를 시험을 하고자 한다. 이 방법이 가능하면 일반적인 펌웨어와 어플리케이션을 같은 방법으로 설계 및 테스트가 가능하다. 적용사례로써, 한백전자 HBE-SmartCAR의 펌웨어를 아두이노 기반으로 설계 및 추출된 Test Case 실행을 통해, 설계와 구현이 동일함을 검증이 가능하다.

• 정보과학회지
• /
• 제34권1호
• /
• pp.16-21
• /
• 2016

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.123-125
• /
• 2012

임베디드 소프트웨어에서의 테스팅은 하드웨어에 의존도가 높기 때문에 일반적인 소프트웨어에서의 테스팅과 달리 다양한 테스트 기법과 도구를 활용한 기술 집약적 테스트가 미약하고, 다른 펌웨어에서 테스팅 할 경우 테스팅이 제대로 되지 않는다. 본 논문에서는 하드웨어 의존도가 높은 임베디드 소프트웨어의 모듈을 펌웨어가 다른 x86의 환경에서 테스팅 할 수 있도록, 레지스터, 포트 등을 참조하는 부분을 로그로 출력하고, 모듈끼리의 의존성이 없도록 소스 코드를 수정하여, 공개 소스 테스팅 도구를 활용하여 단위 테스트 할 수 있도록 하였다.

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

요즈음 대부분의 임베디드 장비에는 소프트웨어가 탑재된다. 소프트웨어의 특성상 버그 수정이나 기능 개선 등을 위한 업데이트가 가능하며, 최근에는 이러한 시스템/펌웨어 업데이트가 매우 일반적이다. 그러나, 기존의 업데이트 방법은 사용자가 직접 업데이트 자료를 다운받고, 장비 간 케이블의 직접 연결을 해야 하는 등 번거롭고 어려운 과정을 거친다. 본 논문에서는 최근 들어 매우 광범위하게 사용되는 블루투스 무선통신 기술을 이용하여 임베디드 및 모바일 장비의 업데이트를 자동적으로 수행하는 기법을 제안한다. 제안한 기법은 블루투스를 이용하므로 장비 간 케이블 연결 작업 등의 부가 작업들이 불필요하다. 또한, 사용자가 직접 업데이트 파일을 다운받아 업데이트 관리 프로그램을 이용해 업데이트를 수행하는 작업을 없애고, 대신 장비 스스로 업데이트를 감지하고 다운로드하여 자동적으로 업데이트를 수행하도록 한다. 따라서, 업데이트 과정에서 사용자의 개입을 최소화하여 사용자 편의성을 증가시키며, 임베디드 장비의 시스템 SW를 항상 최신의 상태로 유지할 수 있도록 한다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제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 새니타이저는 대상 프로그램의 함수 호출 그래프와 심볼 정보를 기반으로 제어 흐름 무결성 위배도 탐지할 수 있다. 제안한 두 새니타이저를 구현하고 실험을 통해 제안 기법의 유효성을 보였으며, 기존 연구와의 비교를 통해 임베디드 시스템에 적합함을 보였다. 이러한 연구결과는 개발 단계에서 의도하지 않은 펌웨어 취약점을 탐지하여 제거하는데 활용할 수 있다.

• 인터넷정보학회논문지
• /
• 제3권5호
• /
• pp.19-29
• /
• 2002

정보화 사회가 가속됨에 따라 첨단 기능을 탑재한 많은 기기들이 만들어지고 있다. 기존의 펌웨어로 기능을 구현하는 데는 많은 제약 사항들이 생기게 되었다. 펌웨어의 대안으로 등장하기 시작한 것이 임베디드 운영체제이다. 임베디드 리눅스는 기존의 임베디드 운영체제의 고비용의 문제를 해결할 수 있는 방안으로 주목을 받기 시작을 했으며, 많은 연구가 진행되고 있다. 리눅스는 많은 프로그램을 가지고 있다. 그러나, 임베디드 데이터베이스 프로그램들은 고가의 비용을 요구하고 있다. 본 논문에서 제시하는 ERT DE는 기존의 오픈되어진 소스를 리눅스에서 가능하게 하였으며, 쿼리 레벨에서의 리얼타임 기능을 구현하고자한다.

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

보통 MCU를 기반으로 하는 임베디드 소프트웨어는 펌웨어 형태로 구현되어 콘솔이 없고, UART는 데이터 송신용으로 사용된다. 그러나 MCU 소프트웨어에 콘솔 드라이버를 구현하면 유닉스·리눅스와 같은 대화적 표준 입·출력 개발환경과 타스크 개념을 실현할 수 있다. 이 논문에서는 운영체제 교과에서 익힌 내용을 바탕으로 Atmega2560 MCU에 인터럽트 기반 콘솔 장치 구동기를 구현하고 실험한다.

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

센서 노드의 주 기능은 각종 센서를 탑재하여 구동시키고 측정 결과 값을 게이트웨이로 전송하는 일인데, 이를 위한 소프트웨어는 임베디드 운영체제를 활용하거나 일반적인 펌웨어 형태로 개발할 수 있다. 이 논문에서는 센서 노드에 운영체제를 도입하지 않고 간단한 펌웨어 형태로 센서를 구동시키기 위한 일정한 형태를 갖춘 구동기 틀을 구현하고 실험한다. 제안된 구동기 틀의 목적은 형태의 통일성에 의한 센서 구동기 작성의 편리성 제공에 있다. 온도 센서인 TC1047AVNB의 구동기를 Atmega2560 노드에서 구현하고 실험한 결과 올바른 동작을 확인할 수 있었다.