• 한국산업정보학회논문지
• /
• 제17권4호
• /
• pp.71-85
• /
• 2012

본 논문은 운항중인 선박에서 기록되어지는 운항정보 및 엔진 가동정보 등을 실시간으로 모니터링하고, 문제 발생 시에 그 근본원인을 찾아내어 민첩하게 대응할 수 있는 일련의 결함원인 분석 및 예방시스템 개발을 목적으로 한다. 결함분석을 위해서는 선박엔진의 주요기관에 부착된 센서들로부터 장기간 수집된 정보를 사용하게 되는데, 이 양이 매우 방대하며, 잡음 및 중복정보(Redundancy)가 너무 많이 포함되어, 수집된 센서 데이터를 바로 고장분석에 사용하기에는 어려움이 있다. 따라서 본 논문에서는 방대한 양의 데이터 중, 정보의 손실을 최소화하고 중요한 정보만을 추출하기 위해 'Equal-frequency binning'과 'Entropy' 기반의 데이터 필터링 방법에 관해 연구하였다. 실제로 시험운용 중인 선박엔진 데이터를 개발된 선박엔진 고장분석 소프트웨어를 이용하여 결함분석을 수행하여, 제안된 방법의 효용성을 검증한다.

• 한국항행학회논문지
• /
• 제24권4호
• /
• pp.314-321
• /
• 2020

LASAR (logic automated stimulus and response) 소프트웨어는 디지털 전자 회로 카드에 대한 로직 기능시험 및 고장검출을 위한 자동점검프로그램 개발도구이다. LASAR 소프트웨어는 소자의 논리회로 기능 및 입·출력 정의된 정보가 필요하다. 소자 정보가 없으면 정상적인 부품 모델링이 불가능하다. 따라서 본 논문에서는 소자 정보가 없는 PLD (programmable logic device) 소자를 역설계 방법을 통하여 부품 모델링을 수행한다. 개발된 LASAR 프로그램은 고장 시뮬레이션 결과와 단일 고착 고장삽입 방법을 통해 고장 검출율을 확인하였다. 고장 검출율은 기존의 제한적인 모델링은 91%, 역설계를 통한 모델링은 94%로 3% 상승하였다. 또한, EP 310 PLD 소자에 대한 입·출력핀에 대한 22가지 고착결함의 경우 100% 검출하여 양호한 성능을 확인하였다.

• 융합보안논문지
• /
• 제7권1호
• /
• pp.45-53
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 이 분야에 적용될 수 있는 hyper-exponential 분포를 이용한 모형을 제안하였다. 수치적인 예에서는 Minitab(version 14) 통계 페키지에 있는 와이블분포(형상모수가 0.5이고 척도모수가 1)에서 발생시킨 30개의 난수를 이용한 모의 실험 고장 간격시간으로 구성된 자료를 이용하였고 모수추정 방법은 최우추정법 과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하였다. 그리고 모형 설정과 선택 판단기준은 편차 자승합을 이용한 적합도 검정이 사용되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.164-167
• /
• 2007

Architectural Perspective라 함은 요구되는 품질의 특성이 시스템에 잘 반영되도록 하기 위한 활동, 전략 및 가이드라인을 정의한 것으로써, 다양한 관점에 바라보는 시스템에 대한 뷰(View)에 품질 속성을 반영하도록 하기 위한 것이다. 본 연구에서는 임베디드 소프트웨어의 유지보수 측면에서의 품질 향상을 위한 Maintainability Perspective를 제시한다. 제시하고자 하는 Perspective는 고장(failure)으로 인한 결함의 탐지성에 주안점을 두었으며, 이에 대한 아키텍처 패턴을 정의하였다. 정의된 패턴은 소프트웨어 아키텍처 개발에 적용하도록 함으로써, 임베디드 소프트웨어의 유지보수에 대한 품질 속성을 향상시키도록 하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권2호
• /
• pp.65-72
• /
• 2007

