• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2003.10a
• /
• pp.403-408
• /
• 2003

현대의 산업은 대규모 공정제어 시스템을 통한 작업자와 작업자 인터페이스의 상호 유기적인 관계를 통하여 운영되고 있다. 이러한 유기적인 관계가 고신뢰도 체계를 운영하고 있는 석유화학, 군사, 통신 등의 안전성 문제에 많은 영향을 미치고 있다. 실제 대부분의 안전사고가 시스템 자체에 문제보다는 시스템을 운영하는 인간-기계 연계 체제(Human-Machine Interface; HMI)에서 비롯된 것이다. TMI, 체르노빌, JCO 등의 사고를 통하여 원자력발전소(이하, 원전)에서는 작업자 인터페이스의 품질 문제가 강조되고 있다. 이러한 노력의 일환으로 우리나라도 원전에 대한 10년 주기의 주기적안전성평가(Periodic Safety Review: PSR)에서 인적요소 평가를 포함하고 있다.(중략)

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.20-25
• /
• 2001

블록 암호 알고리즘과 블록 암호의 운영모드 및 메시지 인증 알고리즘에 대한 의사 난수성의 증명은 근래의 암호 분석에서 구조적인 안전성을 증명을 위한 기법으로 커다란 안전성의 평가 방법으로 자리 매김하고 있다. 본 논문에서는 비동기식(W-CDMA) 3세대 이동통신 3GPP에서의 MAC 알고리즘의 안전성을 의사 난수성에 기반한 concrete security 관점에서의 안전성에 대해 알아본다. 즉, 3GPP-MAC 알고리즘의 구조적인 안전성에 대한 증명을 다룬다.

• Journal of Auto-vehicle Safety Association
• /
• v.7 no.3
• /
• pp.25-29
• /
• 2015

Research for Vehicle-to-Vehicle communication has been progressed in order to prevent accidents. In this paper, we decided the events that has high frequency accident of between vehicles on the road and we was arranged possible accident scenarios of each event; EEBL, LCW, BSD, FCW, PCW, IMA. When the event occurs between vehicles, we studied how to evaluate whether the information transmitted safely.

• Journal of Korean Society of Transportation
• /
• v.36 no.2
• /
• pp.67-85
• /
• 2018

Vehicle platooning through wireless communication and automated driving technology has become realized. Platooning is a technique in which several vehicles travel at regular intervals while maintaining a minimum safety distance. Truck platooning is of keen interest because it contributes to preventing truck crashes and reducing vehicle emissions, in addition to the increase in truck flow capacity. However, it should be noted that interactions between vehicle platoons and adjacent manually-driven vehicles (MV) significantly give an impact on the performance of traffic flow. In particular, when vehicles entering from on-ramp attempt to merge into the mainstream of freeway, proper interactions by adjusting platoon size and inter-platoon spacing are required to maximize traffic performance. This study developed a methodology for establishing operational strategies for truck platoonings on freeway on-ramp areas. Average speed and conflict rate were used as measure of effectiveness (MOE) to evaluate operational efficiency and safety. Microscopic traffic simulation experiments using VISSIM were conducted to evaluate the effectiveness of various platooning scenarios. A decision making process for selecting better platoon operations to satisfy operations and safety requirements was proposed. It was revealed that a platoon operating scenario with 50m inter-platoon spacing and the platoon consisting of 6 vehicles outperformed other scenarios. The proposed methodology would effectively support the realization of novel traffic management concepts in the era of automated driving environments.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1435-1442
• /
• 2006

The ideal method of safety evaluation is to verify results of execution against all possible operations within operating system, but it is impossible. However, the formal method can theoretically prove the safety on actual logic of operating system. Therefore we explain the contents of the art of the safety verification of security kernel, and make a comparative study of various standardized formal verification tools. And then we assigned PVS(Prototype Verification system) of SRI(Stanford Research Institute) to verify the safety of a modified BLP(Bell & LaPadula) model, the core access control model of multi-lavel based security kernel. Finally, we describe formal specification of the revised BLP model using the PVS, and evaluate the safety of the model by inspecting the specification of the PVS.

• Information and Communications Magazine
• /
• v.28 no.5
• /
• pp.15-20
• /
• 2011

본고에서는 IT기술과 건설기술의 융합 기술로서 스마트빌딩 기술에 대해 서술한다. 고층 빌딩의 안전성 평가를 위한 건물구조 건전도 모니터링 기술, 빌딩 실내에 쾌적한 공기 환경을 유지하기 위한 스마트 공기질/환기제어시스템 기술, 빌딩 설계부터 빌딩 사용단계까지 빌딩정보의 체계적인 데이터 관리를 위한 빌딩정보 모델링 기술과 빌딩 운영관리 인터페이스 기술 등에 대하여 소개한다. 또한, 세종대학교에서 개발한 프로토타입으로 빌딩에 설치하여 시험 중인 시스템에 대하여 설명한다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.21 no.1
• /
• pp.91-104
• /
• 2022

The operational design domain (ODD) of autonomous vehicles needs to be expanded on highways and urban roads in light of the substantial commercialization of Level 3 autonomous vehicles. Therefore, this study developed a specific infrastructure autonomous vehicle-based cooperative driving service to ensure the driving safety of autonomous vehicles on city roads. The traffic operation efficiency, safety evaluation, and core evaluation indices for each service were selected and analyzed to study the effect of each service. The result of the analysis confirmed that the traffic operation efficiency and safety of autonomous vehicles were improved through the V2X communication-based autonomous cooperative driving service. On the whole, the significance of this study is in deriving the effect of the autonomous cooperative driving service based on V2X communication on urban roads with interrupting traffic flow.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.6
• /
• pp.1447-1452
• /
• 2010

Ubiquitous society to build basic infrastructure in the power supply and power equipment safety is important. u-City in order to prevent the disaster of u-IT Power Equipment Performance Module and the security for the safety of the u-City is necessary. In this paper, the power unit of u-IT module, temperature sensor, humidity sensor, equipped with sensors arranged throughout the fire, and home distribution boards, Home Network Wall-Pad, Blocker, MPNP black boxes, arc detection, arc safety equipment, outlet of the modular performance evaluation methods and security methods will be studied. u-IT power devices and sensors to analyze the information conveyed by proactive risk and ensure safety, access control, authentication, security safeguards, such as u-IT integrated management system for electrical safety and strengthen the security, safety and security with a u-City will contribute to the construction and operation.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.307-310
• /
• 2010

Ubiquitous society to build basic infrastructure in the power supply and power equipment safety is important. U-City in order to prevent the disaster of U-IT Power Equipment Performance Module and the security for the safety of the U-City is necessary. In this paper, the power unit of U-IT module, temperature sensor, humidity sensor, equipped with sensors arranged throughout the fire, and home distribution boards, Home Network Wall-Pad, Blocker, MPNP black boxes, arc detection, arc safety equipment, outlet of the modular performance evaluation and security measures will be studied. U-IT power devices and sensors to analyze the information conveyed by proactive risk and ensure safety, access control, authentication, security safeguards, such as U-IT integrated management system for electrical safety and strengthen the security, safety and security with a U-City will contribute to the construction and operation.

• The KIPS Transactions:PartC
• /
• v.15C no.3
• /
• pp.173-190
• /
• 2008

The purposes of this study is development of information security evaluation model for governments to analyze domestic and foreign existing models. Recent domestic information security certification systems have several problems, because shortage of organic connectivity each other. Therefore we analysis on domestic and foreign existing models, specify security requirements, evaluation basis and other facts of models, optimize these facts for governments, and develop new model for domestic governments.