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

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

• 한국항공우주학회지
• /
• 제49권6호
• /
• pp.481-488
• /
• 2021

인공위성의 원격명령 처리시스템은 상태감시, 제어 및 미션 실행을 위한 원격명령을 제공하는 유일한 통로이다. 국내의 인공위성은 과학 및 기술 위성, 다목적 위성 및 정지궤도 위성으로 나눌 수 있으며 CCSDS 표준 프로토콜을 사용하여 지상국과 통신을 수행한다. 그러나 기존의 국내개발 위성은 소프트웨어를 사용하여 원격명령어를 디코딩하여 소프트웨어 개발 및 검증 비용이 높고 하드웨어와 비교할 때 상대적으로 성능이 낮다. 본 연구에서는 원격명령 디코딩 ASIC을 이용한 원격 명령 처리시스템을 제시한다. 이 시스템의 하드웨어는 telecommand RAM, protocol RAM/ROM, telecommand ASIC, interface FPGA 및 relay block으로 구성되었다. 이 시스템은 인공위성이 사용하는 일반 명령 및 펄스 명령을 처리한다. 시스템을 시험 및 검증하기 위해 점검 장비 및 시험환경을 구축하였다. 제안한 ASIC 기반의 telecommand 처리시스템은 소프트웨어 기반 디코딩 시스템에 비해 개발 비용을 1/5로 줄였을 뿐만 아니라 성능은 10⁵배 향상되었다.

• 한국정보전자통신기술학회논문지
• /
• 제11권6호
• /
• pp.800-806
• /
• 2018

소프트웨어 효율성은 운용 환경에서 사용시간에 따라 고장없이 사용할 수 있는 확률이며, 소프트웨어 시스템 안정성에 영향을 미치는 가장 근본적인 요인이다. 정보기술 분야에서 활용되고 있는 컴퓨터 시스템의 오작동은 관련 산업분야에 중요한 손실을 야기할 수도 있다. 따라서, 본 연구에서는 소프트웨어 고장시간 자료를 가지고 유한고장 NHPP 모형에 기반하여 다양한 위험함수에 의존한 소프트웨어 신뢰성 모형의 속성을 분석 하였다. 제안한 모형의 위험함수 패턴은 Goel-Okumoto모형은 상수가 되고, Minimax 모형과 Rayleigh모형은 증가패턴을 따르지만, 위험함수의 증가폭은 Minimax 모형이 Rayleigh모형과 Goel-Okumoto모형 보다 작은 것으로 나타났다. 또한, 평균값 함수m(t)의 참값 오차와 평균제곱오차(MSE)는 Minimax 모형이 모두 Rayleigh 모형과 Goel-Okumoto모형 보다 작아서 상대적으로 효율적이였다. 본 연구의 결과는 소프트웨어 개발자에게 위험함수에 관한 기본정보로 활용될 수 있을 것으로 기대한다.

• 한국항공우주학회지
• /
• 제49권8호
• /
• pp.671-680
• /
• 2021

본 논문은 정찰용 하드웨어와 소프트웨어를 설계하고 제작하여 캔위성 플랫폼과 지상국에 탑재 후 기능을 검증한 내용을 다루고 있다. 주요 정찰 임무는 크게 2가지로 구성되는데, 레이더와 GPS, IMU 센서를 이용해 주변 지형을 3D로 렌더링하는 지형탐색과 광학 카메라 영상분석을 통한 실시간 주요 물체 검출이다. 그리고 캔위성 시스템의 완성도를 높이기 위해 GUI 소프트웨어를 통해 데이터 분석효율을 향상하였다. 구체적으로 지형정보와 물체 탐지정보를 실시간으로 지상국에서 확인할 수 있는 소프트웨어를 제작하였으며, 비정상패킷 예외처리와 시스템 초기화 기능을 통해 임무 실패를 방지하였다. 통신계는 LTE와 AWS 서버를 통한 통신을 메인 채널로 사용했고, 보조 채널로 지그비를 사용하였다. 완성된 캔위성을 로켓 발사 방식과 드론 탑재 방식으로 공중 낙하 실험하였다. 실험 결과, 지형탐색과 물체 검출 성능이 우수하였으며, 모든 결과를 실시간으로 처리 후 지상국 소프트웨어에 성공적으로 시현하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권4호
• /
• pp.33-42
• /
• 2007

소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Burr 분포에 기초한 Burr 커버리지 모형을 제안하였다. 고장 간격 시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법 과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형선택도 시도하였다. NTDS 자료를 사용한 임무시간 비교 분석한 결과 Burr 커버리지 모형 시행이 지수나 S-형 모형보다 우수함을 보이고 있다. 이 자료들에서 기존의 모형과 Burr 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정등을 이용하였다.

• 한국항공우주학회지
• /
• 제47권4호
• /
• pp.289-299
• /
• 2019

자세제어 M&S(Modeling & Simulation)는 모델링 정밀도에 따라 간단한 자세제어 알고리즘 설계부터 실제 탑재 소프트웨어 검증까지 활용될 수 있다. 본 논문은 CMG 기반 위성 자세제어를 위한 M&S 소프트웨어를 소개한다. 개발된 소프트웨어는 크게 6자유도 모델링과 자세제어 알고리즘으로 나뉠 수 있다. 6자유도 모델링은 CMG 구동기 모델링과 우주환경 모델링(궤도외란/자세외란)을 포함한다. 자세제어 알고리즘은 CMG 모터속도 제어기(내부루프)부터 토크명령생성 및 스티어링 법칙(외부루프)을 포함한다. M&S는 하위 레벨인 CMG 모터제어부터 상위 레벨인 지구관측임무 수행까지 단계적으로 수행되며, 적용 레벨에 따라 3개 모듈로 나뉜다. 본 M&S 소프트웨어는 초기 자세제어 알고리즘 개발을 목표로 개발되었는데, 향후 상세한 위성체/구동기 모델링 및 우주환경 모델링을 반영해 점차 활용 범위를 넓힐 수 있을 것으로 기대된다.

