• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권8호
• /
• pp.533-544
• /
• 2014

임베디드 분야를 비롯하여 거의 모든 산업 분야에 하드웨어를 기반으로 소프트웨어 탑재가 이루어지고 있다. 이에 제품의 품질 관리가 갈수록 중요해짐에 따라, 많은 기업이 품질 비용에 많은 지출을 하고 있다. 그러나 국내 기업의 경우 품질 저하 예방 비용보다는 품질 미달로 인한 문제 해결에 많은 비용을 쓰고 있어, 품질 저하 예방 비용의 효과적 집행을 위한 지속적인 개선이 필요한 상황이다. 이를 위해 정량적 품질 관리에 대한 관심이 증대되고 있으나, 정량적 품질 관리 활동은 프로세스 성숙도 모델에서 통계적 기법의 활용을 요구하는 레벨 4, 5에 속하는 고수준의 프로세스 활동으로 통계적 품질 관리 활동의 이행이 필수적이다. 이와 같은 현실을 반영하여 본 논문에서는 TMMi 레벨 5 프로세스 영역 중 품질관리(Quality Control) 프로세스 구축 방안을 소개하여 고수준의 통계적 품질 관리 프로세스 구축에 도움이 되고자 한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권3호
• /
• pp.141-152
• /
• 2007

본 논문에서 우리는 ELOS(Embedded Lightweight Operating System)라 불리는 이벤트 기반의 운영체제와 멀티흡 에드혹 라우팅 프로토콜로 구성된 네트워크 기반의 소형 실시간 시스템의 구조를 제시한다. 효율적인 실시간 프로세싱을 위하여 보장된 시간 슬롯을 가진 조건적 선점형 FCFS 스케줄러가 개발되었다. 보다 정교한 네트워크 구성을 위하여 무선 에이전트 노드를 통한 반자동 구성(semi-auto configuration) 방식을 사용한다. 개발된 소프트웨어 시스템은 자체 개발한 소형 하드웨어 프로토타입에서 구현되었다. 또한, 제안된 시스템의 성능을 평가하기 위해서, 우리는 유비쿼터스 네트워크 테스트 베드를 개발했고, 다양한 환경에서의 실험이 이루어 졌다. 실험 결과를 통하여 제안된 ELOS 시스템은 실시간 제약을 가진 네트워크 기반의 소형 유비쿼터스 시스템에 상당히 알맞은 시스템이라는 것을 확인한다.

• 정보처리학회논문지A
• /
• 제16A권3호
• /
• pp.159-168
• /
• 2009

본 논문에서는 데스크탑과 같이 OpenGL 기능이 전용 하드웨어로 제공되는 환경을 대상으로, OpenGL ES 1.1 표준을 효율적으로 구현하는 방법을 제시한다. OpenGL ES는 기존의 OpenGL 표준을 바탕으로 하였지만, 고정소수점 연산, 이를 수용하는 버퍼 기능, 완전히 새로운 텍스처 처리 등의 도입으로, 임베디드 시스템에 특화된 3차원 그래픽스 라이브러리로 새롭게 제정되어, 구글 안드로이드, 애플 아이폰, 플레이스테이션3 등에서 공식 3차원 그래픽스 API로 채택되었다. 본 논문에서는 OpenGL ES의 특징적 자료형인 고정소수점 표현에 대한 산술 연산들을 개선하였고, 특히 고정소수점 자료형들을 부동소수점 형태로 변환하여 하위의 OpenGL API로 넘기는 과정에서 표준을 준수하면서도 효율적인 처리가 가능하도록 하였다. 새로 도입된 고정소수점 자료형을 허용하는 버퍼 기능에 대해서는 변환된 자료들을 별도의 메모리 공간에서 관리하는 방식으로 속도 향상에 중점을 두었으며, 요구 사항이 완전히 달라진 텍스처 처리 부분은 전체 기능을 별도의 소프트웨어로 완전히 새롭게 구현하였다. 최종 구현 결과인 OpenGL ES 라이브러리는 OpenGL ES 1.1 표준에 규정된 총 200여 함수를 제공하며, 표준인증 테스트를 완전히 통과하여 1.1 표준을 완벽히 만족시켰음을 보였다. 수행 속도 면에서는 OpenGL ES에 특화된 응용 프로그램들에 대한 처리 속도 측정에서 기존의 구현 사례들에 비해 최대 33.147배의 속도 향상을 가져왔으며, 동일한 범주의 구현 사례들 중에서 가장 빠른 구현 결과이다.