• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권5호
• /
• pp.203-208
• /
• 2013

스마트폰이 널리 사용됨에 따라 이에 탑재되는 어플리케이션이 점차 고도화 되고 있다. 일면 하드웨어의 성능이 소프트웨어의 요구사항을 능가한 모습도 보이는 Personal Computer와는 달리 스마트폰의 경우 보다 얇은 것을 추구하는 디자인적 한계점과 여타 하드웨어에 비해 더딘 발전 속도를 보이는 배터리에 의해 저전력을 추구해야 한다는 한계점으로 인해 하드웨어의 성능이 소프트웨어의 요구사항을 충족시키지 못하는 모습이다. 이를 보완하기 위한 대표적인 기술로 연산 오프로딩이 각광받고 있다. 하지만, 확실히 성능 및 전력 소모에 있어서 이점을 가져다준다는 연구에도 불구하고 오프로딩은 현재 널리 사용되는 기술이 아니다. 이는 기존 오프로딩 프레임워크는 어플리케이션 개발자가 사용하기에 난해한 점이 있기 때문이다. 따라서 본 연구는 어플리케이션 개발자 친화적인 오프로딩 프레임워크인 SorMob을 소개한다. SorMob은 안드로이드 상에서 동작하며, Aspect Oriented Programming 개념을 차용하여 개발자 친화적인 환경을 구축할 수 있었으며 실험을 통해 기존의 오프로딩 프레임워크에 뒤떨어지지 않는 성능을 가지고 있음을 확인할 수 있었다.

• 한국정보전자통신기술학회논문지
• /
• 제11권3호
• /
• pp.215-220
• /
• 2018

중견/중소 IT기업의 사업 수행 기회 증대, 기회 균등과 역량 강화라는 취지로 소프트웨어(SW)산업진흥법 개정으로 공공정보화시장에 대기업 참여를 제한되었다. 이러한 환경에서의 중견/중소 SW기업들의 사업을 수행하면서 발생한 사업 수행 역량 미흡으로 공공정보화사업의 품질저하, 위험관리 미숙, 일정관리 저하 등 여러 문제점을 발생시키고 있다. 이를 해결하기 위해 본 논문은 시스템통합 사업 수행 시 품질 저하 요인을 도출하였으며, 이를 해결하기 위한 방안으로 VISUALIZATION, 엄격한 시험관리, Agile방법론의 일부 활동을 적용하여 프로젝트를 수행하는 것을 제안했다. 이러한 방안을 중견/중소 IT기업이 개발한 보건의료 IT 프로젝트에 적용한 결과 의사소통의 개선, 수치화된 진척관리 및 프로젝트의 가시성이 개선되었다. 또한, 결함 해결시간 최소화, 요구사항 커리리지 비율 개선, 불필요한 회의시간이 단축이 되어 품질 향상에 기여하였습니다.

• 한국항공우주학회지
• /
• 제32권4호
• /
• pp.95-100
• /
• 2004

본 논문에서는 기계적 링키지의 가역 (Reversible) 비행조종장치를 갖는 항공기익 조종간 조종력 재현 시스템 (CLS : Control Loading System) 개발을 목적으로 조종력 재현 장치 제어기 설계, 시스템 구성, 조종력 재현 장치 운용 환경을 구축하고 시험평가를 수행한 내용을 기술한다. 시스템 구성은 기계적인 외형부분과 힘을 측정하는 센서부분과 스틱에서의 반력을 재현하는 모터부분과 안전장치로 되어 있다. 하드웨어와 PC간의 입출력 신호 연결 및 제이기로 dSpace 사의 DS1103 DSP장치를 사용하였다. 대상항공기 (KT-1)의 비행 조종장치 모델링을 바탕으로 피치축과 롤축에 대한 CLS를 구성하고, 조종력 재현장치 제어법칙 설계와 모니터링 S/W 및 실시간 시험평가도구를 포함한 시험평가 및 운용환경 대해 기술하였다. 정적 및 동적시험을 수행하여 실제 대상항공기 데이터와 비교함으로써 개발한 시스템을 검증하였다.

