• 한국정보전자통신기술학회논문지
• /
• 제8권5호
• /
• pp.339-344
• /
• 2015

소프트웨어 고장분석을 위한 비동질적인 포아송과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP 모형들을 비교 제시하였다. 소프트웨어 신뢰성분야에서 많이 사용되는 와이블 확장분포에 근거한 무한고장 소프트웨어 신뢰성모형에 대한 비교문제를 제시하였다. 그 결과 형상모수가 비교적 큰 경우가 효율적으로 나타났다. 그리고 모수추정법은 최우추정법을 이용하였고 모형선택은 평균제곱오차와 결정계수를 이용하였다. 이 연구를 통하여 소프트웨어 개발자들은 형상모수에 따른 소프트웨어 고장현상을 파악하는데 어느 정도 도움을 줄 수 있을 것으로 사료된다.

• 한국정보전자통신기술학회논문지
• /
• 제8권3호
• /
• pp.195-202
• /
• 2015

소프트웨어 고장분석을 위한 비동질적인 포아송과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 결함의 기대값을 가정하는 유한고장소프트웨어 NHPP모형과 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP모형들을 비교 제시하였다. 소프트웨어 신뢰성분야에서 많이 사용되는 지수파우어분포에 근거한 유한고장과 무한고장 소프트웨어 신뢰성모형에 대한 비교문제를 제시하였다. 그 결과 유한고장모형이 무한고장모형보다 효율적으로 나타났다. 그리고 모수추정법은 최우추정법을 이용하였다. 이 연구를 통하여 소프트웨어 개발자들은 소프트웨어 고장현상을 파악하는데 어느 정도 도움을 줄 수 있을 것으로 사료된다.

• 천문학회보
• /
• 제44권2호
• /
• pp.57.4-57.4
• /
• 2019

BITSE is a project of balloon-borne experiments for a next-generation solar coronagraph developed by a collaboration with KASI and NASA. The coronagraph is built to observe the linearly polarized brightness of solar corona with a polarization camera, a filter wheel, and an aperture door. For the observation, the coronagraph is supported by the power distribution unit (PDU), a pointing system WASP (Wallops Arc-Second Pointer), telemetry & telecommand system SIP (Support Instrument Package) which are developed at NASA's Goddard Space Flight Center, Wallops Flight Facility, and Columbia Scientific Balloon Facility. The BITSE Command and Data Handling (C&DH) system used a cost-off-the-shelf electronics to process all data sent and received by the coronagraph, including the support system operation by RS232/422, USB3, Ethernet, and digital and analog signals. The flight software is developed using the core Flight System (cFS) which is a reusable software framework and set of reusable software applications which take advantage of a rich heritage of successful space mission of NASA. The flight software can process encoding and decoding data, control the subsystems, and provide observation autonomy. We developed a python-based testing framework to improve software reliability. The flight software development is one of the crucial contributions of KASI and an important milestone for the next project which is developing a solar coronagraph to be installed at International Space Station.

• 융합보안논문지
• /
• 제13권3호
• /
• pp.71-77
• /
• 2013

우리나라는 보안산업 현장에 적용할 적합한 비즈모델 분석 방법론을 발견하기 어렵고 단편적 이론은 존재하지만 종합적 분석 방법론은 희소한 실정이다. 정보보안 기업 비즈모델 분석은 외부요인과 내부요인에 관해 수집된 정보를 통합하고 포괄적으로 분석하는 정보시스템 개발이 요구된다. 비즈모델 분석을 위한 정보시스템의 소프트웨어 아키텍처는 시스템 설계의 초기 결정사항으로서 초기 결정은 설계, 개발, 테스트, 유지보수에 지속적인 영향을 미친다. 정보보안 비즈모델 분석시 BMO에 기반한 소프트웨어 아키텍쳐는 정보시스템의 목적이나 사명 수행을 지원 한다. 정보보안 비즈모델 분석을 위한 정보시스템은 여러 이해관계자들이 사명과 환경을 결정하며 그 결과가 아키텍처 기술서로 문서화 되어야 활용될 수 있다. 아키텍처 기술서는 소프트웨어 아키텍처를 결정한 근거를 제시하기 때문이다.

• 한국항행학회논문지
• /
• 제27권5호
• /
• pp.495-501
• /
• 2023

대한민국 해군이 운영하는 P-3C 또는 P-3CK 해상초계기에는 다양한 센서와 통신 장치를 탑재하고 있다. 임무 중 수집된 데이터는 항공기내 비행 조작사들에 의해 전술 정보로 관리되어 저장된다. 비행임무가 종료되면 이 정보는 지상에 있는 전술지원센터로 이관되고 전술분석도구를 통해 재생되거나 후속 업무를 위해 사용된다. 비행임무 시 한국방공식별구역 영역에서만 한 시간 이내 탐지 객체만 수만 개를 갖는다. 이에 대하여 전술분석도구 이용 시 지도를 함께 도시하는 전술 상황표시기에는 탐지 객체들에 대하여 모두 심볼로 표현한다. 표시 심벌의 증가는 전술 상황표시기의 이미지 갱신에 많은 영향을 끼치고 결과적으로 조작사들의 원활한 작업에 지장을 준다. 본 논문에서는 기존 상황표시기의 성능을 개선하기 위해 다중 스레드와 다중 레이어 적용을 제안한다. 그리고 이 제안에 대한 적용과 실행 결과를 통해 전술 상황표시기의 성능향상을 증명한다.

