• Journal of Electrical Engineering and Technology
• /
• 제1권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.

• 한국안전학회지
• /
• 제29권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.

• 자동차안전학회지
• /
• 제15권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.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2021년도 춘계학술대회
• /
• pp.655-656
• /
• 2021

2021년 4월, 재난안전통신망 서비스가 개시되었으나 서비스 초기로 보안기능이 취약한 상태이다. 현재 Android 기반 APP의 보안방법은 구글 프로텍트(Google Protect)의 기술을 사용하여 악성코드를 탐지하는 것이다. 악성코드는 종류가 다양하고 많기 때문에 직접 탐지하기 어려우므로, AI와 구글 프로텍트의 기술을 합한 악성코드탐지 기술을 재난안전통신망에 적용함으로써 'AI 기반 재난안전통신망 프로텍트'를 구현하는 방법에 대해 연구한다.

• 대한안전경영과학회지
• /
• 제26권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.

• 전기학회논문지
• /
• 제66권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).

• 한국항해학회지
• /
• 제17권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.

• 전기학회논문지
• /
• 제63권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
• /
• 제9권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.

• 안전기술
• /
• 제123호
• /
• pp.51-51
• /
• 2008