• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.337-340
• /
• 2010

최근 개발하는 소프트웨어의 복잡도 증가로 소프트웨어 및 전체 시스템에 대한 테스팅 기술의 중요성이 커지고 있는 추세에 맞춰 임베디드 소프트웨어에 대한 테스팅 기술의 활발한 연구가 진행되고 있다. 임베디드 소프트웨어 테스트는 개발하는 소프트웨어의 결함 발견을 통해 그 기능과 품질에서 더욱 완전한 소프트웨어 개발을 할 수 있다는 장점을 가지고 현재 차량전장용 표준 플랫폼인 AUTOSAR(AUTomotive Open System ARchitecture) 소프트웨어의 표준 준수여부를 테스트하는 AUTOSAR 적합성 테스트에 적용되고 있다. 본 논문에서는 AUTOSAR 적합성 테스트 프로세스 중 디자인 단계의 테스트 아키텍처를 Eclipse GMF에 기반을 둔 설계 도구 개발을 소개한다. 본 논문의 AUTOSAR 적합성 테스트를 위한 테스트 아키텍처 설계 도구를 통해 설계된 테스트 시스템 결과물의 재사용성을 제공할 것이라 예상한다.

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

현재까지 소프트웨어 개발을 위한 많은 컴포넌트 기술들이 연구되어 왔다. 하지만 기존의 기술들은 멀티프로세서 환경에서 사용하기에 적합하지 못하다. 멀티프로세서 임베디드 소프트웨어를 구성하는 다수의 쓰레드들이 병렬적으로 수행될 수 있고, 그로 인한 성능 문제 또한 고려되어야 하기 때문이다. 본 논문에서는 새로운 컴포넌트 모델과 태스크 모델, 그리고 소프트웨어 설계 과정을 제안한다. 그리고 컴포넌트 모델과 태스크 모델 사이의 변환 과정 및 병렬성 극대화를 위한 태스크 분할 과정을 소개하여, 최종적으로 성능분석이 가능한 멀티프로세서 임베디드 소프트웨어 개발 과정을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.778-780
• /
• 2005

최근 가정, 자동차, 사무실등 많은 장소에서 임베디드 장치를 쉽게 찾아볼 수가 있다. 이렇듯 많은 분야에서 임베디드 장치가 사용됨에 따라 임베디드 시스템 제조업자들은 보다 빠른 시간에 많은 분야에 적용 가능한 임베디드 소프트 웨어를 개발해야 하는 어려움이 생겼다. 이러한 어려움은 소프트웨어 개발시간을 줄일 수 있도록 도와주는 개발환경의 필요성을 증가시켰다. 개발도구 중 디버깅도구는 개발시간의 대부분을 차지하는 디버깅 과정을 도움으로써 개발시간 단축이 큰 역할을 한다. 기존 디버깅도구는 모든 변수에 대한 데이터 추출을 하기 위하여 자원사용량과 처리량을 증가 시킴으로써 많은 부하를 발생시킨다. 이에 모니터링에 의한 부하를 최소화하기 위하여 변수 값을 추출하기 위한 모니터링 센서 기법과 실행시간 중 모니터링 대상을 변경하기 위한 디버깅레벨기법을 사용하여 소프트웨어의 내부 변수가 동작하면서 발생되는 오류를 검출할 수 있는 임베디드 모니터링 시스템을 설계 및 개발하였다. 하지만 실행시간 모니터링 중에 센서의 동작과정에 따르는 부하로 인하여 정확하지 않은 데이터를 추출할 수 있는 문제점이 발생되었다. 이러한 문제를 해결하기 위해 본 논문에서는 센서의 수행과정을 최소화하도록 센서 처리 구조를 변경하고 최적화된 센서 구조의 실행시간을 줄이기 위해 비트마스킹 기법을 사용한다.

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

