• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.263-266
• /
• 2005

다중센서데이터 융합시스템(MSDFS)은 여러 센서로부터 획득된 이질의 데이터를 정규화된 포맷으로 융합하고 단일 센서에서의 획득오차를 최소한으로 줄여 표적의 정확한 식별 및 판단을 지원하는 시스템이다. 이 시스템들은 고유의 기능을 수행하는 모듈들에 대한 고수준의 재사용성을 요구하므로, 현재의 소프트웨어공학 기법을 적용시 공통부분에 대한 효율적 설계가 어렵다. 따라서 본 논문에서는 시스템 개발에 이러한 비효율적인 요소를 제거하는 제품-계열 개발방법론을 MSDFS의 임베디드 소프트웨어 설계에 적용한다. 이를 위해 분석 대상에 대한 영역지정에서부터 재사용가능한 컴포넌트의 식별까지 설계 하며, 마지막으로 설계된 모델에 대한 검증을 위해 GQM 패러다임을 적용한다. 또한 산출물에 대한 성능평가 기준을 제시하여 시스템 개발을 효과적으로 향상시킬 수 있는 방안을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1991.04a
• /
• pp.256-269
• /
• 1991

컴퓨터 통합 생산(Computer Integrated Manufacturing, CIM) 기술은 재래적 개념으로 생산의 3대 요소인 토지(Land), 노동(Labor), 자본(Capital)이외에 정보(Information)의 요소를 추가로 활용하여 설계, 가공과 조립, 검사, 저장 및 운반, 그리고 생산 관리간의 정보교환을 통합적으로 제어, 응용함으로써 전 생산 공정의 컴퓨터를 통한 자동화를 구현한 이래 총체적 최적 생산을 추구하는 생산 형태로 서 종래의 개념으로서는 양립된 생산성(Productivity)과 유연성(Flexibility)을 동시에 얻고자 하는 첨단 생산 기술이다. 본 연구에서는 나름대로의 전략을 수립 하여 어느정도 보편화 되어있는 기기들의 공정 제어(Process Control)및 통신에 관해 연구하고 이를 구현하는 소프트웨어를 제작하고 실험을 거쳐 검증하려 한다. 초기 단계에서는 퍼스널 컴퓨터 (Personal Computer, PC)상에서 프로그램의 실험을 하고 이를 바탕으로 다중작업 오퍼레이팅 시스템(Multi-Task Operating System)으로 의 전이를 꾀할 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.4-6
• /
• 2002

최근 소프트웨어 산업에서는 개발 기간의 지연, 비용 증대와 같은 위험관리를 하기 위한 방법으로, SPI 전략이 활발히 진행되고 있다. 사실표준인 CMM이나 국제표준인 SPICE 등이 SPI의 참조적인 모델로 사용된다. 그러나 이들 모델은 특정환경을 가진 소프트웨어 개발 조직에 대한 품질 개선을 위해서 필요한 구체적인 개선 절차와 방법을 기술하고있지 않다. 특히 SPI를 위해서 SPA가 선행되는 경우가 많은데, 효율적인 SPA를 위해서는 심사절차에 대한 정형화가 필요하며 이를 통하여 심사의 일관성을 유지할 수가 있다. 본 논문에서는 심사의 정형화를 위해 SPA의 각 단계들을 UML을 사용하여 표현하고, 모델의 신뢰성을 ISO/IEC 9126의 6가지 품질 특성의 테두리 안에서 검증하고자 한다. 또한 결함들(Defect)간에 연관성을 분석하여, SPA의 등급평가 절차에서 사용되도록 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.1-3
• /
• 2002

최근 S/W관련 산업계에서는 조직의 프로세스 개선 요구가 증대되고 있다. 이는 수준 높은 소프트웨어의 품질과 개발, 유지 보수 비용의 최소화, 제품 출하시간의 단축을 위하여 소프트웨어 프로세스에 대한 예측, 통재 가능성을 증가시키기 위함이다. 따라서 SPICE / CMM와 같은 표준을 사용하여 조직의 프로세스 능력 수준을 평가하고 수준향상을 꾀하고, 기업이 최고도의 높은수준에 도달하기 위해서는 조직의 비젼에 대응한 정량적인 모델에 의한 프로젝트 관리가 필요하다. 본 논문에서는 목표기반 (GQM) 방법을 도입하여 소프트 웨어 프로세스 개선 (SPI)을 추진하고, 경험공장(EF)를 구축하는 기반이 되는 프로젝트 정보 구축 모델을 설계하고 이 과정의 방법론과 모델을 UML로 표현하여 검증하고, 사례연구를 통한 모델의 신뢰성을 확인하고자 한다. 목표기반 방법을 사용하여 조직의 목표를 도출해 내고, 구축된 조직의 목표를 SPA에서 나온 개선사항에 프로젝트의 목표로 투영하여 조직전체의 프로세스가 조직의 목표에 맞추어 나아감으로서, 조직의 프로세스 개선과 최적화를 성취할 수 있게 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.379-381
• /
• 2001

