• 한국철도학회논문집
• /
• 제9권6호
• /
• pp.725-731
• /
• 2006

Hot Standby sparing system detecting faults by using software, and being tolerant any faults by using Hardware Redundancy is difficult to perform quantitative reliability prediction and to detect real time faults. Therefore, this paper designs Hot Standby sparing system using hardware basis self checking logic in order to overcome this problem. It also performs failure mode analysis of Hot Standby sparing system with designed self checking logic by using FMEA (Failure Mode Effect Analysis), and identifies reliability assessment of the controller designed by quantifying the numbers of failure development by using FTA (Fault Tree Analysis)

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.275-277
• /
• 2001

열차제어시스템의 소프트웨어는 높은 신뢰성과 안전성이 요구된다. 이를 위해 철도에서는 고장회피(Fault Avoidance) 기법과 고장허용(Fault Tolerance)기법을 사용하고 있다. 그러나 최근 신호설비의 소프트웨어 신뢰성을 좀더 향상시키기 위해 일본, 프랑스, 스웨덴 등에서는 안전에 치명적인 시스템에 사용되고 있는 정형기법(Forma) Method)을 포함하여 많은 연구를 수행중이다. 본고에서는 국외 관련분야를 분석하고, 열차제어시스템 소프트웨어의 신뢰성 향상에 관하여 기술하고자 한다.

• 한국정보처리학회논문지
• /
• 제6권10호
• /
• pp.2618-2629
• /
• 1999

In this paper, we describe the design and implementation of the FDRA(Fault Detection Recovery based on Agent) running on distributed multimedia environment. DOORAE is a good example for distributed multimedia and multimedia distance education system among students and teachers during lecture. It has primitive service agents. Service functions are implemented with objected oriented concept. FDRA is a multi-agent system. It has been environment, intelligent agents interact with each other, either collaboratively or non-collaboratively, to achieve their goals. The main idea is to detect an error by using polling method. This system detects an error by polling periodically the process with relation to session. And, it is to classify the type of error s automatically by using learning rules. The merit of this system is to use the same method to recovery it as it creates a session. FDRA is a system that is able to detect an error, to classify an error type, and to recover automatically a software error based on distributed multimedia environment.

• 인터넷정보학회논문지
• /
• 제8권5호
• /
• pp.59-66
• /
• 2007

국내에서는 새마을 열차, 지하철 일부 구간에 TIT 기술 기반의 IP-TV 방송 서비스를 제공되고 있으나, 교차 실행 시간 구간에서 메모리 누수 및 오버플로우가 빈번히 발생되어 서비스의 신뢰성 약화에 주요한 원인이 되고 있다. 본 논문에서는 물리적 실행 환경이 열악한 TIT 기반의 IP-TV 플랫폼의 연속 동작의 신뢰성을 향상시키기 위해 Monitoring module과 Reset module을 개발하고 재생 시간이 실험을 통해 7.2% 향상시킬 수 있었다. 특히, Monitoring module은 기존 시스템(8)의 문제점인 S/W Fault에 기인된 Dead Lock 상태를 극복하기 위해 H/W기반의 Reset Module을 추가하여 서비스 차원의 결함 허용(Fault Tolerance)을 제공하였다.

• 정보처리학회논문지C
• /
• 제14C권4호
• /
• pp.313-320
• /
• 2007

본 논문에서는 MS 워드프로세서의 입력 파일에 대한 유효성을 검사하여 MS 워드프로세서의 보안 취약성을 분석하는 방법을 제안하였다. 즉, 워드프로세서에 적용되는 입력 파일의 헤더 정보를 분석함으로써, 그 입력 파일에 존재하는 취약성을 검출하였다. 본 논문에서 수행한 입력 파일 유효성 테스팅은 기존 결함 주입 도구인 Holodeck 및 CANVAS 등으로는 테스트할 수 없다. 제안한 방법은 헤더를 가진 데이터 파일을 입력으로 사용하는 한글, MS 엑셀 등의 입력 파일에 대한 취약성 검출에도 적용될 수 있다. 또한, 대상 소프트웨어들의 결함 허용성 평가 및 신뢰성 평가에도 사용될 수 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권5호
• /
• pp.1829-1846
• /
• 2021

Transient faults occur in computation units of a processor, which can cause control flow errors (CFEs) and compromise system reliability. The software-based methods perform illegal control flow detection by inserting redundant instructions and monitoring signature. However, the existing methods not only have drawbacks in terms of performance overhead, but also lack of configurability. We propose a configurable approach CCFCA for detecting CFEs. The configurability of CCFCA is implemented by analyzing the criticality of each region and tuning the detecting granularity. For critical regions, program blocks are divided according to space-time overhead and reliability constraints, so that protection intensity can be configured flexibly. For other regions, signature detection algorithms are only used in the first basic block and last basic block. This helps to improve the fault-tolerant efficiency of the CCFCA. At the same time, CCFCA also has the function of solving confusion and instruction self-detection. Our experimental results show that CCFCA incurs only 10.61% performance overhead on average for several C benchmark program and the average undetected error rate is only 9.29%. CCFCA has high error coverage and low overhead compared with similar algorithms. This helps to meet different cost requirements and reliability requirements.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권1호
• /
• pp.123-144
• /
• 2014

