• 제목/요약/키워드: 결함분석기법

검색결과 371건 처리시간 0.03초

소프트웨어 안전성 평가를 위한 시스템 결함 분석 기법

  • 백동근;성경배;박만곤
    • 한국정보시스템학회:학술대회논문집
    • /
    • 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
    • /
    • pp.389-402
    • /
    • 1997
  • 컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

  • PDF

소프트웨어 결함허용 기법들의 의존도 모델링 (Dependability Modeling of Software Fault Tolerance Techniques)

  • 김용규;김성수
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
    • /
    • pp.614-616
    • /
    • 1999
  • 신뢰도 높은 소프트웨어 개발의 필요성은 전혀 새로운 것이 아니다. 요즘 들어, 소프트웨어의 크기와 복잡도가 증가함으로 인해 소프트웨어의 결함 때문에 발생하는 시스템 고장이 전체 시스템 고장에서 많은 비중을 차지하고 있다. 고 신뢰도를 요구하는 시스템의 소프트웨어는 복구블록, 분산 복구블록, N-버전 프로그래밍, N 자기검사 프로그래밍과 같은 소프트웨어 결함허용 기법들을 사용하고 있다. 이러한 소프트웨어 결함허용 기법들에 대한 연구와 함께 소프트웨어 결함허용 기법들의 의존도 측정에 관한 연구 또한 매우 중요하다. 이에 본 논문에서는 마르코프 모델을 사용해서 소프트웨어 결함허용 기법들의 보다 자세한 신뢰도 모델링과 가용도, 안전도 등에 관한 모델링을 제시한다. 제안된 모델 분석 결과 같은 수의 대체블록이 있을 때는 분산 복구블록, 복구 블록, N 자기검사 프로그래밍, N-버전 프로그래밍 순으로 의존도가 높음을 알 수 있다. 또한 소프트웨어 결함허용 기법들의 신뢰도민감성 분석에서는 복구블록과 분산 복구블록인 경우는 적응검사의 결함발생율에, N-버전 프로그래밍인 경우는 프로그램 버전의 결함발생율에 더 민감한 영향을 받는 것을 알 수 있다.

  • PDF

결함분석 기법을 활용한 C4I체계 유지보수 관리 우선순위 선정 (C4I Maintenance Priority Decision using fault analysis methods)

  • 김기왕;강동수
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
    • /
    • pp.25-28
    • /
    • 2017
  • 네트워크 중심전에서 C4I체계의 안정적 운용을 통한 전장에서의 정보우위 달성을 위해 체계의 신뢰성 확보가 필요하여 각 군 C4I체계는 외주 용역업체를 통해 유지보수를 수행 중에 있다. 유지보수는 C4I체계의 수명 주기 중 가장 오랜 기간을 차지하고 있으며 결함 데이터 등의 실증적인 자료를 확보할 수 있는 기간이다. 따라서 유지보수 기간 중 수집한 결함 데이터를 결함분석기법을 통해 분석(치명도, 발생빈도)하고, 주요기능별 활용도를 이용하여 C4I체계 유지보수 관리 우선순위 선정기법을 제안한다. 이 후 제안 기법을 해군 C4I체계의 군적용 사례연구를 통해 유지보수 관리 우선순위를 선정함으로써 유지보수의 제한된 자원(예산, 인력, 시간 등)을 효율적으로 활용하기 위한 판단의 근거로 사용이 가능함을 보인다. 뿐만 아니라 체계화된 결함분석과정을 통해 축적된 자료를 활용하여 유지보수의 연속성 보장과 향후 성능개량사업간 시스템 분석의 참고자료로 활용함에 따라 궁극적으로 C4I체계의 신뢰성을 향상시킬 수 있다.

  • PDF

결함 검출 기법들의 성능 평가를 위한 테스트베드의 설계 (Design of Testbed for Performance Evaluation of Fault Detection Techniques)

  • 윤영원;이효순;신현식
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
    • /
    • pp.677-679
    • /
    • 2000
  • 결함의 검출은 결함 허용 시스템의 결함 허용성과 신뢰도 분석에 있어서 기초가 된다. 결함 검출 기법들은 각기 다른 특성을 가지고 있어 결함의 종류에 따라 다른 검출 능력을 가지기 때문에 효율적으로 시스템의 신뢰도를 향상시키기 위해서는 결함의 종류에 따라 적절한 기법들을 선별하여 적용해야 할 필요가 있다. 하지만 기존의 연구에서는 결함 검출 기법들에 대해 비교 검토에 대한 연구가 미흡하다. 따라서 결함의 종류에 따른 결함 검출 기법들의 성능을 평가하기 위한 테스트베드가 요구된다. 본 논문에서는 결함 검출을 위해 사용되고 있는 기법들의 종류를 분류하고 특성을 서술한다. 그리고, 리눅스 환경에서 소프트웨어로 구현된 결함 삽입 도구를 이용하여 각 결함 검출 기법들의 성능을 비교하기 위한 테스트베드를 설계한다.

  • PDF

