• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.260-263
• /
• 2010

본 논문은 전자제어 시스템들의 소프트웨어의 설계 및 구현 과정에서 나타날 수 있는 의사 전달의 애매모호함을 줄여 요구사항 명세와 구현 시스템 사이의 불일치를 없애기 위한 실시간 제어 소프트웨어의 정형 명세 기법을 제안한다. 실시간 제어 시스템 이론은 미적분학에 바탕을 두고 있는 반면, 실제 동작은 대다수 임베디드 프로세서에 의해 동작함에 따라 제어기의 설계 시 고안된 연속적인 미분 방정식의 이산화 과정을 거쳐 소프트웨어로서 구현이 된다. 이 때, 시스템 설계 엔지니어와 소프트웨어 구현 엔지니어 사이의 이해도의 불일치와 구현 엔지니어의 시스템 이론의 이해 부재로 시스템에 심각한 오류를 야기할 수 있다. 이에 본 논문에서는 이러한 실시간 제어 시스템의 기능 및 동작에 대한 그래픽 기반 정형적 명세 기법을 제안하여 요구사항 명세 과정에서 구현 방식을 구체화하는 방향을 제시한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.5
• /
• pp.875-878
• /
• 2006

In this paper, I design and implement a software streaming server platform which provides a software streaming service to geographically dispersed internet users. Through the use of QALoad, I verify the correct operation of implemented software streaming server platform.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.711-715
• /
• 2002

소프트웨어 위기 극복으로부터 시작한 소프트웨어 공학이 최근 가장 경쟁력 있는 소프트웨어 개발 기술로 지목하고 있는 컴포넌트 기반 개발(CBD; Component Based Development) 기술은 높은 생산성과 고품질의 소프트웨어의 개발을 가능하게 되었다. 소프트웨어 Component를 조립해 새로운 Application을 만들 수가 있어 개발기간을 단축할 수 있으며 기존의 Component를 재사용할 수 있어 생산성과 경제성을 높일 수 있다. 본 논문에서는 특정물품의 주문 관리시스템을 대상으로 하여 컴포넌트기법을 활용 분석, 설계, 구현을 하였다. 분석과 설계는 UML을 활용하였으며, 구현은 EJB를 이용하여 Component를 생성하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.835-837
• /
• 2003

본 논문에서는 DRM 기술을 이용하여 소프트웨어의 저작권 및 라이센스의 관리를 위한 온라인 소프트웨어 유통시스템의 설계 및 구현에 관하여 기술한다. 제안된 방법에 있어서 평문 및 인증서 정보, 그리도 전자서명등은 AES 알고리즘을 사용하여 전송하지만, 라이센스는 사용자의 공개키 방식(RSA알고리즘)을 이용하여 전송되기 때문에 불법 사용자에 의한 라이센스 입수가 원천적으로 봉쇄된다. 또한, 라이센스의 지속적인 관리로 인해 소프트웨어 불법 사용 및 불법 배포에 노출된 소프트웨어의 저작권을 보호하는데 매우 유효하다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.11
• /
• pp.3394-3407
• /
• 2000

오늘날 소프트웨어의 복잡성과 대형화로 유지보수 비용이 증대하고 있다. 이런 이유로 소프트웨어의 품질을 향상시키는 것이 중요한 이슈가 되고 있다. 이에 따라 소프트웨어 공학에서는 소프트웨어품질을 평가하는 방법으로 프로세서의 최종 산출물인 소프트웨어의 소스를 분석하는 방법과 소프트웨어의 생명주기에 따라 그 단계별 산출물을 평가하는 연구가 계속되고 있고, 또한 소프트웨어를 생산하는 전 과정을 일련의 프로세스로 보고 각각의 프로세스를 평가하여 소프트웨어의 품질을 향상시키는 연구도 진행되고 있다. 본 연구에서는 SPICE 모델에 따라서 소프트웨어를 지원, 생산, 공급하는데 관련이 있는 프로세스 범주를 5가지로 분류하고 각 범주에 속한 기본활동의 파라미터인 작업산출물과 ISO/IEC9126 모델의 소프트웨어 품질특성과의 연관성을 찾아서 소프트웨어 품질을 평가하고자 한다. 즉 소프트웨어를 생산하는 프로세서에서 투입 및 산출되는 입출력물들을 평가하여 프로세스 수행과정을 개선 및 변경하는 것이 소프트웨어 품질에 어떤 영향을 미치는가를 보여주는 소프트웨어 제품의 품질을 평가하는 시스템을 설계 및 구현한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1070-1073
• /
• 2013