임베디드 시스템 소프트웨어 개발과정에서, 자연어로 작성된 요구명세와 소프트웨어 엔지니어와 하드웨어 엔지니어 사이의 서로 다른 언어와 개발도구의 차이로 인해 많은 문제들이 있어왔다. 즉, 개발자의 실수로 설계가 잘못 명세 되었거나 요구명세와 실제 구현된 시스템 소프트웨어의 인터페이스 코드나 요구된 수행이 일치하지 않았다. 이를 해결하기 위해 본 논문에서는 정형기법을 이용하여 요구사항을 명세하고 설계를 검증함으로써 개발자의 실수로 인한 오류를 줄이고 개발된 시스템 소프트웨어의 인터페이스 코드 및 수행이 요구명세를 만족함을 보이도록 정형기법을 이용한 개발 프레임워크를 제안하고자 한다.

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

임베디드 소프트웨어가 날이 갈수록 그 규모가 커지고 복잡해짐에 따라 임베디드 소프트웨어의 품질에 대한 검증 및 테스트는 중요한 문제로 부각하고 있다. 임베디드 소프트웨어의 신뢰성을 확보와 비용절감을 위한 테스트 자동화 시스템의 개발이 필요하다. 이 문서는 테스트 자동화 시스템을 구축하는 과정에서 테스트 대상인 임베디드 시스템의 입출력 변수들의 조작을 통하여 시스템 의존적인 부분을 효과적으로 일반화 시키는 방법을 제시한다. 이 방법을 통하여 테스트 명령을 간소화 할 수 있었으며 테스트 자동화 시스템의 모델을 보다 일반적이고 쉽게 표현할 수 있었다.

• 한국시뮬레이션학회논문지
• /
• 제18권4호
• /
• pp.81-94
• /
• 2009

임베디드 시스템 개발에 있어서 재사용성이나 가변성 설계에 대한 연구가 미흡한 상태이다. 임베디드 시스템의 특성 상 새로운 디바이스를 지원할 수 있도록 설계되어야 하는데, 확장성이 고려되지 않은 임베디드 시스템의 경우 재구축해야 하는 어려움이 있다. 현재 임베디드 시스템의 개발 생산성 및 재사용성이 매우 낮으며, 이런 흐름은 소프트웨어 위기와 같이 임베디드 시스템의 유지보수 비용 증가, 개발비 증가, 시스템의 품질 저하 문제에 직면하게 될 것이다. 본 논문에서는 이와 같은 임베디드 시스템의 문제를 극복하기 위한 기반을 제공하고자 임베디드 시스템의 재사용성 프레임워크를 제시한다. 이 프레임워크를 기반으로 다양한 디바이스를 동적으로 지원할 수 있는 플러그인 기법을 제안하며, 플러그인 기법의 기반이 되는 동적 메타모델를 제시한다.

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

늘어나는 사용자의 요구를 충족시키고, 차별화된 서비스를 제공하기 위해 산업 전반에 걸쳐 정보기술의 적용이 확대됨에 따라 임베디드 소프트웨어 제품의 활용이 급격히 증가되고 있다. 이에 따라 각 기업에서는 기존 자사 제품의 생산에서 시장 적시성과 고품질을 달성하기 위한 체계적인 임베디드 소프트웨어 개발에 대한 요구가 점차 증가하고 있으나 그에 따른 기술 및 인력의 부족으로 많은 어려움을 겪고 있는 실정이다. 본 논문에서는 이러한 문제 해결에 일조하기 위해 한국전자통신연구원에서 최근에 개발한 제품계열기반의 임베디드 시스템 개발 방법론의 개념, 프로세스 등을 제시하고자 한다.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.334-336
• /
• 2005

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

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

본 연구원이 속한 연구실은 임베디드 소프트웨어 테스팅 프레임워크(이하 프레임워크)를 구축하고 있으며 임베디드 소프트웨어 요구사항 관리 도구(이하 REED)를 개발하였다. REED를 통해 작성된 요구사항은 프레임워크에서 테스트 케이스를 만들고 테스트를 수행하는 데 사용된다. 본 논문은 REED에서 기존에 개발된 요구사항 작성 및 분석 기능에 요구사항 관리 기능을 추가하는 개발에 관한 연구이다.