• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.700-702
• /
• 2002

원자력발전소 1차계통 주요기기와 2차계통 주요기기들에 대한 가동 중 검사시 발견된 결함은 ASME Sec. XI, IWB와 IWC에 근거하여 허용여부를 결정한다. 이때, 결함 크기가 허용기준을 초과하는 경우에는, 기기의 안전성 확보를 위해 ASME Sec. XI에 규정된 절차에 따라 파괴역학분석(Fracture Mechanics Analysis: FMA)을 수행하고, 그 결과에 따라 운전중지 후 보수 또는 계속운전의 판단을 한다. 따라서, 원자력발전소 주요기기에 대한 FMA기술은 안전성평가의 핵심이 되는 부분이다. 원자력발전소의 안전성평가에는 결함의 형상 정보, 환경 정보, 재료 물성치, 응력 데이터 등 방대한 양의 데이터가 필요할 뿐 아니라 파괴역학적 분석절차도 매우 복잡하여 전문가도 많은 시간과 노력이 요구된다. 이러한 문제점을 해결하고자 일부 평가절차를 컴퓨터 프로그램화하여 효율적인 안전성평가가 이루어지도록 노력하고 있다. 본 논문에서는 파괴역학적 분석에 필요한 응력 데이터를 관리하는 응력 데이터베이스를 구축하고, 응력확대계수계산 프로그램(KEVA)과 결함허용여부를 결정하는 프로그램(Acceptance Standard)과 결함성장률 계산 프로그램(FLEVA)을 Web 기반으로 개발하고 구현결과를 소개한다.

• 한국정보처리학회논문지
• /
• 제2권4호
• /
• pp.453-465
• /
• 1995

원격 프로시듀어 호출은 좀 더 효율적이며 신뢰성이 가미된 분산 프로그램을 프로 그래머가 작성하기 쉽도록 하기 위하여 연구 되어 왔다. 본 연구에서는 하드웨어 결함 에 대한 신뢰성 있는 결함 허용 원격 프로시듀어 호출 기법을 제시한다. 결합 허용은 chain이라 불리는 노드의 그룹으로 프로시듈어를 복제 하여 제공하며, chain내의 사본 들은 선형적인 순서로 되어 있다. 프로시듀어에 대한 호출은 chain내의 첫 번째 사본 (primary copy)으로 보내지며, 나머지 사본에게는 내부적으로 전파된다. 결함이 발생 한 경우, 결함이 발생하지 않은 chain 내의 첫 번째 사본이 caller에게 결과를 반환하 게 된다. 특히, 제한적으로 ack message을 사용함으로써 중복된 call message와 result message의 처리를 피하였다. 이 기법은 기존의 원격 프로시듀어 호출에 비하여 효율적 이고 신뢰성 있는 결함 허용을 제공하게 된다.

• 한국산업정보학회논문지
• /
• 제3권1호
• /
• pp.1-11
• /
• 1998

본 논문에서는 "실행 프로세서 " , "대기 프로세서" 그리고 "프로세서 절체"와 같은 향상된 개념과 기법을 사용하여 실시간 시스템에 의한 이중화 구조를 설계하고 신뢰성을 평가한다. 이중화구조는 동일한 두 개의 하드웨어 요소로 구성되며, 신속한 결함검출과 결함분리를 위한 유용한 여러 복구단계로 구성되었기 때문에 하드웨어와 소프트웨어의 부가로 인한 시스템의 부담을 최소화 시키고, 시스템이 연속성을 유지하도록한다. 기존의 결함허용 기법과 비교해서, 제안한 구조는 삼중화 구조(TMR) 보다 신뢰성이 향상됨을 보인다. 삼중화 구조(TMR) 보다 신뢰성이 향상됨을 보인다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1464-1480
• /
• 1997

분산 시스템은 높은 성능, 결함 허용성, 정보와 자원의 공유 등을 이룰 수 있는 환경을 제공한다. 그러나 분산 시스템 내에서 발생하는 사건과 상태들을 적절히 관리하지 못하면 이러한 장점의 혜택을 받을 수 없게 된다. 이러한 사건과 상태들은 성능 저하, 동작 오류, 수상한 행위 등의 징후가 될 수 있으므로 자세히 분석되어야 한다. 사건/상태를 적절히 관리하려면 이들을 명세하고 효율적으로 탐지할 수 있어야 한다. 본 논문에서는 사건/상태의 중앙 집중 탐지 알고리즘에 대해 설명한다. 다음 계층적 구조를 갖는 분산 시스템에서 이 탐지 알고리즘을 분산화 하는 방안에 대해 설명한다. 분산 알고리즘은 사건/상태 탐지 임무를 부임무들로 분해하는 과정과 부임무들을 적절한 노드들에 할당하는 과정으로 구성된다. 또 이 분산 탐지 알고리즘이 결함 허용성을 갖도록 하는 방안에 대해서도 설명한다.

• 항공우주시스템공학회지
• /
• 제14권spc호
• /
• pp.1-6
• /
• 2020

