• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.8
• /
• pp.287-300
• /
• 2021

Collaborative Cyber-Physical Systems (CCPS) are those systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System (CPS) can be achieved by following the safety standards such as ISO 26262 and IEC 61508 or by applying hazard analysis techniques. However, due to the complex, highly interconnected, heterogeneous, and collaborative nature of CCPS, a fault in one CPS's components can trigger many other faults in other collaborating CPSs. Therefore, a safety assurance technique based on fault criticality analysis would require to ensure safety in CCPS. This paper presents a Fault Criticality Matrix (FCM) implemented in our tool called CPSTracer, which contains several data such as identified fault, fault criticality, safety guard, etc. The proposed FCM is based on composite hazard analysis and content-based relationships among the hazard analysis artifacts, and ensures that the safety guard controls the identified faults at design time; thus, we can effectively manage and control the fault at the design phase to ensure the safe development of CPSs. To justify our approach, we introduce a case study on the Platooning system (a collaborative CPS). We perform the criticality analysis of the Platooning system using FCM in our developed tool. After the detailed fault criticality analysis, we investigate the results to check the appropriateness and effectiveness with two research questions. Also, by performing simulation for the Platooning, we showed that the rate of collision of the Platooning system without using FCM was quite high as compared to the rate of collisions of the system after analyzing the fault criticality using FCM.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.9
• /
• pp.767-773
• /
• 2018

In many cases, modern aircraft are equipped with data acquisition system which checks the structural integrity of the aircraft. The analysis of the vibration data collected with the system is generally performed in dependence on a skilled expert who is familiar with aircraft design. Therefore, it is difficult to provide a representative and objective defect identification standard for general users. In this paper, we shows that it is possible to identify the type of maneuvers and faults by using the Principal Component Analysis(PCA) method in the vast vibration data collected during aircraft operation without using the existing aircraft design analysis. We classified the ROK Army aircraft vibration data for maneuvers and faults types, and applied the PCA to the classified data. Our result shows that it is possible to develop an objective maneuver/fault identification method without design analysis for general users.

• Journal of KIISE:Databases
• /
• v.37 no.6
• /
• pp.315-323
• /
• 2010

In Wireless Sensor Networks (WSNs), various Data-Centric Storages (DCS) schemes have been proposed to store the collected data and to efficiently process a query. A DCS scheme assigns distributed data regions to sensor nodes and stores the collected data to the sensor which is responsible for the data region to process the query efficiently. However, since the whole data stored in a node will be lost when a fault of the node occurs, the accuracy of the query processing becomes low, In this paper, we propose an in-network aggregation query processing method that assures the high accuracy of query result in the case of data loss due to the faults of the nodes in the DCS scheme. When a data loss occurs, the proposed method creates a compensation model for an area of data loss using the linear regression technique and returns the result of the query including the virtual data. It guarantees the query result with high accuracy in spite of the faults of the nodes, To show the superiority of our proposed method, we compare E-KDDCS (KDDCS with the proposed method) with existing DCS schemes without the data-loss correction method. In the result, our proposed method increases accuracy and reduces query processing costs over the existing schemes.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.4
• /
• pp.3-10
• /
• 2007

In this paper, we proposed the methodology for security testing using block-based file fault injection. When fault is inserted into software, we consider the format of file in order to efficiently reduce the error that is caused by mismatch of format of file. The Vulnerability the methodology focuses on is related to memory processing, such as buffer overflow, null pointer reference and so on. We implemented the automatic tool to apply the methodology to image file format and named the tool ImageDigger. We executed fault-injection focused on WMF and EMF file format using ImageDigger, and found 10 DOS(Denial of Service) in Windows Platform. This methodology can apply to block-based file format such as MS Office file.

• The KIPS Transactions:PartD
• /
• v.15D no.3
• /
• pp.321-326
• /
• 2008

The software defects that are not found in the course of a project frequently appear during the conduct of the maintenance procedure after the complete development of the software. As the frequency of surfacing of defects during the maintenance procedure increases, the cost likewise increases, and the quality and customer reliability decreases. The defect rate will go down only if cause analysis and process improvement are constantly performed. This study embodies the defect tracking system (DTS) by considering the Pareto principle: that most defects are repetitions of defects that have previously occurred. Based on the records of previously occurring defects found during the conduct of a maintenance procedure, DTS tracks the causes of the software defects and provides the developer, operator, and maintenance engineer with the basic data for the improvement of the software concerned so that the defect will no longer be manifested or repeated. The basic function of DTS is to analyze the defect type, provide the measurement index for it, and aggregate the program defect type. Doing these will pave the way for the full correction of all the defects of a software as it will enable the defect correction team to check the measured defect type. When DTS was applied in the software configuration management system of the W company, around 65% of all its software defects were corrected.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1166-1176
• /
• 1999

