• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06d
• /
• pp.318-321
• /
• 2008

현재의 소프트웨어 개발은 구현 중심의 개발에서 설계 중심의 개발로 바뀌고 있다. 설계 중심의 개발은 구현 프로그램의 시스템 개발 시간을 크게 단축할 수 있고, 정형화된 명세를 검증함으로써 설계와 구현의 일관성을 유지할 수 있으며 유지 보수가 효율적이다. 이러한 설계 중심의 개발에 있어서 SDL(Specification and Description Language)은 표준으로 재정된 기술을 구현하는데 있어 어떠한 기준 명세라 할 수 있다. 하지만 이러한 SDL도 대다수의 사람이 쉽게 알아보기에는 어려움이 있기 때문에 좀 더 높은 범용성을 위해 본 논문에서는 엔지니어들이 보편적으로 많이 사용하는 언어인 c언어를 이용해 SDL을 직접적으로 구현 해 보았는데 점점 더 발전해가는 Wireless LAN의 표준인 IEEE 802.11의 spec에 명시되어 있는 SDL을 기반으로 MAC 부분을 구현하였다.

• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.2075-2078
• /
• 2002

최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목받고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상머신 개발이 가능해진다. 이러한 이유로 인하여, 컴포넌트기반 내장형 실시간 시스템을 효과적이고 체계적으로 개발하고 검증하기 위한 개발 툴셋의 중요성도 동시에 증대되고 있다. 따라서 본 논문에서는 PBO(Port-Based Object) 모델을 확장하여 자바가상머신 컴포넌트들을 툴셋에서 제공하는 구성 툴에 의해 조립과 검사를 수행하며, 빠르게 재사용성과 신뢰성을 지원하는 자바가상머신을 개발할 수 있는 환경를 제안한다.

• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.1925-1928
• /
• 2002

소프트웨어에 대한 고객의 요구수준이 점점 높아지고 복잡, 대형화됨에 따라 개발인력, 예산, 기간 등 많은 개발 자원이 소요되는 추세이지만, 개발자 직관에 의한 정성적인 판단으로 소요자원의 과부족을 초래하는 원인이 되고 있다. 본 논문에서는 요구분석 단계에서 기존의 정성적 판단에 따른 문제점을 보완하기 위해 요구분석 프로세스를 수정/제안하고, 의사결정기법을 이용하여 요구사항을 정량적으로 분석하고 식별할 수 있는 방법을 제안하였다. 이를 위해 사용자 요구분석 프로세스 검증단계에서 요구사항 평가활동을 추가하고, 의사결정 모델을 이용한 요구사항 가중치 계산, 시스템 기능과의 관련성 평가, 중요도 가중치를 계산하여 요구사항에 대한 식별의 기준으로 삼는다.

• Journal of the military operations research society of Korea
• /
• v.35 no.1
• /
• pp.95-103
• /
• 2009

HLA is the IEEE 1516 standard for the interoperation among heterogeneous simulations and RTI is a technology which provides a lower infrastructure service to interoperation. In this paper, we propose a Object-Oriented federate model architecture to enhance code reusability. It improves an efficiency of the system development process, and results in development time reduction and cost saving. It also is verified its practical effect through acting HLA certification on an software developed proposed architecture.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.127-133
• /
• 2003

시나리오 형태의 요구사항 분류는 ATAM, SAAM, Software Quality Metric 과 같은 품질 요구사항 분석 및 평가 방법 등 많은 분야에 응용된다. 이들 기법들은 소프트웨어 시스템의 품질 요구사항을 분석, 평가하기에 앞서 초기 수집된 요구사항들을 분류하게 된다. 그러나 요구사항을 분류하는 일은 수작업을 통해 이루어지게 되고, 따라서 미 분류, 중복분류, 등의 결함을 가질 수 있다. 결함의 가능성을 요구사항의 수가 많은 대형 프로젝트 일수록 높아지게 된다. 따라서 본 논문에서는 요구사항 분류언어를 통한 품질 요구사항 자동 분류 기법을 제안한다. 제안된 기법은 분류언어와 유사도를 이용한 2 단계 분류기법을 이용하였다. 분류언어는 각 도메인별로 개발되어 비슷한 도메인일 경우 재사용될 수 있다. 이를 검증하기 위해, 본 논문에서는 15 여개의 프로젝트로부터 수집된 요구사항을 이용해 실험을 수행하고 그 결과를 분석, 평가 하였다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2001.12a
• /
• pp.83-97
• /
• 2001