위성 비행 소프트웨어의 개발 과정에는 소프트웨어의 신뢰성을 향상하기 위한 다양한 검증 활동이 이루어진다. 이러한 검증 활동에는 효율적으로 설계된 검증 환경이 필수적이다. 위성 비행 소프트웨어 개발 전반에 검증 환경을 효과적으로 적용하기 위해서는 사용 가능한 검증 환경이 보다 빠르게 구현되어야 한다. 검증 환경은 개념적으로 궤도 상의 위성과 통신하는 지상 시스템의 역할을 기본으로 하고 있으므로 Command 송신과 Telemetry 수신을 위성 비행소프트웨어와의 상호 작용으로 정의할 수 있다. 따라서 위성 비행소프트웨어의 동작을 Command와 Telemetry 관점에서 모델링하고 이를 모사하는 시스템을 이용함으로써 위성 개발 초기부터 위성 비행 소프트웨어 검증 환경 구현에 사용할 수 있고, 또한 위성 개발 과정에서 발생하는 다양한 변경 사항을 보다 효과적으로 반영할 수 있다. 본 논문에서는 위성 비행 소프트웨어의 검증 환경 구현을 위한 Command Telemetry Simulator의 설계 및 그 구현에 대하여 소개한다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2000.05a
• /
• pp.221-226
• /
• 2000

근래에 들어와서 소프트웨어 개발 방법론에 있어 소프트웨어의 재사용 및 유지보수를 위한 여러 방안이 제시되었다. 이를 위해 분석 및 설계에 초점을 두어 여러 객체 지향적인 개발방안이 나왔는데, 일반적으로 컴포넌트를 기반으로 모형화하고 있으며, 이에 대한 연구가 현재 활발히 진행되고 있다. 본 논문에서는 소프트웨어 개발 과정에서 컴포넌트를 기반으로 소프트웨어 구조를 설계하고, 모형 화하기 위한 도구로 HappyWork을 구현하였으며, 이를 기술하기 위한 언어로 HWL(HappyWork Language)을 만들었다. 우리는 이를 이용해 소프트웨어를 구조적인 차원에서 심도 있게 분석하고 성능을 평가해 보고자 한다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2008.06a
• /
• pp.265-268
• /
• 2008

Lidar(Light Detection and Hanging, Ladar)는 물체에 반사되어 되돌아오는 광학신호를 관측하여 물체와의 거리를 측정하는 센서로 정밀한 3차원 모델 생성 및 도시지역의 변화탐지 등에 효율적으로 적용될 수 있다. 시뮬레이션은 시스템의 동작을 인공적으로 만들어 내고, 이 동작의 실행을 관찰하여 실제 시스템의 특성을 추론하는 일련의 활동으로, 하드웨어의 설계 및 분석, 보완, 성능 평가 등에 효율적으로 이용된다. 본 연구에서는 Lidar 시스템의 원리 및 구조 분석을 통해서 Lidar 데이터를 시뮬레이션하기 위한 소프트웨어를 설계하였다. Lidar의 특성이 시뮬레이션 소프트웨어에 정확하게 구현되도록 하기위해 Lidar 동작과 관련된 내부 및 외부요소를 분석하고 기능에 따라 추상화하여 소프트웨어 모들로 구성하였다. 시스템 내부요소로 송신부 수신부 신호/영상처리부 모델과 외부환경요소로 비행환경 모델, 타겟 모델, 대기 모델을 정의하였다. 또한, Lidar 시스템 실행 중에 발생하는 주요 프로세스를 함수 모듈로 정의함으로서, 모델들 간의 구조적인 관계를 정의하였다. 본 연구의 설계결과는 이후 Lidar시뮬레이션 소프트웨어의 보다 체계적인 구현에 적용될 예정이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.61-63
• /
• 2003

최근 소프트웨어 품질에 대한 관심이 높아짐에 따라 그에 따른 기반 기술들이 요구되고 있다. 산업분야에 있어서도 작업을 수행하는 기계장치의 성능향상을 위해서 소프트웨어가 차지하는 중요성이 점점 증가함에 파라 해당 장치에 대한 성능은 물론 품질에 있어서도 소프트웨어의 중요도가 크게 향상됐다 이러한 시대적 흐름에 따라 산업분야에 있어서 내장형 소프트웨어의 일종인 산업용 소프트웨어에 대한 품질인증.평가체계를 구축하고 이를 활용하여 산업용 소프트웨어 국제표준 적합성 인증 시스템을 설계 구현하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.637-639
• /
• 2001

PDA를 이용한 무선통신 단말의 구성은 이동성, 편리성이 강조되어야 하며, 언제 어디서나 사용자가 원하는 정보를 받아 볼 수 있어야 한다. 이러한 필요성에 의해 정보를 자동으로 다운로드(download)한다면 사용자의 편리성은 더욱 증대될 것이다. 따라서 PDA용 소프트웨어를 개발할 때 필요한 구성요소로서 무선 에이전트(wireless agent)개념을 추가하여 소프트웨어 계층을 구성하면 별도의 소프트웨어 개발단계 없이 무선 에이전트가 추가된 소프트웨어를 쉽게 구성할 수 있다. 본 논문에서는 PDA를 위한 소프트웨어의 에이전트개념을 도입하고 무선이동단말기의 이용효율과 편리성을 극대화하고자 무선 에이전트 클래스를 설계하고 구현하였다.