• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.157-158
• /
• 2007

본 논문에서는 산업전반에 걸쳐 널리 사용되는 유도전동기의 고장상태를 검출하기 위해 DFT(Discreet Fourier Transform)와 LDA에 기반을 둔 진단 알고리즘을 제안하고자 한다. 실험에 의해 측정된 전류값을 DFT에 의해 시간공간에서 주파수 공간으로 변환한 후에 LDA기법을 이용하여 특징벡터를 산출한 후 거리 유사도에 의해 진단이 수행된다. 제안된 방법의 타당성을 보이기 위해 여섯 가지의 고장을 대상으로 다양한 조건하에서 실험한 결과 기존 방법에 비교하여 우수한 결과를 나타냈다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.280-282
• /
• 2003

많은 산업 분야에서 사용되는 실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정확성을 요구한다. 그래서 실시간 시스템에서 동작하는 작업들은 항상 마감시간을 지키기 위해 작업에 대한 스케줄링이 매우 중요한 요소가 된다. 그리고 시스템의 신뢰도를 높이기 위해서는 고장 감내가 반드시 필요하다. 특히. 현대 기술의 발달로 일부 분야에서 사용되어 지던 실시간 시스템이 실시간 내장형 시스템 형태로 다양한 분야에 사용되어 진다. 내장형 시스템을 개발하는데 있어 자원의 절약 또한 하나의 중요한 요소이다. 따라서 본 논문에서는 실시간 시스템에서의 작업들이 마감 시간을 만족하며 고장 감내를 보장하는 시간 중복 기법과 백업 기법을 혼합하여 주기적으로 동작하는 작업들의 신뢰도와 자원의 효율 및 절약을 높이는 스케줄링 기법을 제안하고 실험한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.2
• /
• pp.329-337
• /
• 2013

Cyber threats of the ICS(Industrial Control System) has been researched on the level to the threat to the network service as well as a specific system, even if the extent of damage was not intended. Although some range of "security" just include the protection of systems against the deliberate attacks of terrorists or cyber hackers, often more damage is done by carelessness, and equipment failures than by those deliberate attacks. This paper presented a taxonomy for classifying all abnormal behaviors of ICS, including deliberate attacks, inadvertent mistakes, equipment failures, and software problems. The classification criteria of ICS abnormal behaviors was selected to highlight commonalities and important features of deliberate attacks as well as inadvertent actions.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.3
• /
• pp.18-26
• /
• 1999

소프트웨어 개발과정에서는 설계 및 코딩에 의해서 프로그램 내에 많은 결함이 삽입되고 시험을 거치는 동안 결함은 발견되고 수정되어 진다. 이와 같은 반복 작업을 통해서 소프트웨어 내에 잠재하고 있는 에러들을 발견, 조치함으로써 소프트웨어 품질은 향상되고 품질에 대한 신뢰성이 높아진다. 본 논문에서는 위와 같은 소프트웨어 개발 과정을 거치는 동안에 많은 시험이 동반되고 이에 따른 시험의 여러 자원이 투입되는데 착안하여 소프트웨어 신뢰도가 성장되어 가는 과정에 수반된 시험능력을 기반으로 한 시험능력의존형 소프트웨어 신뢰도 성장모델을 살펴보고 이를 적용하여 개발중인 소프트웨어에 대한 시험능력 투입에 따른 신뢰도를 평가하였다. 또 S-Shaped Model에 의한 평가치와 비교하여 시험이 진행됨에 따라 소프트웨어 고장 발견율이 상승되는 것을 보였다.

• Journal of the Korean Institute of Gas
• /
• v.24 no.3
• /
• pp.1-10
• /
• 2020

This paper describes the development of a smart advanced metering infrastructure(AMI) architecture and services for using smart metering in gas industry. A general gas AMI system is composed of a smart gas meter, IoT network, the AMI platform, and an operation management system with security functions. The proposed gas AMI platform supports two-way communication between smart metering devices and AMI services and is applied by oneM2M standard to support interoperability between various types of metering devices and heterogeneous IoT networks. To demonstrating AMI system with the proposed platform, we installed about 2,900 smart gas meters in real environments and operated AMI systems for one year. We verified that about 94% of gas meters are normally worked and AMI services are stably operated without error or malfunction.

• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.271-284
• /
• 2008

Self-healing is an approach to evaluating constraints defined in target system and to applying an appropriate strategy when violating he constrains. Today, the computing environment is very complex, so researches that endow a system with the self-healing's ability that recognizes problem arising in a target system are being an important issues. However, most of the existing researches are that self-healing developers need much effort and time to analyze and model constraints. Thus, this paper proposes an automated approach to determine problem arising in external and internal system environment. The approach proposes: 1) Specifying the target system through the models created in design phase of target system. 2) Automatically creating constraints for external and internal system environment, by using the specified contents. 3) Deriving a dependency model of a component based on the created internal state rule. 4) Translating the constraints and dependency model into code evaluating behaviors of the target system, and determinating problem level. 5) Monitoring an internal and external status of system based on the level of problem determination, and applying self-healing strategy when detecting abnormal state caused in the target system. Through these, we can reduce the efforts of self-healing developers to analyze target system, and heal rapidly not only abnormal behavior of target system regarding external and internal problem, but also failure such as system break down into normal state. To evaluate the proposed approach, through video conference system, we verify an effectiveness of our approach by comparing proposed approach's self-healing activities with those of the existing approach.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2575-2583
• /
• 1998

The productionof the highly relible softwae systems and theirs performance evaluation hae become important interests in the software industry. The software evaluation has been mainly carried out in ternns of both reliability and performance of software system. Software reliability is the probability that no software error occurs for a fixed time interval during software testing phase. These theoretical software reliability models are sometimes unsuitable for the practical testing phase in which a software error at a certain testing stage occurs by causes of the imperfect debugging, abnornal software correction, and so on. Such a certatin software testing stage needs to be considered as an outlying stage. And we can assume that the software reliability does not improve by means of muisance factor in this outlying testing stage. In this paper, we discuss Bavesian software reliability growth modeling and estimation procedure in the presence of an imidentitied outlying software testing stage by the modification of Jehnski Moranda. Also we derive the Bayes estimaters of the software reliability panmeters by the assumption of prior information under the squared error los function. In addition, we evaluate the proposed software reliability growth model with an unidentified outlying stage in an exchangeable model according to the values of nuisance paramether using the accuracy, bias, trend, noise metries as the quantilative evaluation criteria through the compater simulation.