• 디지털콘텐츠학회 논문지
• /
• 제13권3호
• /
• pp.359-371
• /
• 2012

최근 커피 시장의 규모는 급속도로 커지고 커피 산업도 빠르게 성장하고 있다. 그 결과 커피 교육 기관이 다양한 형태로 급증하고 있으나 대부분의 수업이 실습에 편중되어 있는 경우가 많아 이론 수업의 기틀을 마련하고 커피 교육을 학문으로 체계화 하는 노력이 필요하다. 이에 커피 교육에 관한 연구 조사 및 커피 교사 학습자의 요구 분석을 토대로 교육용 디지털 콘텐츠를 제작하였다. 기존의 교육용 콘텐츠와는 차별화하여 명확한 교수 학습 방법, 교수 전략을 개발한 후 시행하였다. 또한 전문적인 시각 언어를 바탕으로 커피 추출 시 일어나는 물리적 화학적 현상을 3D 애니메이션 프로그램으로 시뮬레이션 하였다. 즉, 본 연구의 교육용 콘텐츠 제작의 전반적인 과정은 현장 교사 학습자의 요구조사, 교육학 전공자의 교수전략, 콘텐츠 제작자의 상호연계에 의해 이뤄졌다. 본 콘텐츠를 커피 원리에 대한 이론 수업에 적용한 결과 학습자의 집중도, 흥미성 및 학습 동기 유발에 효과적이었다. 교사들은 과학적 현상에 대한 학습자의 이해에 긍정적인 영향을 끼치는 것으로 평가하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.523-530
• /
• 2009

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.433-442
• /
• 2011

소프트웨어의 규모가 커지고 다양해짐에 따라 고객이 원하는 요구사항을 정확하게 이해하여 표현하는 것의 중요성이 강조되고 있다. 특히 개발 초기에 요구사항은 추상적이고 개념적이기 때문에 핵심적인 시스템의 요구사항을 도출해서 명세하는 작업은 쉬운 일이 아니다. 기술적인 측면에서 이론적으로 다양한 분석과 검증기법이 소개되고 있지만 실무적으로는 요구사항을 명확하게 도출하기 힘들다. 본 논문에서는 고객이 원하는 요구사항을 명확하게 도출하기 위해, 텍스트언어학(textlinguistics)의 거시구조 개념을 이용한다. 먼저, 서술적으로 명세 된 요구사항을 텍스트언어학(textlinguistics)의 거시구조로 분석하였고 다음으로 거시규칙을 적용하여 거시명제를 도출하여 요구사항을 명확히 정의하도록 하였다. 마지막으로 도출된 거시명제를 이용하여 Use-case Model로 문서화하는 방법을 제시하도록 한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.489-497
• /
• 1999

