• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.91-93
• /
• 2000

자바는 플랫폼 독립성, 높은 보안 수준, 멀티 쓰레드 지원 등의 다양한 장점을 가진 언어로서 인터넷 응용에서 이제 차세대 내장형 시스템을 위한 실행 환경으로 기대를 모으고 있다. 특히 퍼스널자바는 셋톱박스나 PDA 등의 내장형 응용을 위해 경량화된 자바 가상 기계로서 현재 다양한 운영체제 및 하드웨어에 활발히 이식되고 있다. 본 논문은 내장형 시스템을 위한 플랫폼으로서 내장형 리눅스상에서의 퍼스널자바 수행 환경을 제안하고 그 개발 내용을 기술한다. 내장형 리눅스는 기존 상용 실시간 운영체제에 비해 비용이 매우 저렴하며 소스 코드가 공개되어 있어 다양한 수준의 수정 및 개발이 가능하다는 장점을 가진다. 본 논문에서는 이러한 내장형 리눅스에 퍼스널자바를 이식함에 있어 구축된 개발 환경 및 이식에 적용된 개발 방법과 내용을 소개한다.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.459-466
• /
• 2002

최근의 내장형 시스템은 유연성을 유지하고 시간 제약사항을 만족하기 위해서 일반적인 프로세서와 FPGA와 같은 재구성 가능한 부품을 결합하는 Hybrid 시스템을 사용하는 추세이다. 이러한 내장형 시스템은 구축하는 설계 시간을 단축하여 짧은 시간 안에 시장에 진입하는 것이 아주 중요하다. 새로이 주목받고 있는 연구분야인 설계공간탐색은 실제 시스템을 제작하지 않고도 시스템 수준에서 어플리케이션의 성능을 분석하여 최소의 비용으로 시스템에서 요구하는 제약사항을 만족하는 구조를 예측하는 것을 가능하게 한다. 본 논문에서는 Hybrid 내장형 시스템의 설계공간탐색을 위한 시간분석 시뮬레이터를 선계하고 구현하였다. 시스템 설계변수를 변화하면서 정량적인 성능 데이타를 이용하여 설계공간 탐색을 가능하게 하는 Y-Chart 방법을 Hybrid 시스템의 경우에 적용하여 시뮬레이터를 확장 구현하였으며, 기존의 소프트웨어 시간 분석 도구 및 하드웨어 시간분석도구를 활용한다. 본 논문에서 제시하는 시간분석 시뮬레이터는 Hybrid 내장형 시스템의 설계 비용과 시간을 현저하게 줄이면서, 최적의 하드웨어 구성을 찾는 설계공간탐색의 핵심 모듈로 활용될 것으로 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1813-1816
• /
• 2003

최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목 밭고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상러신 개발이 가능해진다. 이러한 이유로 인하여, 자원이 제한된 내장형 실시간 시스템 개발사용에 적합한 컴포넌트 모델의 필요성이 동시에 증대되고 있다. 따라서, 본 논문에서는 기존에 제안된 내장형 실시간 컴포넌트 보델인 PBO(Port-Based Object) 모델을 내장형 실시간 환경에서 수행되는 자바가상머신에 적합하도록 개선하여 증가된 신뢰성과 감소된 시스템 복잡도를 갖는 자바가상머신 시스템을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.379-381
• /
• 2004

내장형 실시간 시스템은 점차 소형화, 다기능화 하여 그 복잡도가 증가하고 있다. 또한 제약사항이 일반적인 정보시스템 보다 더 까다롭다. 신뢰성 있고 안정적인 내장형 실시간 시스템을 구현하기 위해서 소프트웨어 공학의 적용이 필요하며, 특히 소프트웨어 아키텍처의 적용을 필요로 한다. 이에 본 논문에서는 내장형 실시간 시스템 개발 중 최적의 소프트웨어 아키텍처를 선정하기 위해서 필요한 소프트웨어 아키텍처 평가 절차를 제시한다. 측정기법(Measuring Techniques)과 질문기법(Questioning Techniques)을 혼합하여 분석을 수행한다. 측정기법을 위해서는 실 프로토타이핑(Real Prototyping)을 사용하여 질문기법을 위해서는 체크리스트를 사용한다 이를 통하여 소프트웨어 개발 생명주기의 초기단계에서 이리 목표시스템의 품질을 예측하고 위험을 미리 식별할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.319-322
• /
• 2001