연속 매체, 특히 비디오 데이타에 대한 일반 사용자 연산에는 재생뿐만 아니라 임의 속도 탐색 연산, 정지 연산, 그리고 그 외 다양한 연산이 있다. 이 연산 중에서 원하는 화면을 빨리 찾는 데에 유용한 고속 전진(FF: fast-forward)과 고속 후진(FB: fast-backward)은 재생 연산과는 달리 비순차적인 디스크 접근을 요구한다. 이러한 경우에 디스크 부하가 균등하지 않으면 일부 디스크에 접근이 편중되어 서비스 품질이 떨어진다. 본 논문에서는 디스크 배열을 이용한 저장 시스템에서 디스크 접근을 고르게 분산시키기 위하여 '소수 라운드 로빈(PRR: Prime Round Robin)' 방식으로 연속 매체를 디스크에 배치하는 기법에서 문제가 됐던 낭비된 디스크 저장 공간을 신뢰도 향상을 위해서 사용하는 '그룹화된 패리티를 갖는 소수 라운드 로빈(PRRgp: PRR with Grouped Parities)' 방식을 제안한다. 이 기법은 PRR 기법처럼 임의 속도 검색 연산에 있어서 디스크 배열을 구성하는 모든 디스크의 부하를 균등하게 할뿐만 아니라 낭비됐던 디스크 저장 공간에 신뢰도를 높이기 위한 패리티 정보를 저장함으로서 신뢰도를 향상시킬 수 있다. 신뢰도 모델링 방법으로 조합 모델과 마르코프 모델을 이용해서 결함발생율과 결함복구율을 고려한 신뢰도를 산출하고 비교.분석한다. PRR 기법으로 연속 매체를 저장하고 낭비되는 공간에 패리티 정보를 저장할 경우에 동시에 두 개 이상의 결함 발생 시에 그 결함으로부터 복구가 불가능하지만 PRRgp 기법에서는 약 30% 이상의경우에 대해서 동시에 두 개의 결함 발생 시에 저장한 패리티 정보를 이용한 복구가 가능할 뿐만 아니라 패리티 그룹의 수가 두 개 이상인 경우에는 두 개 이상의 결함에 대해서도 복구가 가능하다.Abstract End-user operations on continuous media (say video data) consist of arbitrary-rate search, pause, and others as well as normal-rate play. FF(fast-forward) / FB(fast-backward) among those operations are desirable to find out the scene of interest but they require non-sequential access of disks. When accesses are clustered to several disks without considering load balance, high quality services in playback may not be available. In this paper, we propose a new disk placement scheme, called PRRgp(Prime Round Robin with Grouped Parities), with enhanced reliability by using the wasted disk storage space in an old one(PRR: Prime Round Robin), in which continuous media are placed on a disk array based storage systems to distribute disk accesses uniformly. The PRRgp can not only achieve load balance of disks consisting of a disk array under arbitrary-rate search like PRR, but also improve reliability by storing parity information on the wasted disk space appropriately. We use combinatorial and Markov models to evaluate the reliability for a disk array and to analyze the results. When continuous media like PRR are placed and parity information on the wasted disk space is stored, we cannot tolerate more than two simultaneous faults. But they can be recovered by using stored parity information for about 30 percent as a whole in case of PRRgp presented in this paper. In addition, more than two faults can be tolerated in case there are more than two parity groups.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.5
• /
• pp.1-10
• /
• 2014

The proposed scheme schedules given real-time tasks so that energy consumption of multicore processors would be minimized while meeting tasks' deadline and tolerating a permanent fault based on the primary-backup task model. Whereas the previous methods minimize the overlapped time of a primary task and its backup task, the proposed scheme maximizes the overlapped time so as to decrease the core speed as much as possible. It is analytically verified that the proposed scheme minimizes the energy consumption. Also, the proposed scheme saves up to 77% energy consumption of the previous method through experimental performance evaluation.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.12 no.3
• /
• pp.71-83
• /
• 2008

In this paper, the basic principle, the application and the limitation of Infrared thermography technique to detect defects in different kinds of concrete structures are reviewed. Considered are voids beneath the concrete surface with experiments, delamination between concrete surface and fiber reinforced polymer sheet, the deterioration of steel bars in reinforced concrete, surface defects in historical buildings, pavements, bridges, and railway track graves. As a result, we conclude that infrared thermography methods are useful for fast detecting defects; however, they are influenced by environmental factors, specially temperature. Therefore it is recommended to use the infrared thermography technique with other NDT equipments to expect better result.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.6
• /
• pp.499-506
• /
• 2004

The copper foil surface inspection system is necessary for the factory automation and product quality. The developed system is composed of the high speed line scan camera, the image capture board and the processing computer. For the system resource utilization and real-time processing, multi-threaded architecture is introduced. There are one image capture thread, 2 or more defect detection threads, and one defect communication thread. To process the high-speed input image data, the I/O overlap is used through the double buffering. The defect is first detected by the predetermined threshold. To cope with the light irregularity, the compensation process is applied. After defect detection, defect type is classified with the defect width, eigenvalue ratio of the defect covariance matrix and gray level of defect. In experiment, for high-speed input image data, real-time processing is possible with multi -threaded architecture, and the 89.4% of the total 141 defects correctly classified.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2000.04a
• /
• pp.22-22
• /
• 2000

본 연구에서는 초음파 탐촉자의 접촉방식을 다양화하여 Immersion법/Bubbler법/Squirtor법으로 복합재 연소관을 탐상하는 방법에 대하여 연구하였으며, 이를 위하여 FRP의 delamination, FRP-EPDM간의 미접착을 모사한 복합재 연소관 모의결함시편을 제작하여 시험하였다. Immersion법에서는 일반적으로 사용되는 방법을 적용하였으며 Bubbler 및 Squirter법에서는 자체적으로 설계 및 제작한 치구를 이용하여 시험하였다. 이들 각 방법에 대하여 복합재 연소관 모의결함 시편의 결함부위에 대한 초음파 신호를 A-scan으로 비교하고 또한 C-scan하여 결함의 검출 정도를 비교하였다. 그리고 시험 자료를 바탕으로 데이터 값을 분석함으로써 복합재 연소관에서의 초음파 속도, 음향 임피던스, 반사율 및 투과율 등 복합재료의 초음파 특성을 산출하였으며 또한 건전신호와 결함신호에 대한 분류기준을 제시하였다.