국내의 항만물류산업에서는 서류 전송을 합리화하고 입력데이터의 오류를 없애기 위해 EDI를 도입·실행하여 왔다. 그러나, 기존의 항만물류산업에서 사용중인 전통적인 EDI는 사내 정보시스템과의 비연계성, 과중한 EDI 구축비용과 소프트웨어 구입비 및 EDI 통신료, 산업간 EDI 자료교환의 불가능, 업무프로세스의 개선 미약, 응답시간의 지연, 사용의 불편성, 표준문서 사용 등 제반 문제점들이 미해결 상태로 남아있다. 차세대 인터넷 언어로 각광받고 있는 XML은 기존의 데이터를 보다 쉽게 표현, 교환, 저장할 수 있어서 무역, 금융, 멀티미디어, 전자상거래 등 다양한 분야에 응용되고 있다. 특히 XML의 개방적이고, 유연한 특징으로 인해 상이한 데이터 및 문서포맷을 지닌 다수의 거래업체간에 뛰어난 상호운영성을 가져와 이를 이용하는 비율이 급속도로 증가하고 있으며, 이를 위해 다수의 XML기반 프레임워크가 개발되어 적용되고 있다. 본 논문에서는 XML/EDl, BizTalk 프레임워크, ebXML 프레임워크를 항만물류산업의 EDI시스템에 적용하여 이들의 구조를 밝혀내고 각 프레임워크의 유효성을 검증하고자 시도하였다.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.409-411
• /
• 2005

본 논문에서는 HD급 멀티미디어 streaming을 처리할 수 있는 DSP 플랫폼을 개발하였다. DSP 플랫폼은 Tl사의 C6400계열 DSP를 사용하였고 다채널의 오디오와 HD급 화질의 비디오_ 데이터를 처리할 수 있다. DSP가 decoder의 기능을 부담함으로써 하드웨어의 재구성이 용이하며 코덱을 다운로드하기 때문에 유연한 멀티미디어 컨텐츠의 재생이 가능하다. 개발한 DSP 플랫폼을 호스트 PC에 설치하여 PC로부터 DSP Configuration 파일과 멀티미디어 스트리밍 데이터를 전송받는 구조를 가진다. 소프트웨어는 실시간으로 demux를 실행하여 오디와 비디오_ 데이터를 분리하석 DSP 플랫폼의 외부메모리에 저장하고 동시에 비디오와 오디오의 디코딩을 실행한다. 오디오와 비디오 데이터의 버퍼 언더런/오버런을 극할 수 있는 buffer control 기법을 적용하였다. 호스트 PC에서 DSP 플랫폼으로의 스트리밍을 하기 위하여 Open Architecture 기반의 Windows OS에서 스트리밍 서비스 프로그램을 구현 하였다. 마지막으로 MPEG-2 video MP@ML인 비디오 코덱과 5.1ch 48kHz AC3인 오디오 코덱으 구성된 streaming 데이터를 사용하여 DSP 플랫폼을 검증하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.9
• /
• pp.843-849
• /
• 2007

Recent progress on software engineering especially in object-oriented design concepts has enabled the development of the simulation models of satellite components in view of reliability and reusability. This paper proposes an useful satellite simulator framework using simulation service and generalized model design. The proposed method is verified by a prototyping in .NET/C# environment.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.37 no.1
• /
• pp.60-66
• /
• 2000

This paper proposes a design of phone card IC with the self-test features and the hardware and software security functions. We design and verify the proposed functions with modeling the terminal system environment. The proposed phone card IC provides instructions and a non-volatile memory block containing the manufacturer / issuer / user information, the unit (money) value, and the security key. The self-test functions are designed to improve the test time degradation due to a serial I/O communication. Also some security features are implemented using hardware and software approaches.