내장형 시스템 개발에 있어서도 복잡해져가는 소프트웨어 구조에 대한 관리 필요성과 개발 프로세스 및 개발된 제품에 대한 신뢰성 요구가 날로 증가되고 있다. 이런 당면 문제를 극복하고자 LG 산전에서는 내장형 시스템 개발에 적합한 소프트웨어 개발 프로세스를 구축 하였다. 본 연구를 통해 인버터 시스템 개발에 구축한 프로세스가 성공적으로 적용되었음을 확인할 수 있었다. 또한 CASE 도구를 통한 시스템 개발에 있어서도 내장형 시스템 개발에 가장 중요한 성능 사양인 시간제약조건의 만족 여부도 확인할 수 있었다.

• 한국산학기술학회논문지
• /
• 제9권2호
• /
• pp.401-414
• /
• 2008

무기체계 내장형 소프트웨어의 품질을 시험하는 것은 무기체계 내장형 소프트웨어의 요구에 부합되는 고품질의 시스템을 구현할 수 있도록 지원하기 위함이다. 일반적인 내장형 소프트웨어에 대한 품질평가 방법론이나 평가기법 등이 개발된 사례가 있으나 엄격한 품질 수준을 요구하는 무기체계 내장형 소프트웨어의 경우에는 아직까지 구체적인 체계가 구축되어 있지 않은 실정이다. 최근 다양한 무기체계 내장형 시스템이 개발되어 활용되고 있으나 품질확보 면에서 많은 노력이 필요한 실정이다. 본 연구에서는 무기체계 내장형 소프트웨어 평가를 위해 ISO/IEC 12119를 근간으로 하여 평가를 수행할 수 있는 평가모델과 품질검사표를 개발하여 무기체계 내장형 소프트웨어 평가에 적용할 수 있도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.34-36
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통할 설계에 유리한 언어를 제시한다. 그리고 그 언어의 특징을 보일 수 있는 프로토콜 예제를 제시하고 기존의 잘 알려진 언어와 비교 분석함으로 실시간 명세 능력을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.400-402
• /
• 2003

복잡하고 특수한 기능을 수행하고 기존의 여러 다른 시스템과 연동해야 하는 내장형 시스템을 저비용 고효율적으로 개발하고 시험 및 평가하기 위해서는 분산 실시간 시뮬레이션 환경이 효과적이다. 또한, 특정한 목적으로 개발된 기존의 이질적인 시뮬레이션 모델들간의 상호호환과 재사용이 요구된다. 이러한 요구 사항을 만족시키고, 내장형 시스템과 시뮬레이션 환경의 연동 및 상호운용의 문제점을 해결하기 위해 HLA(High Level Architecture)기반으로 새로운 시뮬레이션 환경구조, 동작과정 및 운영절차를 제안하고 고찰한다.

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

웹 브라우저를 사용하여 각종 장치에 대한 감시 및 제어를 할 수 있게 하는 내장형 웹 시스템에 대한 관심이 최근 급격히 증가하고 있다. 이 시스템의 핵심인 내장형 웹 서버는 장치에 부속되는 특성상 하드웨어 자원 사용에 큰 제한이 있으며, 고전적인 유닉스 둥의 일반 목적 대형 운영체제가 아니라 한정된 목적의 소형 운영체제상에서 운영된다. 따라서 내장형 웹 서버는 여태까지 연구 되어온 기존의 Desktop 웹 서버에 비해 매우 큰 차이를 보인다. 본 논문에서는 실험적 내장형 웹 서버의 설계 및 구현에 대해 고찰해 본다. 여기서는 특히 x86 계통 시스템에 가장 널리 사용되고 있는 DOS 운영체제 기반의 웹 서버에 대해 연구하였다 DOS가 제공하는 운영체제 서비스 상에서 소규모 다중태스크 실행환경을 구축하였으며, KA9Q NOS의 TCP/IP 프로토콜 스택을 이식하여 인터넷 접속환경을 실현했다. 이 기반 위에서 HTTP 서버를 설치하였으며, 별도의 응용 프로그램과 연동되어 장치에 대한 제어 및 감시가 이루어진다. 실험은 80486DX-2 단일기판 컴퓨터 상에서 이루어졌으며 제한된 하드웨어 자원하에서 매우 우수한 서비스 특성을 나타내는 것을 확인하였다.