• 정보화정책
• /
• 제19권3호
• /
• pp.3-18
• /
• 2012

경제질서라는 헌법적 문제는 어느 국가와 시대를 막론하고 항상 뜨거운 이슈가 되어 왔다. 한국에서도 국가규제의 정도와 수준에 대하여 끊임없는 논쟁이 지속되고 있다. 헌법 제119조는 시장경제질서를 원칙으로 하고 있으며, 예외적으로 시장에 대한 정부의 개입과 조정을 허용하고 있다. 헌법이 국가에게 규제와 조정의 권한을 부여한 것은 기본권의 보장과 실현이라는 최종적 헌법가치를 실현하기 위해서이다. 따라서 국가는 "시장의 자유와 창의"의 수호자로서 또한 경제민주화라는 목표달성을 위한 공정한 조정자와 중재자로서의 역할이 그 소명을 다하여야 한다. 경제헌법이 어떠한 역사적 변천과정을 겪었는지를 살펴 보고, 학설과 판례를 통해 축적된 헌법 제119조의 원리를 분석함으로써, 현재 우리 사회에서 경제헌법이 갖는 의미를 되짚어 보기로 한다. 그리고 최근 개정된 소프트웨어 산업진흥법상의 대기업참여제한제도를 고찰하여 바람직한 국가정책방향을 모색해 보기로 한다.

• 통상정보연구
• /
• 제14권4호
• /
• pp.563-582
• /
• 2012

SaaS모형은 정보화 H/W 투자여력이 없는 중소기업이 인터넷 기반의 모듈별 솔루션을 임대방식으로 서비스 받는 시스템이다. 많이 활용되고 있는 UPnP(Universal Plug and Play)는 정보가전이나, 무선기기, PC 등 모든 종류의 기기들을 연결하는 네트워크 구조이다. 이것은 홈이나 작은 사무실과 같이 관리자가 없는 네트워크에서 사용자의 작업 없이 쉽게 표준화된 방법으로 기기간의 연결이나 인터넷으로의 연결을 제공한다. 따라서 이러한 연결문제는 업무의 설계나 데이터베이스의 설계가 단위 네트워크별로 설계되었기 때문으로, 어떠한 업무 네트워크시스템들도 UPnP 설계시 업무를 서로 연결 할 수 있는 복합 네트워크 환경을 고려하여야 한다. UPnP 연결구조의 SaaS모형은 네트워크 기반 접속 및 실시간 관리가 가능한 상업용 소프트웨어이어야 한다. 항상 접속이 가능하고 중앙에서 관리활동이 이루어져야 한다.

• 한국전자통신학회논문지
• /
• 제17권4호
• /
• pp.641-648
• /
• 2022

본 연구에서는 지수 형태의 분포(Exponential Basic, Inverse Exponential, Lindley, Rayleigh) 특성을 갖는 NHPP 소프트웨어 신뢰성 모형의 성능을 비교 분석하였고, 이를 근거로 최적의 신뢰성 모형도 함께 제시하였다. 소프트웨어 고장 현상을 분석하기 위하여 시스템 운영 중 수집된 고장 시간 데이터를 사용하였고, 모수 추정은 최우 추정 법을 적용하여 해결하였다. 다양한 비교 분석(평균제곱오차(MSE) 분석, 평균값 함수의 참값 예측력 분석, 강도 함수의 평가, 임무 시간을 적용한 신뢰도를 평가)을 통하여 Lindley 모형이 가장 우수한 성능을 가진 효율적인 모형임을 알 수 있었다. 본 연구를 통하여 기존 연구사례가 없는 지수 형태의 특성을 갖는 분포의 신뢰도 성능을 새롭게 파악하였고, 이를 통하여 소프트웨어 개발자들이 초기 단계에서 활용할 수 있는 기본적인 설계 데이터를 제시할 수 있었다.

• Journal of Astronomy and Space Sciences
• /
• 제34권3호
• /
• pp.213-223
• /
• 2017

The deep space orbit determination software (DSODS) is a part of a flight dynamic subsystem (FDS) for the Korean Pathfinder Lunar Orbiter (KPLO), a lunar exploration mission expected to launch after 2018. The DSODS consists of several sub modules, of which the orbit determination (OD) module employs a weighted least squares algorithm for estimating the parameters related to the motion and the tracking system of the spacecraft, and subroutines for performance improvement and detailed analysis of the orbit solution. In this research, DSODS is demonstrated and validated at lunar orbit at an altitude of 100 km using actual Lunar Prospector tracking data. A set of a priori states are generated, and the robustness of DSODS to the a priori error is confirmed by the NASA planetary data system (PDS) orbit solutions. Furthermore, the accuracy of the orbit solutions is determined by solution comparison and overlap analysis as about tens of meters. Through these analyses, the ability of the DSODS to provide proper orbit solutions for the KPLO are proved.