결함 진단 기법을 사용한 시스템관리기능개발 (Development of System Management Facility using Fault Diagnosis Methodology)

  • 옥을석;고정국;김길용
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
    • /
    • pp.51-53
    • /
    • 1998
  • 컴퓨터 시스템이 복잡해짐에 따라 결함이 발생할 경우 관리자가 직접 결함을 진단하고 처리하기가 쉽지 않다. 본 논문에서는 이러한 문제점에 대한 해결책으로 결함 진단 기법을 사용한 시스템 관리 기능을 개발하였다. 개발된 시스템 관리 기능은 소프트웨어 기법을 사용하여 시스템 동작 중 발생한 결함의 증상을 분석, 진단함으로써 결함에 대한 해결방안을 자동적으로 관리자에게 제시할 수 있는 능력을 구비하고 있다. 클라이언트-서버 구조로 구현되 시스템 관리 기능은 소프트웨어 기법을 활용하기 때문에 추가적인 비용이 소요되지 않고도 기존 컴퓨터 시스템의 결함 관리 서비스에 활용될 수 있다.

  • PDF

기지국 결함 발생시 효율적인 이동 호스트의 결함 복구 기법 (An Efficient Recovery Scheme for Mobile Host under Base Station Failure)

  • 권원석;김성수
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.217-219
    • /
    • 2000
  • 이동 컴퓨팅이란 시가놔 장소에 구애 받지 않으면서 컴퓨팅을 수행할 수 있는 것을 말한다. 현재 다양한 사용자의 요구를 수용하기 위하여 이동 컴퓨팅에 관한 연구가 세계적으로 활발히 진행되고 있다. 이동 컴퓨팅은 이동 호스트 자체의 결함, 네트워크 연결 단절, 무선 링크의 결함 등의 기존 유선 네트워크에서는 찾아볼 수 없는 새로운 결함 원인들을 포함하고 있다. 그러나 현재 이동 컴퓨팅 연구 중에서 이러한 이동 호스트의 결함을 효율적으로 대처하는 결함 허용 기법에 관한 연구는 미미한 실정이다. 이에 본 논문에서는 기지국의 결함이 발생하여도 이동 호스트가 복구가능하도록 하는 Redundant Lazy 기법을 제안하고 성능을 분석한다.

  • PDF

셀룰라 네트워크 환경에서의 효율적인 기지국 결함 복구 기법 (Efficient Failure Recovery Schemes far Mobile Support Station in Cellular Networks)

  • 변계섭;김재훈
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
    • /
    • pp.127-129
    • /
    • 2001
  • 이동 호스트는 무선 통신망의 낮은 대역폭과 호스트들의 이동성, 부족한 저장장치와 배터리 수명 등으로 인하여 결함 발생 가능성이 높다. 이동 호스트의 결함에 효율적으로 대처하기 위한 결함 허용 기법에 관한 연구가 많이 진행되어 왔다. 셀룰라 네트워크에서는 이동 호스트이외에도 이동 호스트를 연결시키는 기지국은 보다 높은 수준의 가용도를 요구하므로 기지국의 결함에 대한 연구도 필수적이다. 본 논문에서는 이동 호스트 결함 복구를 위한 체크포인팅 기법을 기반으로 기지국 결함 복구를 위한 체크포인팅 이중화 기법을 제안하고 성능을 분석하였다. 또한 이동 호스트의 결함 복구를 위해 체크포인트가 존재하는 기지국의 복구를 기다리는 방법과 다른 기지국의 체크포인트를 이용하는 방법의 성능을 비교 분석하였다.

  • PDF