임베디드 시스템의 신인도(Dependability)를 높이기 위해 기존 컴퓨터시스템에서 주로 사용되는 결함허용(Fault-tolerant) 기법을 그대로 적용시키는 것은 임베디드 시스템의 엄격한 비용 제약과 설치공간 부족 등을 고려할 때 적합하지 않다. 본 논문에서는 각 시스템 구성요소(Component)들의 여분(Redundancy)을 최소한도로 사용하는 임베디드 시스템에 적합한 소프트웨어 결함허용 기법을 제안한다. 이를 위하여 임베디드 시스템의 신인도를 반영하기 위한 기준인 유용도(Utility) 척도를 정의하고, 실제 시스템의 결함허용을 위해 각각의 시스템 구성요소들의 재구성(Reconfiguration) 조합에 대한 유용도 평가를 수행하였다. 이러한 유용도 평가는 일반적으로는 지수복잡성(Exponential Complexity)을 가지게 되나, 본 논문에서는 각각의 구성요소에 대한 소프트웨어 수준의 계층적 그룹화 개념을 이용하여 복잡도를 크게 감소시켰다. 이를 통해 임베디드 시스템의 일부 부품에 결함이 발생했을 시, 시스템의 고장(Failure)을 방지 할 수 있도록 전체 시스템 단계에서 가능한 최대 유용도를 제공하는 구성조합으로의 재구성 작업을 가능하게 하였다.

• 한국추진공학회지
• /
• 제22권5호
• /
• pp.13-21
• /
• 2018

항공기용 엔진의 건전성 관리를 위한 탑재장비 및 지상 장비 소프트웨어의 발전 동향을 살펴보았다. 과거에는 지상 장비 중심의 결함 검출 및 식별기법에서 탑재 소프트웨어를 이용한 모델 기반의 건전성 식별 기법으로 변화해 왔고, 현재는 지상과 탑재장비 소프트웨어의 통합된 구조로 발전해 가고 있다. 이러한 진보된 기법이 선진국을 중심으로 기술발전을 이루어 가고 있음에 비해 국내의 연구는 초보적인 수준에 머물러 있다. 본 논문에서는 국내외 기술개발 현황을 고려하여 최적의 발전 방향을 제시하였다.

• 한국컴퓨터산업학회논문지
• /
• 제3권1호
• /
• pp.77-84
• /
• 2002

다수의 서버를 클러스터로 연결하여 동시에 가동 할 경우 서버의 대수가 증가함으로 인해 발생하는 가용도 저하문제와 소프트웨어의 노화로 인하여 높은 가용도를 제공하기가 어렵다. 본 연구에서는 n대의 주 서버와 k 대의 여분서버로 구성되는 클러스터 웹 서버 시스템에서 가동되는 서버의 수, 여분서버의 수, 소프트웨어의 재활주기, 재활소요시간, 서버의 고장률, 서버의 수리율, 서버의 불안정률 등의 시스템 운영 파라미터에 기초하여, 소프트웨어의 재활정책에 대한 평가를 위해 평형 상태에서의 확률, 정지시간, 가용도, 손실비용 등을 계산하였다. 수학적 분석을 통해 다양한 시스템 운영 상태에 대한 실험을 통해 검증하였으며, 소프트웨어의 재활 정책에 의한 예방적 결함허용 기법이 시스템의 안정성에 중요한 요소임을 확인하였고, 또한 서버의 고장률 및 불안정률이 소프트웨어 재활 정책 결정에 중요한 요소임을 파악하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권8호
• /
• pp.287-300
• /
• 2021