국내의 ATM 기술은 대부분 교환기 시스템 개발에 집중되어 있었고 최근에는ATM 서비스 분야에 대한 개발 요구가 있다. 이러한 가운데 Internet 서비스는 데이타 망의 기본 서비스로 자리잡았으며, ATM망도 기본적으로 Internet 서비스를 지원하여야 한다. IETF의 IPOA (Classical IP and ARP over ATM)는 국내 망 여건 및 구현의 용이성으로 Internet 서비스를 위한 프로토콜중 가장 선호 대상이지만 RFC사양의 허술함, 구현자의 사양에 대한 이해 부족과 초기 외산 장비 제조 업체들의 자체 사양때문에 기존의 IPOA장비들과 상호 운용 시험에서 후발 IPOA 개발자는 시행착오를 겪어야만 한다. 본 논문에서는 기존 외산 IPOA 장비들과 자체 개발한 장비와 상호 운용 시험을 수행하면서 겪은 사례 연구를 정리하였고 이를 기초로 기존의 외산 IPOA와 상호 운용할 수 있는 최종 요구 사항을 제시하였다. 본 논문을 기초로 IPOA 장비를 개발한다면 국내 후발 ATM 장비 업체는 개발의 시간 및 노력을 줄일 수 있고 향후 IP/ATM 국내 기술력 향상에 도움이 될 것이다.Abstract While we have been focusing on development of ATM switching systems, recently the demand on service by use of ATM switching system is increasing rapidly. Among various ATM services, the Internet service should be provided in an ATM network since the Internet service has been the basic data service. Many domestic engineers consider the classical IP and ARP over ATM (IPOA) to be an appropriate method for interworking of IP and ATM because the IP is the network protocol used in most domestic data networks, and the IPOA is simpler and has less overhead than other approaches. However, it is not easy for a developer to implement the IPOA function module interoperable with other existing ones due to the incomplete description of IETF's RFC specifications, misunderstanding of designer and/or developer, and incompatible vendors' specifications. In this paper, we show several case studies undertaken for interoperability tests of IPOA products between our product and other vendor's products, and discuss the implementation requirement of the IPOA software to be interoperable with the existing IPOA equipment.The design and implementation requirements presented in this paper will reduce the effort of IPOA-developing engineers and time required for interoperability test. Also, this contribution will be helpful in IP/ATM interworking areas.

• 한국시뮬레이션학회논문지
• /
• 제21권3호
• /
• pp.25-33
• /
• 2012

Ptak과 Smith는 2011년 올리키의 MRP 3판을 통하여 TOC 재보충방식을 기반으로 기존 MRP 방식에 의한 재고관리의 문제점을 오늘날 급변하는 수요중심의 시장 상황에 대응할 수 있도록 발전시킨 수요 대응형 MRP 방법론을 제시하였다. TOC 재보충방식은 목표재고수준을 기준으로 재고 가용성을 유지하여 급격한 변화에 따른 혼란을 흡수하면서 수요량에 연동하여 목표재고수준을 조정하는 수요대응형 MRP의 기본이 되는 재고관리 방식이다. 본 연구에서는 Vensim 시스템 다이내믹스 시뮬레이터를 활용하여 적정 목표재고 수준을 관리하고자 할 때 적정한 목표재고수준 결정을 위한 기준 공식 및 절차를 예시하고, 임의 수요를 발생시켜 TOC 재보충방식의 목표재고수준 모형별 운영 결과 비교 검증을 통하여 모델의 효용성을 비교 검토하였다. 향후에는 기존의 MRP에 의한 재고관리 방식과 수요 대응형 MRP에 의한 재고관리 방식 운영결과의 차이를 실제 기업의 데이터를 활용하여 시뮬레이션 할 수 있도록 모델을 확대 적용할 예정이다.

• 비파괴검사학회지
• /
• 제22권1호
• /
• pp.14-21
• /
• 2002

피로균열 성장거동 관찰을 위한 새로운 실험 방법의 개발이 필요하다. 이러한 요구를 만족시키기 위해서 본 연구에서는 영상처리기법을 피로시험에 도입하였으며, 영상처리시스템을 이용하여 표면피로균열길이를 측정하였다. 먼저 주기적으로 시험하중을 멈추는 동안 균열영상 데이터를 컴퓨터에 저장시켰다. 시험이 끝난 후에는 본 연구진에서 개발한 영상처리 소프트웨어를 사용하여 균열길이를 측정하였으며, 이를 위하여 블록매칭방법을 포함한 다양한 영상처리 기법을 적용하였다. 영상처리시스템으로 측정한 데이터와 현미경을 이용하여 수동으로 측정한 데이터를 비교하여 영상처리시스템의 유효성을 검증하였다. 만약 본 연구에서 제안한 방법을 균열성장거동을 자동적으로 관찰하거나 모니터 하는데 사용한다면 피로시험에 소요되는 시간과 노동력을 현격히 줄일 수 있다.