이동 에이전트를 위한 K-결함 허용 검사점 기법의 성능 분석 (Performance Evaluation of the K-Fault-Tolerant Checkpointing Scheme for Reliable Mobile Agent Systems)

  • 윤재환;변일수;박태순
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2004년도 춘계학술발표대회
    • /
    • pp.917-920
    • /
    • 2004
  • 신뢰할 만한 이동 에이전트 시스템을 구축하기 위해서는 이동 에이전트의 결함 내성 기능이 중요하다. 지금까지 여러 결함 내성 기법이 제안되었는데, 그 중의 하나가 검사점 기법이다. 에이전트의 중간 상태를 저장하는 검사점 기법은 에이전트 복제 기법에 비해 훨씬 적은 비용을 보장하는 반면, 검사점이 저장된 사이트의 결함 발생 시 에이전트 실행이 일시 또는 영구히 중지되는 문제가 발생한다. 따라서 본 논문에서는 k-결함 허용 검사점 기법을 제안한다. 이 기법에서는 에이전트 이동 경로에 저장된 검사점을 관리하는 관찰자들을 두어, 에이전트 실행 사이트의 결함 발생 시 관찰자간의 여론 수렴 과정을 통해 결함에 영향을 받지 않은 최근 검사점으로부터 에이전트의 실행을 재개시킨다.

  • PDF

명암도 분포 및 형태 분석을 이용한 효과적인 TFT-LCD 필름 결함 영상 분류 기법 (An effective classification method for TFT-LCD film defect images using intensity distribution and shape analysis)

  • 노충호;이석룡;조문신
    • 한국멀티미디어학회논문지
    • /
    • 제13권8호
    • /
    • pp.1115-1127
    • /
    • 2010
  • TFT-LCD 생산 과정에서 발생하는 결함을 정확하게 분류하여 결함 유형에 따라 폐기, 사용가능 등의 의사결정을 적절하게 내리는 것은 수율 증가 및 생산성 향상에 필수적인 요소이다. 본 논문에서는 TFT-LCD 생산 라인에서 획득한 결함 영상에 대하여 명암도 분포(intensity distribution) 및 결함 영상의 형태 특징(shape feature)을 분석하여 효과적으로 필름 결함 유형을 분류하는 기법을 제시한다. 본 연구에서는 먼저 필름 결함 영상을 결함 영역과 결함이 아닌 배경 영역으로 이진화하고, 결함 영역에서 결함의 선형성(linearity), 명암도 분포를 고려한 형태 특징 등의 여러 가지 특징을 분석하여 기준 영상(referential image) 데이터베이스를 구축하였으며, 분류하고자 하는 결함 영상과 데이터베이스에 저장된 기준 영상과의 매칭 비용 함수(matching cost function)를 정의하여 적절히 매칭시킴으로써 결함의 유형을 결정하였다. 제시한 기법의 성능을 검증하기 위하여 실제 TFT-LCD 생산 라인에서 획득한 결함 영상들을 대상으로 분류 실험을 수행하였으며, 실험 결과 생산 라인에서 이용할 수 있을 정도의 상당한 수준의 분류 정확도를 달성하였음을 보여주었다.

수동 소나 시스템을 위한 실효치교차율 분석 기반 음향센서 결함 탐지 기법 (An acoustic sensor fault detection method based on root-mean-square crossing-rate analysis for passive sonar systems)

  • 김용국;박정원;김영신;이상혁;김홍국
    • 한국음향학회지
    • /
    • 제36권1호
    • /
    • pp.30-38
    • /
    • 2017
  • 본 논문에서는 수동 소나 시스템을 위한 수중 음향 센서 결함 탐지 기법을 제안하였다. 일반적으로 수동 소나 시스템에서는 수십개의 음향 센서를 통해 얻은 음향 신호를 이용하여 배열 신호처리 기법을 이용해 처리된 신호를 협대역 또는 광대역 분석을 위한 2차원 영상 형태로 전시한다. 운용 소프트웨어에서 전시되는 탐지 결과는 배열 신호처리를 통해 누적된 결과값을 전시하기 때문에, 단일 센서 채널의 결함 또는 고장에 따른 신호의 이상 여부를 판단하는데 어려움이 있다. 따라서 본 논문에서는 인접 채널간 실효치 비교 및 실효치교차율(Root Mean Square Crossing-Rate, RMSCR) 분석기반 센서 자동 결함 탐지 기법을 제안하고, 결함 센서 채널에 대한 처리 기법을 비교 분석하였다. 제안된 기법의 성능 분석을 위하여 일부 연안 지역에서 실제 운용 중인 센서 배열을 통해 획득된 신호를 이용하여 결함 탐지 정확도를 측정하고, 결함 처리 기법의 성능을 비교하였다. 실험을 통해 제안된 기법이 높은 RMS의 주변소음 환경에서도 높은 결함 탐지 정확도를 보였으며, 결함 처리 기법으로는 0으로 설정 처리 기법이 가장 높은 성능을 보였다.