• International Journal of Internet, Broadcasting and Communication
• /
• v.16 no.2
• /
• pp.255-266
• /
• 2024

The purpose is to evaluate evacuation safety by simulating the toxic effects of hydrogen fluoride leaks in areas surrounding national industrial complexes and to suggest alternatives for areas that do not satisfy evacuation safety. For human casualties caused by hydrogen fluoride leakage accidents, Available Safe Egress Time (ASET) is calculated by the toxic effects quantified with the Areal Locations of Hazardous Atmospheres (ALOHA), an off-site consequence assessment program. The Required Safe Egress Time (RSET) is calculated through Pathfinder, an evacuation simulation program. Evacuation safety is assessed by comparing ASET and RSET. The ALOHA program was used to evaluate the time to reach AEGL-2 concentration in 12 scenarios. The Pathfinder program was used to assess the total evacuation time of the high school among specific fire-fighting objects. Of the 12 accident scenarios, ASET was larger than RSET in the worst-case scenarios 1 and 9. For the remaining 10 accident scenarios, the ASET is smaller than the RSET, so we found that evacuation safety is not guaranteed, and countermeasures are required. Since evacuation safety is not satisfactory, we proposed to set up an evacuation area equipped with positive pressure equipment and air respirators inside specific fire-fighting objects such as the high school.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.733-738
• /
• 2005

The distress communication system in the maritime mobile service had almost depended on the wireless telephony or telegraphy technique. The GMDSS (Global Maritime Distress and Safety System) which was introduced in 1992 brought a lot of changes in the maritime distress communication service such as the automatic transmission of distress signals and implementation of global search and rescue networks. However, there are some deficiencies in the GMDSS distress communication system such as a lack of compatibility in the maritime distress communication between CMDSS ships and Non-GMDSS ships, increasing deceptive or false distress alerts generated by GMDSS installations, lack of understanding about the CMDSS installations for the operators. In this paper, the problems of distress communication system in the maritime mobile service are analyzed and the methods to solve or minimize these problems are suggested.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.2
• /
• pp.136-144
• /
• 2021

Railroad Systems, which are national infrastructure industries, cause unexpected property and human damage if they fail to function while operating. Accordingly, railroad facilities supporting the railroad system are areas where high reliability and safety are required. However, it is time for systematic and scientific maintenance to be taken away from the traditional maintenance methods, as the nation's railroad facilities are now aging seriously. The purpose of this study was to secure the safety and reliability of the aging railroad communication facilities and to improve their performance. The research subjects were selected as a precision diagnosis process for railroad communication facilities, and improvement points were derived through detailed precision diagnosis process analysis. It is deemed that this study can contribute based on securing stability, improving reliability, and continuous improvement of railroad communication facilities should be conducted in the operation of the entire railroad system.

• Journal of Information Technology Applications and Management
• /
• v.14 no.2
• /
• pp.169-187
• /
• 2007

Most private and public organizations use, for their works, information systems that change their organizational structures. Nowadays, many organizations have team-based structures where typically a cross functional team is in charge of a business process. The effective communication among the members of a team is an important factor of team performance in that communication facilitates trust building, knowledge exchange, change acceptance, and safety improvement. This paper reviews methods for analyzing communication among team members from three aspects such as the content, the amount, and the structure of communication.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.24 no.4
• /
• pp.445-450
• /
• 2018

AIS is the most important navigation equipment for the identification of other ships, etc. However, the AIS overload problem has been raised recently due to an increase in AIS equipped vessels. The government is planning to introduce the wireless LTE network at 100 km offshore as part of the SMART-Navigation project. Continuous development and dissemination of the services available through such platforms will be necessary to achieve major goals such as marine accident prevention and environmental protection. In this study, we applied a WAVE communication system, which could be the basis for the development of such services. As a result, reliable data transmission was confirmed for a range of communication of approx. 5 miles, although the service was limited to 1 km in road traffic. Therefore, it is expected that WAVE communication technology will be used to prevent marine accidents through such efforts as collision avoidance and the transfer of marine safety information between ships.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Tunnel and Underground Space
• /
• v.29 no.6
• /
• pp.367-378
• /
• 2019

As the development of IT technology, the way to manage the underground construction site in real time using wireless network communication is being considered. Underground space is limited area compared to the ground site due to the enclosed communication environment and spatial characteristics. BMN (Bluetooth Mesh Networking) technology is a recently introduced wireless communication technology that bluetooth device acts as a repeater to form a networking mesh and monitor individual devices. This article examines the areas to be considered for analyzing the applicability of BMN technology to underground spaces, and the cases studies of wireless communication monitoring systems currently being developed. And the BMN technology which is being developed for the underground application is also introduced.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.10 no.6
• /
• pp.169-177
• /
• 2010

A railroad is used to a lot of area and it is an eco-friendly and an effective means of communication which is a transport for passengers and products. In recent years, the accidents caused by subway and railroad are cognate with people. We need to come up with preparing measures to avoid the accidents. In this paper, to prevent an accident developing and implementing a system which is a railroad management safety system is the purpose. The system is able to provide scalability for smart railroad safety service based on context aware information. Besides, it is able to furnish flexibility through the OSGi framework.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.11 no.2
• /
• pp.197-202
• /
• 2016

This study suggests a novel way of safety cognition with single sensor. It is beneficial to make the most of the 3-axis acceleration sensor for context inference. It has remarkable advantages that size is too small and less malfunction or error. This study shows the calculation of the common life safety through the events data from the 3-axis acceleration sensor only. That includes the analyzation of the volume of energy and converting quantitative numerical value.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.1
• /
• pp.12-17
• /
• 2015

This paper describes an error synchronization running on IP-USN gateway software stack for transportation safety service. This system consists of an TS_EDA, and TS_ESA. TS_EDA is an agent that detects an error for multimedia distance system based on IP-USN gateway software stack environment. TS_ESA is an agent that is an error synchronization system for multimedia distance control based on IP-USN gateway software stack environment. From the perspective of multimedia collaborative environment of IP-USN gateway software stack for transportation safety service, an error application becomes another interactive presentation error is synchronized with participants engaged in a cooperative work.