본 논문에서는 가입자함의 광대역화 밀 고속화를 실현하는 방안으로 개발되고 있는 광대역 무선가입자망(B-WLL) 시스템 기지국장치의 MAC 프로토콜을 설계하고 구현하였다. MAC 프로토콜은 제한된 무선자원을 효율적으로 사용하기 위한 프로토콜로서 , 무선매체를 이용하여 통신서비스를 제공하는 시스템에 필수적이다. 본 논문에서 설계한 기지국장치 MAC 프로토콜은 실시간처리부, 타이밍관련처리부, MPEG2-TS 관련처리부. 그리고 CRC 처리부를 하드웨어로 설계하고. 이론 제어하고 MAC 프로토콜 동작절차를 수행하는 부분을 MAC 프로토콜 소프트웨어를 설계하였다. MAC 소프트웨어는 MAC 응용부 Network 인터페이스부, 콘솔입출력 처리부로 나누어 설계하였으며, 본 논문에서 설계된 기지국장치 MAC 프로토플은 향후. B-WLL 시스템의 실제 테스트베드로 이용하여 시스템의 전체적인 성능을 검증할 수 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2008.06a
• /
• pp.251-255
• /
• 2008

최근 모바일 시스템의 성능이 향상되면서 다양한 형태의 동적인 메뉴 구성과, 메일 및 이차원 지도 등의 표현에 벡터 그래픽을 도입하고 있다. 모바일 기기에서 사용되는 벡터 그래픽 처리 기술은 Flash Lite, SVG(Scalable Vector Graphics)등이 널리 사용되고 있는데 두 가지 모두 소프트웨어 방식으로 사용되고 있다. 매크로미디어사의 Flash Lite는 연산에 많은 메모리를 필요로 하고, SVG는 웹 표준에 맞춘 스크립트 해석 기반으로 구동 속도가 느리다. 모바일 컴퓨팅 환경에서 벡터 그래픽스에 대한 필요성과 사용빈도가 증가함에 따라 메모리를 적게 사용하고 하드웨어 가속기를 지원 할 수 있도록 저 수준의 API(Application Programming Interface)인 OpenVG 1.0을 크로노스 그룹(Khronos Group)에서 제정하였다. 본 논문은 모바일 사용 환경에 맞추어 사용될 수 있도록 OpenVG 1.0에 기반한 API를 구현하고 실험하였다. 구현된 API는 느린 소프트웨어의 한계를 벗어나기 위해 하드웨어 가속기 설계에 적합하도록 각각의 API 블록 및 형태를 하드웨어 파이프라인 형태의 관점에서 설계하였고, 구현된 API를 윈도우즈 환경에서 기능을 검증하였다.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.983-990
• /
• 2003

Developing a component-bassed software requires verified and standardized software components. This paper presents and approach to build conponent quality assurance process based on process patterns. To describe process patterns, a metamodel is suggested and several process for software components. The process pattern approach was applied to real projects and its advantages and disadvantages are discussed.

• Journal of KIISE:Software and Applications
• /
• v.28 no.4
• /
• pp.317-326
• /
• 2001

본 논문에서는 교환기와 같은 실시간 분산 시스템의 개발을 위한 SDL과 CHILL에 기반한 통합 소프트웨어 개발 방법이 제시된다. 이미 다양한 분야에서 SDL과 CHILL의 도구들이 각각 개발되어 왔지만, 본 논문에서는 이들을 통합할 수 있도록 SDL에서 CHILL로의 자동 코드 생성과 심벌 디버깅 환경에 중점을 둔다. 이는 완벽한 수행과 심벌 추적 정보의 삽입을 위한 자동 코드 생성 단계와 SDL 심벌 디버거와 CHILL 시험 환경을 이용한 실시간 심벌 디버깅 단계로 이루어지며, 첫째 SDL에 기반한 정형명세, 둘째 설계의 검증과 확인, 셋째 자동 코드 생성, 넷째 분산된 실시간 병행 CHILL 프로그램의 디버깅, 그리고 마지막으로 응용 프로그램의 CHILL에 기반한 호스트 통합 시험을 제공한다.

• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• pp.787-788
• /
• 2006

본 논문에서는 적응적 재구성 필터를 이용한 심전도 신호의 잡음제거 알고리즘을 개발하고 이를 임베디드 보드 상에서 구현하였다. 구현된 시스템의 검증을 위해, 제안된 알고리즘은 PC 상에서 소프트웨어만으로 구현했을 때와 적응적 재구성 필터를 소프트웨어와 FPGA 로 구현했을 때의 실행시간 및 잡음제거 성능을 비교하였다. 실험결과 FPGA 상에서 구현된 시스템은 PC 상에서 구현된 프로그램과 비교하여 동일 잡음제거 성능을 가질 때 약 5배정도의 실행시간 향상을 보였다.