• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

• Journal of Navigation and Port Research
• /
• v.44 no.5
• /
• pp.375-381
• /
• 2020

The IMO has established a regulation for the ECDIS installation on ships based on the IHO S-57 standards. The ECDIS supports sailors in achieving a safe voyage by using ENCs and monitoring the information of their ship. However, the S-57 standards were developed as edition 3.1 and prohibited revision for more than 20 years. So, the IHO developed a new standard as S-100 into the hydrography and maritime field instead of updating the S-57 to edition 4.0. In this study, the new S-100 ECDIS was developed and verified with ENCs and the digital maritime safety information by using a ship steering simulator and by conducting an on-board sea-trial test. It evaluated the impact on ship operations if the next-generation navigation support system is introduced. Based on this research, the S-100 ECDIS will generate improvements such as safe voyages by providing various of real-time safety information and up-to-date data to ship and sailors.

• Journal of Computing Science and Engineering
• /
• v.10 no.3
• /
• pp.75-84
• /
• 2016

Medical cyber-physical systems (MCPS) integrate sensors, actuators, and software to improve patient safety and quality of healthcare. These systems introduce major challenges to safety analysis because the patient's physiology is complex, nonlinear, unobservable, and uncertain. To cope with the challenge that unidentified physiological parameters may exhibit short-term variances in certain clinical scenarios, we propose a novel run-time predictive safety monitoring technique that leverages a maximal model coupled with online training of a computational virtual subject (CVS) set. The proposed monitor predicts safety-critical events at run-time using only clinically available measurements. We apply the technique to a surgical glucose control case study. Evaluation on retrospective real clinical data shows that the algorithm achieves 96% sensitivity with a low average false alarm rate of 0.5 false alarm per surgery.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.17 no.3
• /
• pp.51-60
• /
• 2009

For the world's safest air traffic, safety-related areas through the large investment made in a sufficient safe level, but the airport's lack of safety management is concerned about the safety. Airside area is essential area for the flights, and activities of safe management in airside area is very important. Grafting of airside safety management and IT, importance of the safety and efficiency is growing. Advanced airports of world has applied GIS over 10 years ago, and through applying GIS, Airports GIS has been a specialized area. Therefore, this research is for geographic information standards and related laws, providing a guideline of regulations and standards for AIXM (Aeronautical Information Exchange Model), RTCA DO-272A (USER REQUIREMENTS FOR AERODROME MAPPING INFORMATION), FAA Advisory Circular 150/5300 -18A (General Guidance and Specifications for Submission of Aeronautical Survey to NGS: Field Data Collection and Geographic Information System Standards), and by analyzing aviation information and air map(notice "Civil Aviation Safety Authority No. 2009-1"), provide the direction of standardization for air map.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.10a
• /
• pp.597-598
• /
• 2018

Recently, the future traffic system is mainly aiming traffic safety by collecting, managing and providing traffic information using traffic system. But In this paper, we propose traffic safety using traffic safety mark which is currently utilized transportation infrastructure. The vehicle receives the sensed data with the traffic safety sign as a host, and carries out communication between the vehicles or the infrastructure. By using the information of sensing data, various information can be obtained. In addition to the construction section, traffic accidents can also be utilized. Therefore, this paper is designed to simplify the frame of sensing data and contribute to traffic safety through continuous research.

• Journal of Korean Library and Information Science Society
• /
• v.48 no.2
• /
• pp.187-213
• /
• 2017

In order for preemptive response and prevention against disasters, it is necessary to systematically collect, preserve, manage, and utilize the information resources of records related with disaster safety. Therefore, this study analyzed the types and status of text-based document archives among the records information resources which were published and produced by the disaster safety-related institutions via online. Detail types analysis of disasters in document archives also was conducted. Based on filed interviews, the actual users' requirements for the disaster safety information archives are converged. The ultimate goal of this study is to establish a basis for building of disaster safety information archives by deriving improved management strategies of disaster safety records resources.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.30 no.2
• /
• pp.213-225
• /
• 2020

