• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.19 no.5
• /
• pp.80-86
• /
• 2005

Induction motors are a critical component of many industrial processes and are frequently integrated in commercially available equipment. Safety, reliability, efficiency, and performance are some of the major concerns of induction motor applications. Fault tolerant control (FTC) strives to make the system stable and retain acceptable performance under the system faults. All present FTC method can be classified into two groups. The first group is based on fault detection and diagnostics (FDD). The second group is includes of FDD and includes methods such as integrity control, reliable stabilization and simultaneous stabilization. This paper presents the fundamental FDD-based FTC methods, which are capable of on-line detection and diagnose of the induction motors. Therefore, our group has developed the embedded distributed fault tolerant and fault diagnosis system for industrial motor. This paper presents its architecture. These mechanisms are based on two 32-bit DSPs and each TMS320F2407 DSP module processes the stator current, voltage, temperatures, vibration signal of the motor.

• KIISE Transactions on Computing Practices
• /
• v.21 no.9
• /
• pp.604-609
• /
• 2015

The use of Operating System(OS) virtualization is increasing as it provides many useful features such as efficient use of hardware(HW), easy system migration, and isolation between virtual spaces which prevents errors effecting each other. Recent development in HW has made it possible to use OS virtualization in embedded systems. However, implementing OS virtualization means that a multiple number of schedulers are layered in a system, rendering it difficult to analyze the schedulability of the system and errors are easily produced. Errors in safety critical embedded systems can cause serious damage to life and property; thus, the hierarchical schedulability must be verified. In this paper, we propose a framework which supports formal modeling and verification of hierarchical scheduling systems with UPPAAL.

• Journal of Advanced Navigation Technology
• /
• v.22 no.2
• /
• pp.168-172
• /
• 2018

HACCP is scientific Sanitary control system to ensure food safety with autonomous, systematic and effective way by analysing hazard element that can be occurred in each steps until an end consumer takes food including raw material status, manufacturing, processing, storing, distributing, cooking and specifying the critical control point. In this paper, the temperature and humidity are measured during the transport of food, the stage of its distribution, to ensure systematic and effective management of HACCP, and we designed a monitoring terminal that uses this information to send it to servers periodically and a firmware that implements it. We have confirmed that the data transmitted by the terminal, including the information measured in sub-net, was well stored on the server and the response from the server is well received by the terminal. It is expected to be used for the management of food history, data tracking and statistical data in the future. This system is also considered to be an applicable system for group cafeteria such as schools or workplaces and logistics warehouses for raw materials or food storage and so on.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.7 no.6
• /
• pp.871-880
• /
• 2017

Recently, service based on internet is inter-connected and integrated with a variety of connection. This kind of internet of things consist of heterogenous devices such as sensor node, devices and end-to end equipment which used in conventional protocols and services. The representative system is healthcare system. From healthcare appliance used by IoT, patient and doctor can utilize healthcare information with safety and high speed management. It is very convenient management to operate mobility. But it induced security and vulnerability issues because it has small memory capacity, low power supply and low computing power. This made impossible to implement security algorithm with embedded engine based on hardware. Nowdays, we can't realize conventional standard algorithm due to these kinds of reasons. From the critical issues, it occurred security and vulnerability issues. Therefore, we analysed and compared with conventional method and proposed techniques. Finally, we evaluated security issues and requirement for end-to-end point healthcare system based on internet of things.

• Convergence Security Journal
• /
• v.22 no.1
• /
• pp.99-111
• /
• 2022

With current battlefield environment relying heavily on Network Centric Warfare(NCW), existing weaponary systems are evolving into a new concept that converges IT technology. Majority of the weaponary systems are implemented with numerous embedded softwares which makes such softwares a key factor influencing the performance of such systems. Furthermore, due to the advancements in both IoT technoogies and embedded softwares cyber threats are targeting various embedded systems as their scope of application expands in the real world. Weaponary systems have been developed in various forms from single systems to interlocking networks. hence, system level cyber security is more favorable compared to application level cyber security. In this paper, a secure real-time operating system has been designed, implemented and measured to protect embedded softwares used in weaponary systems from unknown cyber threats at the operating system level.

• Journal of Food Hygiene and Safety
• /
• v.29 no.2
• /
• pp.79-84
• /
• 2014

This study has been performed for about 270 days at analyzing biologically hazardous factors in order to develop HACCP system for the non heat-frozen carrot juice. A process chart was prepared by manufacturing process of raw agricultural products of non heat-frozen carrot juice, which was contained water and packing material, storage, washing, cutting, extraction of the juice, internal packing, metal detection, external packing, storage and consignment (delivery). As a result of measuring Coliform group, Staphylococcus aureus, Salmonella spp., Bacillus cereus, Listeria Monocytogenes, Enterohemorrhagic E. coli before and after washing raw carrot, Standard plate count was $4.7{\times}10^4CFU/g$ before washing but it was $1.2{\times}10^2CFU/g$ detected after washing. As a result of testing airborne bacteria (Standard plate count, Coliform group, Yeast and Fungal) depending on each workplace, number of microorganism of in packaging room, shower room and juice extraction room was detected to be 10 CFU/Plate, 60 CFU/Plate, 20 CFU/Plate, respectively. As a result of testing palm condition of workers, as number of Standard plate count, Coliform group and Staphylococcus aureus was represented to be high as $6{\times}10^4CFU/cm^2$, $0CFU/cm^2$ and $0CFU/cm^2$, respectively, an education and training for individual sanitation control was considered to be required. As a result of inspecting surface pollution level of manufacturing facility and devices, Coliform group was not detected in all the specimen but Standard plate count was most dominantly detected in scouring kier, scouring kier tray, cooling tank, grinding extractor, storage tank and packaging machine-nozzle as $8.00{\times}10CFU/cm^2$, $3.0{\times}10CFU/cm^2$, $4.3{\times}10^2CFU/cm^2$, $7.5{\times}10^2CFU/cm^2$, $6.0{\times}10CFU/cm^2$, $8.5{\times}10^2CFU/cm^2$ respectively. As a result of analyzing above hazardous factors, processing process of ultraviolet ray sterilizing where pathogenic bacteria may be prevented, reduced or removed is required to be controlled by CCP-B (Biological) and critical level (critical control point) was set at flow speed is 4L/min. Therefore, it is considered that thorough HACCP control plan including control criteria (point) of seasoning fluid processing process, countermeasures in case of its deviation, its verification method, education/training and record control would be required.