협업 사이버-물리 시스템(Collaborative Cyber-Physical Systems, CCPS)은 물리 세계와 사이버 세계가 밀접하게 결합하여 공동의 목표를 달성하기 위하여 협업을 수행하는 시스템이다. 한편, 단일 사이버-물리 시스템(Cyber-Physical System)의 경우에는 ISO 26262 또는 IEC 61508과 같은 표준을 따르거나 다양한 위험 분석 기법을 적용함으로써 그 안전을 확보할 수 있다. 그러나 CCPS에서는 협업을 수행중인 한 CPS의 결함으로 인하여 다른 협업 중인 CPS에게 수많은 결함을 발생시키기 때문에 안전의 확보가 매우 어렵다. 본 논문에서는 이러한 CCPS의 위험을 분석하여 안전을 확보하기 위해 복합적인 위험 분석과 위험 분석 산출물 사이의 관계를 기반으로 하는 위험 치명도 매트릭스(Fault Criticality Matrix, FCM)를 제시한다. FCM에서는 결함, 결함의 치명도, 안전 가드와 안전 가드의 발생 확률, 결함의 영향 및 순위를 나열하여 분석한다. 안전 엔지니어는 이를 통해 시스템의 설계 단계에서 각 결함의 치명도와 영향을 분석하고, 설계된 안전 가드를 통해 식별된 고장을 효과적으로 관리하고 제어함으로써 안전한 CPS를 개발할 수 있다. 제시된 방법의 유용성을 확인하기 위해 CCPS의 대표적 예인 군집주행에 대하여 사례 연구를 수행하였다. 본 연구에서 개발된 도구를 사용하여 군집주행 시스템에 FCM을 적용함으로써 상세한 결함 치명도 분석을 수행하였고, 분석 결과는 적합성과 효과성 관점에서 점검되었다. 또한 군집 주행에 대한 시뮬레이션 수행을 통해 FCM을 사용하여 결함 치명도를 분석한 군집주행 시스템이 발견된 모든 결함을 완화시켜 충돌 가능성을 크게 낮추었음을 보였다.

• 한국통신학회논문지
• /
• 제27권10C호
• /
• pp.887-901
• /
• 2002

소프트웨어 관리 모델은 크게 소프트웨어 프로젝트 견적 모델과 소프트웨어 설계평가 모델, 소프트웨어 복잡성 모델, 소프트웨어 신뢰도 성장 모델, 소프트웨어 프로세스 개선 모델 등으로 나누어진다. 그 중에서도 개발된 소프트웨어를 정량적으로 분석하여 평가하는 모델이 소프트웨어 복잡도 모델이다. 즉, 소프트웨어를 객관적으로 관리하는데 있어서 정량적인 판단 기준이 필요하다. 그렇기 때문에 소프트웨어 복잡성 모델(software complexity model)은 소프트웨어의 복잡성에 대한 정량적인 평가에 응용할 목적으로 도입되었으며, 소프트웨어 복잡성 측정시 이 결과를 소프트웨어 관리(software management)의 기준에 이용하는데 있어서 품질이나 생산성에 대한 영향을 제공할 때 정량적이고 명확히 할 필요가 있기 때문이다. 다시 말해서 복잡한 프로그램에는 에러가 많이 포함될 가능성이 높고 또 개발비용(source cost)도 높다는 것을 경험적으로 알 수 있다. 이러한 관계가 성립되지 않는 경우에는 소프트웨어의 효과적인 관리가 곤란하다. 본 논문은 이런 관점에서 대표적인 소프트웨어 복잡성 모델에 대한 적용법에 대해 기술하고 개발중인 교환시스템의 소프트웨어에 대해 volume metrics와 process complexity metrics 방법, 제어구조 및 인터페이스 구조 방법에 대한 분석 결과와 시스템 개발을 수행하는 과정에서 발생되고 있는 문제점들에 대해 다각도로 분석을 하여 이를 유사한 시스템 연구개발 및 프로젝트 관리에 활용하고자 한다.

• 전기전자학회논문지
• /
• 제9권2호
• /
• pp.143-151
• /
• 2005

본 연구에서는 유한고장 비동질적인 포아송 과정 모형에서 결함당 고장 발생률이 상수이거나, 단조 증가 또는 단조 감소하는 패턴을 가질수 있다. 감마족 분포를 적용하여 고장발생률에 대한 특징을 알아보았고 감마족 분포는 형상 모수의 선택에 따라 다양한 모형으로 유도 될 수 있다. 따라서 본 연구는 형상모형에 근거한 감마 또는 와이블 그리고 곰페르츠 모형을 제시하여 신뢰도 분석 결과를 나열하였고 모형 선택 및 자료 분석을 위하여 산술과 라플라스 검정과 편차 자승합 등을 이용하였다.