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

내장형 시스템(embedded system)의 발전에 따라, 더욱 복잡하고 높은 신뢰성을 가지는 내장형 응용프로그램의 개발 필요성이 요구된다. 내장형 소프트웨어의 성능 평가 및 분석 도구는 내장형 소프트웨어 개발 속도와 신뢰성을 높이기 위한 유용한 도구이다. 개발자나 사용자는 성능 평가 결과와 로그 정보를 직관적으로 판단하기 위해 GUI 형태의 결과보고 도구(result report tool)나 뷰어(viewer)를 이용할 수 있다. 그러나 보통의 성능 평가 및 분석 도구가 이용하는 로그 데이터는 텍스트 기반의 저수준 정보이므로, 개발자의 다양한 요구에 맞는 분석 결과보고 도구 나 뷰어를 생성하기 위해서는 로그 정보에 대해 많은 분석 시간과 노력을 기울여야 한다. 본 논문은 내장형 시스템 개발자가 쉽고 편리하게 원하는 GUI 형태의 결과 분석도구를 생성할 수 있도록 하기 위한 프로파일 로그 분석 방법을 제안한다. 제안하는 로그 분석 방법은 저수준의 성능 평가 로그를 분석하여 자료구조화 하는 모듈과 이것을 GUI 형태로 쉽게 변경할 수 있는 API 수준의 함수를 제공한다. 제안하는 로그 분석 방법에 의한 API를 통해 개발자나 사용자는 자신의 취향에 맞는 GUI 형태의 결과 분석 도구를 쉽고 빨르게 생성하여 내장형 소프트웨어 개발의 효율성을 높일 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제16권12호
• /
• pp.1-10
• /
• 2011

내장형 시스템의요구사항이 복잡해짐에 따라 내장형 소프트웨어의 신뢰도를분석하기 위한 도구가 요구되고있다. 소프트웨어의 신뢰도를 분석하는 방법으로는 확률적 모델링을 이용하는데, 다수의 디바이스를 제어하는 내장형 소프트웨어에 적용하기 위해서는 내장형 소프트웨어에 특성화 시킬 필요가 있다. 또한, 기존의 신뢰도 분석 도구는 각 상태간의 전이 확률을 다른 방법으로 측정해야 하고, 한 번 작성한 모델에 대해 재사용을 고려하고 있지 않는다. 본 논문은 내장형 소프트웨어의 신뢰도를 분석하기 위해 내장형 소프트웨어 마르코프 체인 모델과 단위 테스팅 도구를 이용한 신뢰도 분석 도구를 제안한다. 내장형 소프트웨어 마르코프 체인 모델은 신뢰도 분석 방법으로 많이 사용되고 있는 마르코프 체인 모델을 내장형 소프트웨어에 특성화 시킨 모델이다. 그리고 단위 테스팅 도구는 내장형 소프트웨어의 개발환경에 적합한 호스트/타겟 구조를 가지고 있다. 제안하는 도구는 신뢰도 분석을 위해 단위간 전이 확률을 단위 테스트 결과로부터 자동으로 측정하여 기존의 도구보다 용이하게 신뢰도를 분석할 수 있다. 그리고 소프트웨어 모델을 XML 기반의 문서로 표현하여 단위 테스팅 도구가 업데이트 시킨 테스트 결과를 바로 적용할수 있고, 웹 기반의 인터페이스와 SVN 저장소를 이용하여 다수의 개발자가 쉽게 접근할 수 있는 장점을 갖는다. 본 논문에서는 예제를 이용하여 신뢰도의 분석을 보이고 신뢰도 측정에 유용함을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.250-252
• /
• 2003

현재 무선단말기를 비롯한 많은 내장형 기기에서 자바 플랫폼을 채택하고 있다. 내장형 기기는 제공되는 메모리 용량의 제약으로 인하여 J2ME 플랫폼을 주로 사용하고 있다. J2ME 플랫폼은 CDC와 CLDC 컨피큐레이션으로 나뉘며. CDC는 JAVA 어플리케이션의 수행에 있어서 JVM보다 적은 동적 수행 메모리를 요구하는 CVM을 채택하고 있다. CDC는 CLDC에 비하여 메모리의 제약이 상대적으로 적은 셋탑박스 등과 같은 내장형 기기에서 주로 사용된다. 본 논문에서는 J2ME 플랫폼의 VM중에 하나인 CVM상에서 어플리케이션 수행에 따른 Generational GC의 특성에 대하여 알아본다. 특히 오브젝트의 life time, 가비지 컬렉션 주기 pause time 및 young generation의 크기에 따른 동작 특성을 중점적으로 고찰한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.268-270
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통합 설계에 유리한 언어를 제시한다. 그리고 그 언어의 의미론을 기술하고, SyncCharts라는 정형명세 언어로 그 행위의 의미론을 부여한다. 이렇게 하여 기존의 Statecharts를 실시간 내장형 시스템에 적합하도록 수정하고 그 의미론을 부여한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.271-273
• /
• 2003

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

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

최근 정보통신 기술이 빠르게 발전하면서 생활 환경 안에서 내장형 소프트웨어를 탑재한 독립적인 장치들을 많이 볼 수 있다. 이러한 내장형 장치들은 하드웨어의 특성으로 인해 비기능적인 요구사항이 중요하다. 본 논문에서는 내장형 시스템의 비기능적 요구사항을 기능적 요구사항 중심으로 추출하는 방법을 제안한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.2223-2231
• /
• 2010