Wireless sensor networks are generally deployed for specific applications to accomplish certain objectives over a period of time. To fulfill these objectives, it is crucial that the sensor network continues to function for a long time, even if some of its nodes become faulty. Energy efficiency and fault tolerance are undoubtedly the most crucial requirements for the design of an information extraction protocol for any sensor network application. However, most existing software agent based information extraction protocols are incapable of satisfying these requirements because of static agent itineraries and large agent sizes. This paper proposes an Information Extraction protocol based on Multiple software Agents with Dynamic Itineraries (IEMADI), where multiple software agents are dispatched in parallel to perform tasks based on the query assigned to them. IEMADI decides the itinerary for an agent dynamically at each hop using local information. Through mathematical analysis and simulation, we compare the performance of IEMADI with a well known static itinerary based protocol with respect to energy consumption and response time. The results show that IEMADI provides better performance than the static itinerary based protocols.

• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.105-116
• /
• 1997

분산처리 시스템을 위한 소프트웨어 개발 방법 및 이를 지원하는 프레임워크의 개발은 분산처리 시스템을 위한 좋은 소프트웨어의 개발을 위해 매우 필요한 일이라 할 수 있다. 즉, 분산처리 시스템을 위한 신뢰성 있고 적합성과 확장성을 가진 소프트웨어의 개발은 매우 중요한 일이다. 자치적 분산처리 시스템(Autonomous Decentralized Systems)은 온라인 확장성과 온라인 유지보수성 및 fault tolerance기능을 가진 분산처리 시스템이다. 이 논문에서는 자치적 분산처리 시스템을 위한 객체지향 소프트웨어 개발을 지원하는 프레임워크에 대하여 논한다. 이 프레임워크는 객체지향 요구 분석과 객체지향 설계, 구현, 프로세서에 타스크(task)의 할당, 검증 및 유지보수로 구성되어 있으며, 온라인 확장성과 온라인 변경성(modifiability)을 지원한다. 자치적 분산처리 애플리케이션 소프트웨어 개발을 지원하는 프레임워크는 객체지향 computation 모델을 근간으로 하고 있다. 이 논문에서는 프레임워크외에도 자치적 분산처리 소프트웨어 개발을 위한 CASE(Computer Aided Software Engineering) 환경에 대하여서도 논한다.

• 한국항행학회논문지
• /
• 제15권1호
• /
• pp.157-161
• /
• 2011

본 논문은 세션 관리 기능을 포함한 차량 네트워크 환경을 위한 오류 처리에 대해서 기술한다. 이 시스템은 FDA(Fault Detection Agent)와 FRA(Fault Recovery Agent)로 구성되어 있다. FDA는 세션 관리 기능을 포함한 차량 네트워크 환경에서 멀티미디어 시스템을 위하여 훅 킹 기법으로 오류를 감지하는 에이전트이다. FRA는 차량 네트워크 환경에서 세션 관리 기능을 포함한 멀티미디어 시스템을 위한 소프트웨어 오류를 복구하기에 적합한 에이전트이다. 본 논문에서는 FRA에 범위를 한정한다. 여러 개의 지역 세션이 동시에 개설 되었을 경우에 각 지역 세션 관리자는 자신의 세션에 속한 참여자들에 대한 정보를 전체 세션 관리자에게 제공해서 네트워크에서 진행 중인 세션에 대한 최신의 정보를 유지한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권5_6호
• /
• pp.290-298
• /
• 2003

인터넷 기반 시스템에서는 고가용도와 고성능을 제공해야하며, 클러스터 시스템 기술은 이에 대한 하나의 해결책으로 떠오르고 있다. 클러스터 시스템을 사용하는 중요한 목적은 성능과 가용도의 확보에 있으며, 고가용도 클러스터 시스템은 구성 노드들 중 일부에 결함이 발생했을 때 이를 비용ㆍ효율적으로 해결한다. 본 논문은 (n,k) 클러스터 시스템의 성능을 고려한 가용도 개선과 손실비용 분석에 관한 연구로 소프트웨어 재활 기법을 적용한 (n,k) 클러스터 시스템의 가용도 모델을 제안하였으며, 고가용도가 요청되는 시스템에서 소프트웨어 재활은 가용도 향상을 가져오는 유용한 기법 중의 하나임을 파악하였다.