• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.213-222
• /
• 2008

The existing approaches for the music application have not considered a real-time multi-tasking model. So, it suffers from a high complexity and a low flexibility in design as well as lack of predictability for the timely execution of critical tasks. In this paper, we design a new concurrent tasking architecture for a real-time embedded music system and examine if all real-time tasks can finish execution within their respective time constraints. The design is implemented on the Linux based Xhyper272 Board that uses the Intel Bulverde microprocessor.

• Annual Conference of KIPS
• /
• 2010.04a
• /
• pp.969-972
• /
• 2010

소프트웨어 제품의 품질을 보장하기 위해서는 제품을 개발하는 단계에 미리 결함율을 예측하여 원하는 수준의 품질을 확보하는 것이 중요하다. 결함은 사용자의 요구사항이 제품으로 구현되고 기능에 대한 테스트가 수행되는 단계에 가장 객관적이며 정량적으로 관리될 수 있다. 따라서 본 논문에서는 통합테스트에 대한 계획을 수립하는 단계에 제품에 대한 결함율을 미리 예측하여 제품 결함율이 조직의 관리범위에 들어올 수 있도록 통제하는 결함예측모델을 제안한다. 조직의 제품 결함율 베이스라인을 설정하고 통합테스트 결함율에 영향을 미치는 변수들과의 회귀분석을 통해 통합테스트 결함예측모형을 구축한다. 또한 제품 결함율에 영향을 미치는 변수들과의 회귀분석을 통해 제품 결함예측모형을 구축하고 결함예측모형을 활용해 제품 결함율을 분석 및 통제한다. 본 논문에서 제안한 결함예측모델은 실제 프로젝트에 적용하여 실효성을 검증하였으며 제품이 완성되기 전에 결함율을 예측하여 통제할 수 있게 함으로써 소프트웨어 품질을 향상한다.

• Annual Conference of KIPS
• /
• 2011.04a
• /
• pp.337-339
• /
• 2011

M&S 기반의 가상환경 설계운영은 자원절약 및 위험성 감소 등 다양한 측면에서 효율성을 지니고 있다. 국방은 현실세계에서 실시하기 어려운 군사작전 시뮬레이션 운영을 위해 국방 M&S 개념을 도입하고, 이를 기반으로 무기체계의 소요도출부터 전력화 단계까지 프로세스 전반에 걸쳐 가상 환경에서의 설계 운영 및 검증을 수행하는 SBA 를 도입하였다. 그러나 모델링 및 시뮬레이션 과정에서 발생되는 고비용, 위험성 등의 문제점은 SBA 도입 효율성에 대한 논란의 요인이 된다. 따라서 SBA 도입 효과를 입증할 수 있는 지표 제시가 요구되며, 이 연구에서는 입증 지표로서 비용, 시간, 품질 및 위험도의 4 가지 요소를 분석한다. 또한 소프트웨어 개발비용 산정의 어려움 및 SBA의 고비용 가능성을 이유로 SBA 에 대한 개발비용 산정의 필요성을 제기한다. SBA 개발비용 산정을 위해 기존에 제시된 소프트웨어 개발비용 산정 모델 적용을 제안하고, COCOMO 모델, Putnam 모델, FP모델, 전문가의 감정 및 델파이 기법 등 소프트웨어 개발비용 산정모델을 기반으로 SBA 개발비용 산정에 적합한 모델을 분석한다.

• Journal of Advanced Navigation Technology
• /
• v.28 no.3
• /
• pp.331-337
• /
• 2024

Mission autonomy system should be embedded on UAV (unmanned aerial vehicle) for mosaic warfare where UAVs autonomously assign tasks to themselves. UxAS (unmanned x-systems autonomy service) proposed by Air force research laboratory is mission autonomy system for unmanned platforms. UxAS has extensible structure composed of numerous module services. We have developed mission autonomy system based on UxAS that performs mission allocation and path planning. In this paper, We present a method of analyzing and evaluating the mission autonomy software according to the performance evaluation index.

• Bulletin of the Korean Space Science Society
• /
• 2006.04a
• /
• pp.95-95
• /
• 2006

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.87.1-87.1
• /
• 2003

• Water for future
• /
• v.37 no.2
• /
• pp.82-89
• /
• 2004

과학적인 유역관리를 위한 모형개발 환경의 구현은 구체적인 방법론의 제시와 더불어 중요한 연구과제이다. 모형개발자들은 개발과정이나 표현과정, 모형의 보정 혹은 구동과정에서 빈번히 반복적이고 시간 소모적인 소프트웨어의 작업을 수행해왔다. 이 과정에서 상당한 시간과 자원의 낭비가 발생되었고, 많은 경우 개발된 모형이 일반화되는데 상당한 장애요인이 되었다. 또한 개발자들 상호간의 상이한 개발환경은 모형의 통합이나 상호검증에 긍정적으로 작용하지 못했다.(중략)

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.30 no.9
• /
• pp.37-45
• /
• 2012

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.227-227
• /
• 2004

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

SAT 문제는 하드웨어/소프트웨어 검증과 모델 체킹 등 다양한 분야에서 유용하게 사용되고 있으나 복잡도가 NP-complete 라는 어려움을 가지고 있다. 다양한 알고리즘과 휴리스틱, 도구들이 개발되었지만 그럼에도 불구하고 해결할 수 없는 hard instance 들이 존재한다. 이 논문에서는 그러한 hard instance를 해결하기 위한 방법의 하나로 model accumulation을 제안한다.