최근 자동차, 철도, 선박, 항공기 등 교통수단의 핵심 장치가 CPU가 들어 있는 컴퓨터 제어장치로 전환되어 가고 있는 상황이다. 자동차 사고사례 중 상당 부분의 원인으로 컴퓨터 제어장치에 탑재된 내장형 소프트웨어의 결함이라고 분석한 보고서가 발표되고 있다. 내장형 탑재 소프트웨어에 대하여 결함 제거를 위한 시험이 충분하지 못한데서 문제가 있을 수 있다. 결국 이러한 내장형 소프트웨어의 시험 기준으로 안전성 평가 기준을 철저히 적용하고 이에 적합한 단위테스트 절차를 구축하는 것이 필요하다. 본 논문은 안전성평가 기준에 적합한 내장형 탑재 소프트웨어에 대한 단위테스트 절차에 대한 방안을 제시하는데 그 목적이 있다. 내장형 탑재 소프트웨어에 대한 테스트에는 단위 테스트, 통합테스트, 시스템테스트 등이 있으며, 이중 가장 많은 결함을 발견하는 것은 단위 테스트이다. 본 논문에서는 테스트계획, 테스트절차, 테스트케이스, 테스트시나리오, 테스트 도구, 재테스트 기준 등에 대한 효과적인 단위테스트 준비 과정과 단위테스트를 수행하면서 발생하는 업무, 즉 결함식별, 결함분류, 결함분석, 결함원인, 결함조치 및 확인, 재테스트 실시, 테스트보고 등의 활동을 체계적으로 구축하는 방안을 제시한다. 또한 개발된 내장형 탑재 소프트웨어의 프로그램 소스를 일일이 눈으로 검사하여 결함을 발견하기란 쉽지 않다. 안전성평가 기준이 내장된 테스트 도구를 활용함으로써 내장형 탑재 소프트웨어 단위테스트의 작업시간을 줄이고 결함발견 및 원인분석에 대한 자동화된 보고서를 얻음으로써 테스트 생산성 및 소스코드의 품질 향상을 달성할 수 있는 방안도 아울러 제시한다.

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

내장형 시스템(Embedded System)은 운영체제와 함께 사용자가 원하는 목적과 기능의 응용 프로그램을 내장하여 원하는 작업을 할 수 있도록 해주며, 각종 전자기기들이 디지털화 되면서 각종 기능들을 제어하기 위한 운영체제로서 내장형 운영체제가 주목을 받기 시작하였다. 데스크탑 시스템과 내장형 시스템의 하드웨어 특성과 요구사항은 서로 다르기 때문에 데스크탑 기반의 Unix 운영체제로 널리 쓰이고 있는 GNU/Linux를 내장형 시스템의 운영쳬제로 사용하기 위에서는 여러 가지 운영체제 구성 요소들에 대한 최적화가 뒤따라야 한다. GNU/Linux의 최적화를 위해 고려해 볼 수 있는 다섯 가지 방법을 설명하고, 실례로서 LRP에서 만든 결과를 분석해 보기로 한다.

• 한국정보통신학회논문지
• /
• 제4권4호
• /
• pp.727-738
• /
• 2000

내장형 시스템(Embedded System)은 운영체제와 함께 사용자가 원하는 목적과 기능의 응용프로그램을 내장하여 원하는 작업을 할 수 있도록 해주며, 각종 전자기기들이 디지털화 되면서 각종 기능들을 제어하기위한 운영체제로서 내장형 운영체제가 주목을 반기 시작하였다. 데스크탑 시스템과 내장형 시스템의 하드웨어 특성과 요구사항은 서로 다르기 때문에 데스크탑 기반의 Unix 운영체제로 널리 쓰이고 있는 GNU/Linux를 내장형 시스템의 운영체제로 사용하기 위해서는 여러 가지 운영체제 구성 요소들에 대한 최적화가 뒤따라야 한다. GNU/Linux의 최적화를 위해 고려해 볼 수 있는 다섯 가지 방법을 설명하고, 실례로서 LRP와 ZDISK에서 만든 결과를 분석해 보기로 한다.

• 한국정보통신학회논문지
• /
• 제7권4호
• /
• pp.788-797
• /
• 2003

클래스 라이브러리는 자바가상기계와 더불어 자바실행환경을 이루는 가장 중요한 요소들 중 한가지다. 통신속도나 메모리의 용량 면에서 제한을 받게 되는 내장형 시스템의 특징상 내장형 자바 시스템은 클래스 라이브러리에 대한 의존도가 매우 높다. 따라서 효율적인 내장형 자바 시스템의 구축을 위해서는 클래스 라이브러리에 대한 면밀한 분석이 필수적이다. 본 논문에서는 내장형 자바 시스템을 위한 클래스 라이브러리의 특성에 대해 분석하였다. 즉 라이브러리를 이루는 클래스 구성과, 그 클래스들을 담은 파일의 크기 및 파일 내 주요 요소인 상수풀에 대한 분석을 하였다. 또한 클래스들이 갖고 있는 필드 및 메소드의 개수, 각 메소드들이 필요로 하는 스택과 지역변수배열의 크기, 그리고 각 메소드의 바이트코드 길이 등에 대해 조사하였다. 이 연구의 결과는 내장형 자바 시스템의 클래스 적재에 따른 지연시간 해석, 인스턴스를 만들 때 소요되는 메모리의 크기 예측 등 효율적 내장형 자바가상기계의 설계에 사용될 것이다.