• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.230-232
• /
• 1999

KOMPSAT(KOrea Multi-Purpose SATEllite) Flight Software[2]의 개발 단계에서 통합 및 시험, 검증 시험을 위해 실제 시스템과 유사한 환경을 제공하는 개발도구로서 STB(Software Test BED)를 개발하였으며 STB 구성중에서 Command/Telemetry (CMD/TLM) 테스트를 위해 개발한 Command Generator / Telemetry Analyzer에 관한 내용을 본 논문에서 설명하고자 한다. 통신간에 사용되는 프로토콜은 [1]에서 언급한 바와 같이 CCSDS 프로토콜을 따르고 모든 관련된 Command 와 Telemetry 형식 또한 [1]에서 언급한 바와 같다. 이 구현된 소프트웨어를 이용하여 Flight Soaftware내의 CMD/TLM 처리 소프트웨어의 기능시험과 검증시험을 수행하였다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.542-543
• /
• 2016

본 논문에서는 소프트웨어의 검증 방법 중 하나인 모형 검사가 컴퓨터 소프트웨어에서 어떻게 활용될 수 있는지 소개하고 테세우스와 미노타우로스 게임을 모형 검사를 활용하여 풀어낸다. 게임의 풀이는 교대 방식 시맨틱스와 병행 방식 시맨틱스의 두 가지 방식으로 해석해 서로 비교한다. 이를 위해서는 모형 검사를 위한 모형을 작성하는 것이 필수이다. 본 논문에서는 모형 검사를 위해 모형을 제작한 경험을 설명한다. 끝으로 각 게임 방식의 풀이 생성에 소요되는 시간을 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.47-52
• /
• 2007

소프트웨어의 유지 보수에 대한 필요성이 커짐에 따라 서로 다른 소프트웨어 사이의 동일성에 대한 검증이 중요한 문제가 되었다. 본 논문에서는 새로운 패러다임을 적용해 변환된 프로그램과 기존의 프로그램 사이의 행위, 기능, 제어 측면의 비교를 통해 두 프로그램 사이의 동일성을 검증하는 방법을 제시한다.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.105-113
• /
• 2009

The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

• ICROS
• /
• v.16 no.2
• /
• pp.26-32
• /
• 2010

주로 이벤트 입력방식으로 이루어지는 차량 바디 분야의 응용 시스템과는 달리 차량 모터 응용 시스템은 실시간 제어가 필요하기 때문에 모터 응용 소프트웨어를 설계하기 위해서는 다른 방법으로 접근해야 한다. 본 연구에서는 AUTOSAR(AUTomotive Open System Architecture) 표준 플랫폼을 이용하여 모터 응용 시스템 소프트웨어를 설계하는 방안을 소개하고자 한다. 대표적인 차량 모터 응용 시스템인 전동식 조향 시스템의 소프트웨어를 AUTOSAR 표준 규격에 준거하여 설계하고 시뮬레이션을 통해 이를 검증한다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2004.07a
• /
• pp.155-160
• /
• 2004

디지털 제품의 기능 다양화 및 복잡화에 따라 제품 개발 주기 내 소프트웨어 개발 및 테스트 조직의 업무 중 30∼40% 이상이 소프트웨어 테스트 업무에 집중하고 있다. 급변하는 소비자 요구사양에 대응하기 위해서는 신제품 개발 주기가 짧아지면서 개발 모델 수와 테스트 항목이 지속적으로 증가하고 있기 때문에 소프트웨어 기본 기능 및 UI (User Interface) 검증에 대한 자동화의 필요성이 대두 되었다. 본 논문에서는 휴대폰, DVDP, PDA에 대한 System Integration 작업을 통해 입출력을 정의하고 Black-Box testing을 구현하여 평균 64%이상의 자동화 율과 기본 Test Spec. 대비 80% 이상의 Test coverage를 확보했으며 많은 장단점을 도출할 수 있었다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.232-236
• /
• 1999

Codesign 방법론은 하드웨어와 소프트웨어가 공존하는 시스템을 설계할 때 이드의 설계를 각각의 특성에 맞는 방법을 사용함으로써 효율적인 디자인방법을 제공한다. 전체 시스템의 동작 및 성능을 검증하기 위해서는 다른 방법으로 개발된 하드웨어와 소프트웨어를 같이 시뮬레이션해야 하는데 이를 통합시뮬레이션(Co-simulation)이라고 한다. 하드웨어와 소프트웨어를 개발하는 방법이 다르기 때문에 야기되는 통합의 문제점을 해결하기 위하여 DEVS(Discrete Event System Specification)에 기반한 중간단계형태를 통한 변환방법론을 제시하고 이를 사용하여 C++ 모델과 Verilog HDL 모델간의 통합시뮬레이션을 구현함으로써 효용을 보이고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.346-348
• /
• 2003

본 논문에서는 2004년 12월 발사 예정인 다목적실용위성 2호의 탑재소프트웨어의 구성과 전반적인 개발 과정 및 개발 환경에 관련된 내용을 서술한다. 다목적실용위성 2호 탑재소프트웨어 개발은 다목적실용 위성 1호 탑재소프트웨어를 근간으로 2호기 요구사양에 따라 요구사양 분석, 설계. 코딩 및 단위 테스트, 통합 테스트와 검증 시험 등을 거쳐 진행되었으며 일련의 모든 개발과정은 국내 연구진에 의해 수행되었다.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.283-286
• /
• 2004

소프트웨어 개발과정에서 사용자 요구사항을 정확히 만족하기 위해서는 사용자 관점에서 요구사항 검증을 위한 방법이 필요하다. 이것은 사용자의 요구사항이 시스템 개발자에게 적절히 반영되어 개발시스템이 보다 더 효과적으로 설계 및 구현이 가능하여 사용자가 요구하는 품질의 소프트웨어 시스템을 구현할 수 있기 때문이다. 본 논문에서는 시스템 구현 전 단계에서 사용자 요구사항을 효율적으로 검증할 수 있는 RV-UI 모델을 제안한다. RV-UI 모델 시스템은 상용화된 사용자 인터페이스를 프로세스별 기능 모델로 표준화하였고, 카노(Kano)의 이원적 품질이론을 적용한 인터페이스를 통해 명확한 사용자 요구사항의 검증과 체계적인 요구사항의 형상관리를 하도록 설계하였다.

• Annual Conference of KIPS
• /
• 2014.04a
• /
• pp.586-589
• /
• 2014

고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 시간과 비용이 오래 걸리는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 자르기 기법[2]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[1] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 83% 줄일 수 있음을 보였다.