Objectives: In order to prepare measures to enhance construction workers' satisfaction with their working environment, the effects of working conditions and the mediating effects of safety and health information on workers' satisfaction with their working environment in the construction industry have been studied. The results of this study can be used as basic data for further studies in this field. Method: Data on 1,361 male construction workers from the 5th Korea Working Condition Survey (KWCS) were used for this study. The effects of working conditions were analyzed using SPSS 25.0 and the mediating effects of health and safety information were analyzed with SPSS PROCESS macro using the bootstrap method. Results: The safety and health management system and the self-determination of break time had a statistically significant positive effect on satisfaction with the working environment. Chemical and ergonomic risk factors had a statistically significant negative effect on satisfaction with the working environment. The provision of safety and health information, the mediating variable, had a statistically significant positive effect on satisfaction with the working environment. Therefore, it had a mediating effect between working conditions and satisfaction with the working environment. Conclusion: In order to enhance construction workers' satisfaction with their working environment, the above results suggest that the safety and health management system should be well established; self-determination of break times should be guaranteed; and chemical and ergonomic risk factors should be controlled. In addition, workers should be provided with necessary health and safety information related to their work. This study will be useful if these findings are used as basic data in further studies in related fields.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.5
• /
• pp.851-856
• /
• 2015

As crime has actually increased in recent years, various mobile applications related to safety and emergency measure have received much attention. Therefore, IoT (Internet of Things) technologies, which connect various physical objects with Internet communication, have been also paid attention and then diverse safety services based on IoT technologies have been on the increase. However, existing mobile safety applications are simply based on location based service (LBS). Also, as they are independently operated without the help of another safety systems, they cannot efficiently cope with various safety situations. So, this paper proposes the efficient smart safety service architecture with both the risky situation detection using user location as well as various sensing information and the risk congruence measure using the streetlight infrastructure. Additionally, UDID (unique device identifier) is utilized for the secure communication with the control center.

• Korean Journal of Hazardous Materials
• /
• v.6 no.2
• /
• pp.13-22
• /
• 2018

Recently, social crimes using chemicals at home and abroad are increasing. These chemicals are readily available in the internet. Therefore, the NICS(national institute of chemical safety) runs a 'Chemical Cyber Surveillance' to help the public take control of the internet and create a healthy cyberspace through voluntary participation of the public. The study analyzed more than 1,000 sites suspected illegal hazardous information or blocked among cyber surveillance 3,500 case reports in the past yeas. And, the number of illegal hazardous information reported in the past three years is analyzed by type and substance. They want to examine the characteristics of hazardous chemical information on the internet and use it as a basic data to establish illegal information management measures that spread over cyberspace.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.22 no.1
• /
• pp.82-90
• /
• 2012

Objectives: This study was performed to provide workplaces with political guidelines that apply international CMRs (Carcinogens, Mutagens, Reproductive toxins) information to Public Notice of TLVs (Threshold Limit Values). We analyzed information supply status about CMRs of international agencies and compared substances for which TLVs are set in KMoEL (Ministry of Employment and Labor in Korea). Methods: We referred to the reliable literature about classification criteria of CMRs corresponding to UN GHS (Globally Harmonized System of classification and Labeling of chemicals) and Public Notice No. 2009-68 'Standard for Classification, Labeling of Chemical Substance and Material Safety Data Sheet' in KMoEL. The classification system of CMRs in professional organizations (IARC, NTP, ACGIH, EU ECHA, KMoEL, etc.) was investigated through the internet and literature. Conclusions: 191 chemical substances among total 650 substances with TLVs are classified as carcinogens. Also, 43 substances classified as mutagens, and 44 as reproductive toxicants. These results suggest that the information of CMRs in Public Notice of TLV will be reorganized to 191 carcinogens, 43 mutagens, and 44 reproductive toxicants.