• 항공우주산업기술동향
• /
• 제7권2호
• /
• pp.40-47
• /
• 2009

본 논문에서는 위성 소프트웨어 검증을 위해 현재 세계적으로 개발되고 있는 위성 시뮬레이터의 개발 동향에 대해서 기술한다. 현재 위성 및 임무의 복잡성은 계속적으로 증가되고 있는 추세에 있어 위성 시뮬레이터의 사용 은 당연한 선택으로 받아들여지고 있다. 위성 시뮬레이터의 이용으로 인해 위성 개발 비용의 감소 및 시험 기간의 단축의 효과를 얻을 수 있으며, 이전에 사용된 개발 자산을 다음 개발에 효과적으로 재사용하는 것이 가능함에 따라 위성 개발 주기를 효과적으로 단축시킬 수 있게 되었다.

• Journal of Astronomy and Space Sciences
• /
• 제11권2호
• /
• pp.296-307
• /
• 1994

1995년 Deitall 발사체로 발사예정인 무궁화 위생을 전이궤도에서 표류궤도로 진입시키기 위해 실시하는 원지점 조정에 활용이 가능한 시뮬레이션 S/W률 VAX/VMS 에서 사용할 수 있도록 X-Window 시스템(OSF /MOTIF Graphic User Interface)을 이용하여 GUI(Graphical User Interface)를 통한 조작이 가능하도록 개발하였다. 이 S/W는 원지점 점화를 임펄스라 가정하여 조정 파라미터를 계산하는 데 필요한 데이터를 제공하는 분석모드와 상세하게 모델링된 원지점 모터를 이용하여 finite burn 적분으로 원지점 점화를 위한 조정 파라미터를 계산하는 운용모드 등 두 가지 모드를 제공한다. 또한 이 개발된 S/W를 이용하여 무궁화 위성의 궤도 전이를 위한 최척 원지점 점화에 대하여 여러가지 시나리오를 수행하고 그 결과를 분석해 보았다.

• Ocean Systems Engineering
• /
• 제3권2호
• /
• pp.137-147
• /
• 2013

Moonpools are vertical wells in a floating body used onboard many types of vessels like cable-laying vessels and offshore support vessels. Moonpool gives passage to underwater activities for different types of ships as per their mission requirements. It is observed that inside a moonpool considerable relative motions may occur, depending on shape, depth of the moonpool and on the frequency range of the waves to which the ship is exposed. The vessel responses are entirely different in zero and non-zero Froude number. Former situation is paid attention in this study as the mission requirement of the platform is to be in the particular location for long period of operation. It is well known that there are two modes of responses depending on the shape of the moonpool viz., piston mode for square shape and sloshing mode for rectangular shapes with different aspect ratios of opening like 1:1.5 and 1:2 ratios. Circular shaped moonpool is also tested for measuring the responses. The vessel moored using heavy lines are modeled and tested in the wave basin. The moored lines are provided with pre-tension and the dynamic tensions on the lines are measured. The different modes of oscillations of water column are measured using wave gauge and the vessel response at a particular situation is determined. RAOs determined for various situations provide better insight to the designer. The experiments done in the wave basin may also be compared with a software package meant for handling moored floating bodies.

• 한국항공운항학회지
• /
• 제16권2호
• /
• pp.1-11
• /
• 2008

Increasing demand for improved reliability and survivability of mission-critical systems is driving the development of health monitoring and Automated Contingency Management (ACM) systems. An ACM system is expected to adapt autonomously to fault conditions with the goal of still achieving mission objectives by allowing some degradation in system performance within permissible limits. ACM performance depends on supporting technologies like sensors and anomaly detection, diagnostic/prognostic and reasoning algorithms. This paper presents the development of a generic prototype test bench software framework for developing and validating ACM systems for advanced propulsion systems called the Propulsion ACM (PACM) Test Bench. The architecture has been implemented for a Monopropellant Propulsion System (MPS) to demonstrate the validity of the approach. A Simulink model of the MPS has been developed along with a fault injection module. It has been shown that the ACM system is capable of mitigating the failures by searching for an optimal strategy. Furthermore, the concepts of Validation and Verification (V&V) of such systems are introduced with relevant examples.

• 한국군사과학기술학회지
• /
• 제16권1호
• /
• pp.5-26
• /
• 2013

Since the optimized use of sonar systems for target tracking is a practical problem for naval operations, the measure of mission achievability is needed for preparing efficient sonar-maneuver tactic. In order to quantify the mission achievability or Measure Of Effectiveness(MOE) for given sonar-maneuver tactics, we developed and tested a simulation algorithm. The proposed algorithm for tracking is based on Measure Of Performance(MOP) for localization and tracking system of sonar against target. Probability of Detection(PD) using steering beam patterns referenced to the aspect angle of sonar is presented to consider the tracking-performance of sonar. Also, the integrated software package, named as Optimal Acoustic Search Path Planning(OASPP) is used for generating sonar-maneuver patterns and vulnerability analysis for a given scenario. Through simulation of a simple case for which the intuitive solution is known, the proposed algorithm is verified.