• Journal of Aerospace System Engineering
• /
• v.17 no.6
• /
• pp.108-117
• /
• 2023

Thus far, a mission software component of the KT-1 military fixed-wing aircraft for overseas export has been developed through international joint development with foreign companies. The reliability of the software component could be certified by complying with the development environment and procedures of foreign companies based on DO-178B. However, recently, DO-178C certification is required for overseas exports, and reliability tests to comply with the weapon system software development guidelines are required for domestic military forces. In this paper, we describe the problems in obtaining domestic airworthiness certification in the international joint development of a previously developed KT-1 export-typed aircraft system integration project. To this end, we find a solution to comply with both DO-178C and the Weapon System Software Development and Management Manual and provide the optimal software reliability test method.

• Annual Conference of KIPS
• /
• 2021.05a
• /
• pp.55-58
• /
• 2021

우주 네트워크는 고지연성, 저신뢰성 등 기존의 지상 네트워크와는 차별화된 특성을 가진다. 또한 높은 예산이 투입되는 우주 임무 특성상 지상 시험 시 발견되지 않은 소프트웨어 버그가 막대한 비용을 초래할 수 있다. 그러나 현재까지 우주 네트워크 환경에 특화된 소프트웨어 업데이트 관련 연구는 부족한 실정이다. 따라서 본 연구에서는 Asynchronous Management Protocol(AMP)을 기반으로 원격 소프트웨어 업데이트 프레임워크를 새롭게 제안한다. 해당 프레임워크는 Interplanetary Overlay Network(ION) 소프트웨어를 사용하여 프로토타입을 구현하였으며, 실제 업데이트 케이스를 적용하여 기능 및 실사용성을 검증하였다.

• Journal of Energy Engineering
• /
• v.8 no.2
• /
• pp.213-223
• /
• 1999

In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

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

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

• Venture DIGEST
• /
• s.118
• /
• pp.12-15
• /
• 2008

1988년 설립된 TTA(한국정보통신기술협회 회장 김원식, www.tta.or.kr)는 정보통신 분야의 표준화 및 시험인증 서비스를 제공하는 기관으로 융합시대를 대비한 다양한 표준을 제정∙보급하고 있으며 GS(우수국산 소프트웨어) 인증을 비롯한 네트워크, SW, 디지털방송, 이동통신에 대해 영역별 인증 서비스를 제공하고 있다. 특히 시험환경을 갖추지 못한 중소 개발업체를 위한 개방시험실(Open Lab) 운영 및 시험기술지원(Pre-test) 서비스, 테스트베드 서비스 등을 지원하고 있다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.196-198
• /
• 1991

분산 시스팀 환경하에서 여러 다양한 구성요소사이의 상호작용과 통신을 관장하는 규칙들인 프로토콜을 설계하는데 있어서 컴퓨터 과학 및 공학 영역의 형식방법과 소프트웨어 공학기법이 적용되고 있다. 그 결과로서 새로운 영역인 프로토콜 공학(Protocol Engineering)의 중요성이 점차 대두되고 있다. 본 연구에서는 프로토콜 공학 사이클(프로토콜과 서비스 명세, 프로토콜 검정과 검증, 프로토콜 종합, 프로토콜 변환, 성능 평가, 자동 구현, 그리고 적합성 시험) 중에서 적합성시섬 즉, 적합성 시험언어인 TTCN(Tree and Tabular Combined Notation) 특성, 시험시나리오, 그리고 추상적 시험 시나리오를 수행하는 시험언어 번역기(TTCN2C)에 관해서 논하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.47-51
• /
• 2002

전 규모에서 소규모에 이르는 MMIS(Man Machine Interface System) 모사설비는 실제의 원자력발전소에 사용될 MMIS를 응용 소프트웨어로 구동되는 모사환경을 통하여 사전에 시험 및 검증할 목적으로 사용된다. 기존의 MMIS 모사설비 개발은 잘 정의된 개발 프로세스에 기반을 두지 않고 프로젝트 관리자 또는 개발 담당자의 경험과 직관에 의존하여 수행되었다. 이로 인하여 MMIS 모사설비의 개발 일정이 지연되거나 개발의 결과가 초기목표를 만족하지 못하는 불만족 사항이 나타났다. 본 연구는 MMIS 모사설비의 응용 소프트웨어 개발을 위한 프로세스를 정의하고 이에 따라 설비개발을 진행하였다. 개발 프로세서는 계획 단계, 설계 및 구현단계, 시험단계의 세 부분으로 구성하였다. 본 논문에서는 MMIS 모사설비에 요구되는 일반적인 성능특성요건과 개발공정요건을 살펴보고, 본 연구가 정립한 응용 소프트웨어 개발의 프로세스 및 각 프로세서에서의 공정활동을 제시한다.

• 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 Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.504-506
• /
• 2000

대표적 분산 미들웨어인 OMG CORBA 는 이질적인 하드웨어와 소프트웨어가 다양한 매체를 통해 네트워크로 연결된 분산 컴퓨팅 환경에서 객체 지향적 시스템을 통합 기반 환경을 제공한다. 그러나 CORBA를 구현한 상용이나 연구용 제품은 CORBA 규격을 정의된 대로 지원하지 않아 OMG에서 CORBA를 통해 성취하려고 하는 중요한 목표인 상호운용성과 이식성 보장되지 못하는 결과를 야기하고 있다. 이러한 문제의 해결은 CORBA 규격 준수 여부를 시험하는 시험 도구를 필요로 한다. CORBA 규격 시험 도구는 규격에 정의된 API 등을 시험하기 위한 많은 분산 시험사례와 이들의 실행을 자동으로 제어해 줄 수 있는 실행제어기가 기본적으로 필요하다. 본 논문은 CORBA 규격 시험을 위한 분산 시험사례를 자동으로 실행시키는 분산 시험사례 제어기의 설계와 구현에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.526-528
• /
• 2003

컴퓨터 네트워크 발달로 다양한 통신 장비와 소프트웨어가 여러 제조업체에서 생산되고 있다. 그리하여 이들 서로 다른 구현물들의 적합성과 상호 운용성을 확인하는데 많은 시간과 비용이 소모되고 있다. 또한 장비 제조업체가 제공한 성능 결과는 제조사가 임의적으로 선정한 지표에 대한 측정값이므로 장비의 구매자와 사용자에게 혼돈을 줄 수 있다. 따라서 본 논문에서는 표준화된 시험 방법을 수행하기 위한 시험 지표와 시험 환경을 제시한다. 이는 장비 도입 시 기능과 성능 시험에 대한 유용한 분석 방안을 제공하고 분석에 소요되는 비용 절감 효과를 줄것이다.