• The Korean Society of Law and Medicine
• /
• v.24 no.3
• /
• pp.105-124
• /
• 2023

Modern society is facing an unstable environment due to unexpected accidents and hazardous situations. For example, incidents such as the collapse of the Bundang Bridge and the crushing accident in Itaewon could serve as examples. In addition to these, critical emergencies like sudden cardiac arrests and strokes frequently occur, requiring swift actions and smooth transfers to specialized medical institutions for effective responses. In response to these risks, the country has been establishing various systems to protect the lives and safety of its citizens. Among these, the 119 First Aid Activities plays a crucial role within the emergency medical system. Its goal is to promptly respond to critical emergency situations involving severe trauma patients or patients with serious illnesses, minimizing damage and safeguarding lives by swiftly transferring them to emergency medical institutions for specialized treatment. The core activity related to this is emergency rescue operations. In particular, the 119 First Aid system serves as a crucial institution responsible for the hospital transportation of emergency patients. However, rescue personnel still encounter cases of interference with their activities during their duties. Despite efforts from the police, these interference cases persist, and they share similarities with the crime of obstructing official duties. Interference with emergency activities exhibits a comparable nature to instances such as physical assaults and equipment damage against emergency medical practitioners working within the emergency medical system. Therefore, a comprehensive understanding and improvement efforts regarding the issues of interference that arise during the process of emergency medical activities, including the 119 First Aid system, are necessary. The solution to these problems is to establish and improve the conditions for obstruction of first aid activities, focusing on the "Framework Act on Firefighting" and the "Act on 119 Rescue and Emergency."

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.11 no.4
• /
• pp.333-349
• /
• 2013

As the capacity of spent nuclear fuel storage pool at reactor sites becomes saturated in ten years, long term dry storage strategy has been recently discussed as an alternative option in Korea. In this study, we reviewed safety-criteria-related research results on spent nuclear fuel performance and integrity under long-term dry storage and proposed the direction and the scope of future domestic research and development. Creep and hydride effect in relation to the embrittlement are known to be the major degradation mechanisms of the spent fuels during the long term dry storage. However, recent research results showed that hydride reorientation and hydride embrittlement are one of the most critical factors to the spent fuel integrity. Accordingly safety criteria of US and Japan for the storage system are basically founded on those mechanisms. However, in Korea, not only in-pile but out-of-pile experimental data have not been generated to understand fuel cladding degradation and to determine the criteria to ensure the safety. In addition, the transient behavior of the spent fuel during transportation also needs to be thoroughly examined. Therefore, various experimental research and development will be required to establish our own safety criteria for future long-term dry storage of domestic spent fuels.

• Journal of Soil and Groundwater Environment
• /
• v.19 no.5
• /
• pp.26-34
• /
• 2014

A $1.5m(L){\times}1.0m(W){\times}1.1m(H)$ polypropylene (PP) field scale electroniketic system coupled with stainless steel electrodes was designed to examined metal removal performance applied 0.2-0.35 V/cm potential gradient and 0.05-0.5M lactic acid for 20 day. Electroosmosis permeabilities of $2.2{\times}10^{-5}cm^2/V-s$ to $4.8{\times}10^{-5}cm^2/V-s$ were observed and it increased with the potential gradient increased. The reservoir pH controlled at $7.0{\pm}1.0$ has been effectively diminished the clogging of most metal oxides. The best removal efficiency of Zn, Pb, and Ni was 78.4%, 84.3%, and 40.1%, respectively, in the field scale EK system applied 0.35 V/cm and 0.05M lactic acid for 20 days. Increasing potential gradient would more effectively enhance metal removal than increasing concentration of processing fluid. The reservoir and soil temperatures were majorly related to potential gradient and power consumptio. A $4-16^{\circ}C$ above room temperature was observed in the investigated system. It was found that the temperature increase in soil transported the pore water and metals from bottom to the topsoil. This vertical transport phenomenon is critical for the electrokinetic process to remediate in-situ deep pollution.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.2
• /
• pp.159-168
• /
• 2002

Real-time(RT) object-oriented(OO) distributed computing is a form of RT distributed computing realized with a distributed computer system structured in the form of an object network. Several approached proposed in recent years for extending the conventional object structuring scheme to suit RT applications, are briefly reviewed. Then the approach named the Real Time Simulation Programing(RTSP) structuring scheme was formulated with the goal of instigating a quantum productivity jump in the design of distributed time triggered simulation. The RTSP scheme is intended to facilitate the pursuit of a new paradigm in designing distributed time triggered simulation which is to realize real-time computing with a common and general design style that does not alienate the main-stream computing industry and yet to allow system engineers to confidently produce certifiable distributed time triggered simulation for safety-critical applications. The RTSP structuring scheme is a syntactically simple but semantically Powerful extension of the conventional object structuring approached and as such, its support tools can be based on various well-established OO programming languages such as C+ + and on ubiquitous commercial RT operating system kernels. The Scheme enables a great reduction of the designers efforts in guaranteeing timely service capabilities of application systems.