• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Journal of the Korean Society of Safety
• /
• v.29 no.1
• /
• pp.80-85
• /
• 2014

A survey of risk perception in South Korea was conducted in 2007 to evaluate relative riskiness of typical industrial and technological risks. This article summarizes the characteristics of risk perception using psychometric analyses. The survey with a sample size of 1,194 reviews the perceived level of 25 risk items in the areas of transportation, chemicals, environment, industry, nuclear power generation, and newly-introduced risks. Six categories of risk identified by a factor analysis show that the level of perceived risk does not correspond to the statistical level. Psychometric analyses including voluntariness, severity, effect manifestation, exposure pattern, controllability, familiarity, benefit and necessity demonstrate that voluntary, familiar and immediate risks are perceived as less risky than involuntary, unfamiliar and delayed ones. Risk communication is critical in reducing the discrepance between objective and subjective level of risk. However, the amount of risk information does not always justify a successful risk communication. A safety policy, risk communication strategy in particular, should take into account diverse dimensions of risk reviewed by psychometric analyses in the study. Social policy toward safety can be improved by integrating policy, human, and social factors as well as technological advances.

• Journal of Auto-vehicle Safety Association
• /
• v.15 no.4
• /
• pp.16-22
• /
• 2023

This paper presents a proactive longitudinal motion planning algorithm for improving the safety of an automated bus. Since the field of view (FOV) of the autonomous vehicle was limited depending on onboard sensors' performance and surrounding environments, it was necessary to implement vehicle-to-vehicle (V2V) communication for overcoming the limitation. After a virtual V2V-equipped target was constructed considering information obtained from V2V communication, the reference motion of the ego vehicle was determined by considering the state of both the V2V-equipped target and the sensor-detected target. Model predictive control (MPC) was implemented to calculate the optimal motion considering the reference motion and the chance constraint, which was deduced from manual driving data. The improvement in driving safety was confirmed through vehicle tests along actual urban roads.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.655-656
• /
• 2021

April 2021, Disaster Safety Communication Network services have been launched, but security functions are weak at the beginning of the service. The current security method for Android-based APP is using Google Protect's technology to detect malware. Malware is difficult to detect directly because there are various types, so by applying malware detection technology that combines AI and Google Protect technology to Disaster Safety Communication Networks, research on how to implement 'AI-based Disaster Satety Communication Network Protect'.

• Journal of the Korea Safety Management & Science
• /
• v.26 no.1
• /
• pp.55-61
• /
• 2024

In this paper, in order to study the relationship between the safety culture of highway management agencies and disaster reduction activities (BCMS), a measurement tool was identified through previous research on safety culture, and the validity of the measurement tool was confirmed through exploratory factor analysis. I want to check. The subjects of the study were workers belonging to disaster reduction activity management system certification organizations among highway management organizations. The highway management agencies are the Korea Expressway Corporation, which manages the functional continuity of national highways nationwide, and 8 of the 21 private road agencies that manage the functional continuity of the highways. The safety culture measurement tool is an indicator that measures safety culture factors, and is reorganized by the researcher based on survey items from previous studies, with management/manager safety values and attitudes, safety communication, safety education and training, and safety regulations/management system as subfactors. A total of 24 questions were comprised of the survey tool. As a result of the study, the result of exploratory factor analysis was that the safety culture scale was extracted into four factors based on theoretical grounds, and the total cumulative variance was 80.360%. When checking the questions for each factor, it was found that all the questions loaded on the factor that was originally intended to be measured. Factor 1 is management, factor 2 is safety, and factor 3 is communication., Factor 4 was named education. Number of questions: 4 management questions, 3 safety questions, communication It consisted of 4 questions and 2 education questions.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.9
• /
• pp.1373-1378
• /
• 2017

This paper presents a basic ECU(Electronic Control Unit) hardware development procedure for the functional safety of in-vehicle network systems. We consider complete hardware redundancy as a safety mechanism for in-vehicle communication network under the assumption of the wired network failure such as disconnection of a CAN bus. An ESC (Electronic Stability Control) system is selected as an item and the required ASIL(Automotive Safety Integrity Level) for this item is assigned by performing the HARA(Hazard Analysis and Risk Assessment). The basic hardware architecture of the ESC system is designed with a microcontroller, passive components, and communication transceivers. The required ASIL for ESC system is shown to be satisfied with the designed safety mechanism by calculation of hardware architecture metrics such as the SPFM(Single Point Fault Metric) and the LFM(Latent Fault Metric).

• Journal of the Korean Institute of Navigation
• /
• v.17 no.2
• /
• pp.75-106
• /
• 1993

GMDSS(Global Maritime Distress and Safety system) is a new communication system for the distress and safety at sea which is utilizing the recent advancements in satellite communication and positioning system, digital communication system, computer and microelectronic technology, etc., and will completely substitute the current communication system by 1999. Although the improvements of education for producing qualified Radio Operators as well as the establi-shments of policy for accepting the system are required, the educational institutions and relating administ-rations have not yet prepared the rational and concrete schemes on the educational methods and accepting procedures for the system. In this study, as the result of analyzing the GMDSS, courses of training and relating data, the authors suggested principles for improving the course and contents of education and rational schemes for balan-cing the demand and supply of Radio Operators. The authors expect not only the consequences of this study can be utilized as reference materials for the instruction to ratio communication in the organs of education but also that the following effects can be obtained by the study. 1. Security of distress and safety communication system at sea by the establishment of relating regula-tions. 2. Rationalization of the management of radio communication at sea and improvement of the communi-cation system on the vessel. 3. Upgrading the quality of Radio Operators and presenting schemes for current qualified persons. 4. Activation of industry producing radio instruments. 5. Balance of the demand and supply of Radio Operators and development of shipping industry.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.5
• /
• pp.608-614
• /
• 2014

Recent developments and trends in the electric power consumption clearly indicate an increasing use of DC in end-user equipment. According to the trends, new DC power distribution systems have been researched and developed although we presently enjoy a predominantly AC power distribution system. We can use various grounding schemes in DC distribution system as well as in AC distribution system to protect human body and equipments. However, we need to evaluate carefully which grounding scheme is appropriate for a specific system before applying those schemes. In this paper, we analyze the human safety and system effect according to various grounding schemes in Low Voltage DC (LVDC) distribution system. Some components in LVDC distribution system are modeled and computer simulations are conducted by using ElectroMagnetic Transient Program (EMTP).

• International Journal of Internet, Broadcasting and Communication
• /
• v.9 no.1
• /
• pp.42-49
• /
• 2017

Despite the government's various safety measures, the number of safety accidents continues to rise and the interior is more likely to occur indoors than outdoors. Safety accidents involving young children account for more than 70 % of the safety accidents in the safety accidents, and the ratio of safety accidents in the classroom or classroom is more than 50 %. In this thesis the author proposes the system managing the accidents notification service using LED lighting and access entry control. Utilizing IoT technology, remote control or access can be controlled remotely by controlling multiple lights and entrances from each room and by means of a number of lighting and entrances. By monitoring and analyzing real-time status via server PC and mobile interface, it can control the maximum control and incident prevention, automatic control, and automatic control.

• The Safety technology
• /
• no.123
• /
• pp.51-51
• /
• 2008