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

하이브리드 시스템이란 연속적인 변화와 이산적인 변화가 함께 존재하는 시스템으로 많은 임베디드 시스템이 하이브리드 시스템으로 모델링 된다. 이러한 하이브리드 시스템을 모델링하고 타당성을 검사(validation) 할 수 있는 도구의 제안은 시스템 개발자들에게 하이브리드 시스템의 복잡한 변화로 인한 시스템의 복잡성을 간소화 시킬 수 있는 방법을 제공하고, 고품질의 제어 소프트웨어를 개발할 수 있도록 해준다. 본 논문에서 소개하는 ASADAL/OBJ Hybrid는 고신뢰성 하이브리드 시스템 모델링을 위한 도구로써 객체지향 모델링에 따라 여러 하이브리드 시스템을 객체로 모델링하며, 이들 간의 통신은 이벤트와 데이터 전송으로 이루어지도록 한다. 환경 객체의 경우 3D 형태 정보를 가지고 있어서 3D 시뮬레이션을 통해 시스템의 변화 양상을 개발자에게 직관적으로 제공하도록 하고 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.705-715
• /
• 2008

SUGV의 활용이 늘어감에 따라 구성하는 소프트웨어가 복잡해지고 개발 환경 다양화로 인한 상호운용성 문제가 대두되고 있다. 본 논문에서는 이러한 문제점을 해결하고자 기존의 UML 프로파일 메커니즘을 이용하여 SUGV 개발에 MDA가 적용되도록 하였다. 이를 통해 이종 SUGV 소프트웨어 설계시 타겟 독립 모델을 만든 후 UML 프로파일이 적용된 자동화 도구를 이용해 타겟 종속 모델 및 코드를 생성하면 이종 기기의 개발기간과 노력을 절약할 수 있다. 그리고 발생된 코드의 분석을 통해 제안한 방법의 이점 및 신뢰성을 확인할 수 있었다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.973-983
• /
• 2019

정보 보안의 중요성은 응용 소프트웨어의 보안으로 인해 국가, 조직 및 개인 수준에서 점점 더 강조되고 있다. 임베디드 소프트웨어를 포함하는 높은 안전성 소프트웨어의 개발 기술은 항공 및 원자력 분야 등 에 국한되어 사용되었다. 하지만 이러한 소프트웨어 유형은 이제 응용 소프트웨어 보안을 향상시키는 데 사용된다. 특히 보안 코딩은 방어적 프로그래밍을 포괄하는 개념으로 소프트웨어 보안을 향상시킬 수 있다. 본 논문에서는 개선된 코딩 표준 검색 기법을 적용한 소프트웨어 보안 취약성 탐지 기술을 제안한다. 공개된 정적 분석 도구는 소프트웨어 보안 가능성을 분석하고 취약점을 유발하는 명령어를 분류하는 데 사용되었으며, 소프트웨어 취약점을 유발할 수 있는 API 및 버그 패턴을 쉽게 감지하여 향상시킬 수 있다.

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

임베디드 분야에서 전력 에너지 소비 문제는 시스템을 설계하는데 있어서 매우 중요한 이슈가 되고 있다. 특히 휴대성이 강조되는 모바일 장치의 제한된 전력을 효율적으로 이용하기 위해서 하드웨어적인 관리 못지않게 소프트웨어적인 관리 기술의 필요성이 강조되고 있으며 전력 소비 관리를 위한 최적화된 컴파일러 기법이 연구되고 있다. 이 논문에서는 모바일 장치에서 구동되는 어플리케이션의 전력 에너지 소비를 줄이기 위한 전역 코드 스케줄링 기법을 제시한다. 이를 위해, 재목적 소프트웨어 개발 도구인 EXPRESSION의 컴파일러인 EXPRESS의 코드 최적화 기법을 이용하여 전력 에너지 효율적인 전역 코드 스케줄링 모델을 설계하고 성능평가 방법을 제시한다.

• 한국방사선학회논문지
• /
• 제1권1호
• /
• pp.39-44
• /
• 2007

본 연구에서는 환자들의 일상생활 동안 움직임 이상을 관찰하기 위한 인체동작 무선계측 기술을 개발하였다. 기술개발에 사용한 도구는 버클리대학에서 개발한 MICA, TinyOS, nesC를 이용하여 무선신호 감지, 소프트웨어 플랫폼, 그리고 임베디드 프로그래밍을 위한 도구로 사용하였다. 실험을 위해 개발된 장비를 인체의 가슴부위에 부착하고 움직임 동작인 앉기, 서기, 눕기 데이터를 획득하여 PDA로 무선전송하여 저장하고 처리하여 그래프로 보여준다. 보여진 결과는 인체동작을 구속이나 제한 없이 기록할 수 있게 된다. 본 연구의 결과는 환자의 움직임 이상과 일상생활동작을 관찰하는 데 사용될 수 있을 것이다.

• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.563-570
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

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

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

• 한국게임학회 논문지
• /
• 제8권4호
• /
• pp.65-73
• /
• 2008

본 논문에서는 발달장애 아동의 교육 및 치료에 있어서 감각, 인지훈련을 효과적으로 할 수 있는 에듀테인먼트 플랫폼을 제시한다. 이를 위해 임베디드 하드웨어를 개발하고 여기서 재생할 콘텐츠를 제작하기 위한 저작도구, 학습 결과를 확인할 수 있는 관리도구, 학습 상황을 실시간으로 모니터링하는 도구를 개발하였다. 발달장애 아동의 특성을 관찰 분석하여 개발한 하드웨어는 주의집중을 위한 감각훈련을 집중적으로 할 수 있도록 시각, 청각, 촉각 등의 자극을 제공한다. 이와 함께 개발한 소프트웨어는 특수교사 이외의 비전문가도 쉽게 교육용 콘텐츠를 만들고 학습 현장이외에서도 학습상황을 볼 수 있도록 하는 기능을 제공한다. 또한, 학습한 결과를 다음 학습단계로 적용할 수 있도록 이를 보관하고 살펴 볼 수 있는 기능도 제공한다. 이를 통해 시간, 장소의 제한 없이 효과적으로 반복 학습을 수행이 가능하다. 개발한 플랫폼을 직접 교육현장에 적용해봄으로써 주의집중과 학습 능력을 높이는데 효과가 있음을 알 수 있었다.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.215-222
• /
• 2006

모바일 소프트웨어의 생산성을 높이고 신뢰성 있는 소프트웨어를 개발하기 위한 모바일 소프트웨어 테스트의 중요성이 부각되고 있다. 모바일 소프트웨어의 테스팅 기술이 효율적으로 적용되기 위해서는 모바일 플랫폼 기반의 테스트를 자동화 할 수 있는 기술이 필요하다. 즉, 모바일 플랫폼에서 제공하는API를 테스트 하기 위한 테스트케이스를 생성할 수 있는 기법이 필요하다. 테스트케이스를 생성하게 되면 소프트웨어의 생산성과 신뢰성을 향상 시킬 수 있을 뿐만 아니라, 테스트 기간 및 비용을 줄일 수 있다는 이점이 있다. 본 논문에서는 기존의 테스트 자동화에 관련된 연구와 테스트 자동화 도구에 대한 연구를 통해 테스트케이스 생성 범위를 설정하고, J2ME 플랫폼에 사용될 수 있는 테스트케이스 생성 기법인 키워드 방식 기법(Keyword Driven Method)을 제시하였으며, 제안한 생성 기법을 적용하여 J2ME 플랫폼 기반의 테스트에 활용 가능한 테스트케이스 생성 기법이 되도록 하였다.