미국 연방항공규정(FAR) §29.571 Amendment 55에서 다루고 있는 손상허용 평가 내용은 2012년에 개념 정립이 되었다. 최근 정립된 개념임에 따라 손상허용 평가 개념을 도입하여 입증 절차를 수행한 이력이 많지 않다. 본 논문은 회전익 항공기에서 주요 구조 요소(PSE; Principal Structure Element)로 분류된 주 로터 작동기 개발품을 FAR §29.571 요건의 손상허용 평가를 바탕으로 인증을 위해 수행한 일련의 과정 및 평가 방법들을 소개하고자 한다. 주 로터 작동기는 초기결함을 생성한 후 설계 목표수명의 2배수에 해당하는 손상허용 시험을 수행하였다. 이를 바탕으로 회전익 항공기 주 로터 작동기는 충분한 손상허용능력을 확보하고 있음을 입증하였다.

• 한국항공우주학회지
• /
• 제31권3호
• /
• pp.95-100
• /
• 2003

위성에서 사용되는 전자장비는 고신뢰성을 요구하고 있으며 예비부품을 보유함으로써 어느 정도의 심각한 결함에도 면역(Immune)되도록 설계되어야 한다. 통신위성은 통상 15년의 임무기간을 가지고 있으므로 위성에서 사용되는 전장 부품은 결함에 대한 분석이 수행되어야 한다. 본 논문은 명령 처리기의 결함 허용 설계와 그에 따른 신뢰도 예측값들은 무궁화 위성3호 자료와 다목적 위성 1호 자료를 참고하였다. 결함 허용 설계에는 많은 Trade-off연구가 필요하나 특히 결함 시나리오에 가장 적합한 결함 허용 방식을 선정하는 것이 중요하다고 할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (중)
• /
• pp.921-924
• /
• 2002

기존의 보안 관점에서의 정보보호는 암호화, 인증과 접근제어를 이용하여 권한없는 접근을 방지하는 부분과 침입탐지와 같은 수동적인 관점에서 많이 연구되었다. 그러나 프로그램의 계속적인 취약성이 발견됨에 따라 보다 적극적인 방어 개념인 정보 생존성에 대한 연구도 활발히 이루어지고 있다. 본 논문에서는 정보 생존성에서 네트워크 관점에서 고장 또한 침입에 의한 결함에도 지속적인 네트워크 서비스를 제공할 수 있는 결함허용 네트워크에 대한 아키텍처를 제시한다.

• 한국통신학회논문지
• /
• 제23권6호
• /
• pp.1538-1545
• /
• 1998

시스템의 신뢰성은 디지털 컴퓨터 시대가 시작된 이래 가장 중요한 관심사가 되어 왔다. 신뢰성을 증가시키는 가장 최근 방법 중 하나는 결함허용 시스템을 고안하는 것이다. 본 논문에서는 일반적 그래프 형태에 대해 결함 허용 시스템의 구성방법을 제안하였다. 이 시스템은 여러 개의 예비 노드를 가진다. 최근까지 결함허용 시스템 고안은 루프 형태와 트리 형태의 네트워크에서만 작용되어 왔다. 그러나 그것들은 매우 제한적인 경우이다. 본문의 알고리즘은 그러한 많은 제약을 가지지 않고서 어느 유형이든 적용될 수 있는 융통성을 갖도록 시도되었다. 이 알고리즘은 여러 단계로 구성되는데 최소 직경 스패닝 트리의 검출 단계, 최적 노드 결정 단계, 원래의 연결성 복구 단계 및 최종적으로 중복 그래프의 구성 단계이다.

• 한국정보처리학회논문지
• /
• 제6권9호
• /
• pp.2533-2539
• /
• 1999

결험 허용(fault olerant) 방법에는 두 개의 시스템으로 같은 직업을 수행하게 하는 이중계(duplex) 시스템과, 체크포인트를 두어 결함 발생 시 rollback 하는 checkpoint & rollback 시스템이 있다. 기존 결함 허용 시스템에서는 요구되는 신뢰성을 유지하며 테스크의 수행시간을 단축시키는데 주안점을 두었지만 시간제약을 갖는 실시간 응용 분야에서는 신뢰성 유지와 정해진 시간 이내에 테스크를 종료시키는 것이 더욱 중요하다. 본 논문에서는 이들 결함 허용 시스템을 실시간 응용 측면에서 비교 분석하였다.

• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1639-1651
• /
• 1998

본 논문에서는 RESO(REcomputation with Shifted Operands)와 같은 시간 결함허용 기법을 이용한 단일칩 컴퓨터의 결함허용성을 평가하기 위한 분석 및 시뮬레이션 모델을 제안한다. 단일칩으로 들어오는 모든 작업은 이중화 처리된다고 가정하고 1차 작업과 2차 작업의 효율적인 처리를 위한 세가지 스케쥴링 방법들을 제안하고 분석한다. 고안된 스케쥴링 방법들은 결함과 결함허용으로 인한 응답시간 지연이 시스템의 비용에 미치는 영향을 단일칩의 부하와 결함발생율에 따라서 평가한다. 제안된 모델을 사용하면 비용, 단일칩의 부하 및 결함발생율과 같은 실험 파라미터에 기초한 최적 지연($\kappa$)를 가지는 결함허용 스케쥴을 구할 수 있다.