• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• 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)를 사용하였다.

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

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

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2018년도 추계학술대회
• /
• pp.597-598
• /
• 2018

최근의 미래교통시스템은 주로 교통체계를 활용한 교통정보의 수집과 관리, 제공을 함으로서 교통안전을 도모하고 있다. 그러나 본 논문에서는 현재 활용되고 있는 교통 인프라인 교통안전표지를 활용한 교통안전을 제안하고자 한다. 교통안전표지를 호스트로 하여 센싱 된 데이터를 차량이 수신하게 됨으로서 차량간 또는 인프라간 통신을 하게 된다. 센싱 데이터의 정보를 활용함으로서 다양한 정보를 얻게 되는데, 공사구간 뿐만 아니라 교통사고 등도 활용이 가능하다. 따라서 본 논문은 센싱 데이터의 프레임을 간단하게 설계하고, 향후 지속적인 연구를 통하여 교통안전에 이바지하고자 한다.

• 한국도서관정보학회지
• /
• 제48권2호
• /
• pp.187-213
• /
• 2017

재난에 대한 선제적 대응과 예방이 제대로 이루어지기 위해서는 재난안전 기록정보자원을 체계적으로 수집하고, 보존하여 관리 및 활용할 수 있는 기반을 마련할 필요가 있다. 이에 본 연구는 재난안전 유관기관들이 실제 생산한 기록정보자원 중 온라인 상에 공개된 텍스트 기반의 문서기록자료의 유형과 현황을 분석한 후, 이들 문서기록에 기술되어 있는 재난정보와 그 유형이 무엇인지 분석하였다. 또한 재난안전정보 아카이브 구축 관련한 현장인터뷰를 통해 실제 사용자들의 요구사항을 수렴하였다. 이를 통해 기존 재난안전관련 기록정보자원의 관리체계 개선방안을 도출하여 재난안전정보 아카이브 구축을 위한 토대를 마련하고자 한다.

• 한국산업보건학회지
• /
• 제30권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.

• 한국통신학회논문지
• /
• 제40권5호
• /
• pp.851-856
• /
• 2015

최근 빈번한 사고로 인해 국민들의 '안전 의식'이 고조되면서 재난안전 및 응급조치와 관련한 어플리케이션들이 관심을 모으고 있다. 이에 따라 기존의 다양한 사물들에 인터넷을 결합하는 IoT(Internet of Things) 또한 큰 관심사로 여겨지고 있으며, 이러한 IoT 기술을 활용한 방범 서비스 어플리케이션이 개발되고 있다. 하지만, 기존의 방범 시스템 서비스용 어플리케이션들은 단순한 사용자 위치 정보를 파악하는 수준에서 구현되어 있으며 어플리케이션이 독립적으로 실행되기 때문에 안전사고에 유연하게 대처하지 못하는 문제가 발생한다. 본 논문에서는 사용자 위치 정보 및 다양한 센서 정보를 활용하여 위험상황을 감지하고, 가로등 제어 모듈과의 통신을 통하여 보다 안전하고 효율적인 방범 서비스를 제공할 수 있는 스마트 방범 서비스 구조를 제안한다. 또한, 비인가 사용자로 인한 오작동을 회피하기 위해 사용자 단말의 고유 정보를 이용한 통신 구조를 제안한다.

• 한국위험물학회지
• /
• 제6권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.

• 한국산업보건학회지
• /
• 제22권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.