• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.635-638
• /
• 2017

안전한 도시환경에 대한 관심이 증가하면서 다양한 안전도 측정 모델을 통해 안전도를 측정하여 범죄 예방활동, 재난예측 분야에 적용하고 있다. 안전도 측정 모델을 통해 도로의 안전도 수치를 정량화하여 안전도관련 데이터가 맵핑된 지도와 같은 실제 보행자가 이용할 수 있는 서비스에 대한 필요가 증가하고 있다. 기존의 모델은 적용분야가 구체적이지 않고 모델을 서비스에 적용하기가 어렵고 정량화된 값을 제시하는 모델이 없어 수치가 의미하는 바를 명확히 알 수 없다. 따라서 공공데이터를 활용하여 "도로 안전지수 측정모델"을 개발하여 값을 얻고 이를 구성하는 각각의 공공 데이터를 지도상에 보여주고자 한다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2000.11a
• /
• pp.27-34
• /
• 2000

산업 안전과 관련된 시스템에서 요구되는 것 중에서 필수적인 것은 내진 발생에 대비하는 검증이 있다. 이 논문은 내진 검증을 증명하고 장차 사용을 위한 증명된 유한요소 해석모델을 개발하는 방법이 제시되었다. 여기서 사용된 모델은 사우디아라비아의 RASCO사에서 사용되기 위해 현대중공업(주)에서 제작되었다.(중략)

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.633-640
• /
• 2007

As the embedded systems closely related with our living become complex by interoperating each other via internet, the safety issue of embedded systems begins to appear For checking safety properties of the system interactions, it is necessary to describe the system behaviors in formal methods and provide a systematic safety analysis technique. In this research, the behaviors of an embedded system are described by Labeled Transition Systems(LTS) and its safety properties are checked on the system model. For enhancing the existing compositional safety analysis technique, we perform the safety analysis techniques by checking the behavioral equivalence of the reduced model and a property model after reducing the system model in the viewpoint of the property.

• Journal of the Korea Institute of Building Construction
• /
• v.24 no.1
• /
• pp.97-108
• /
• 2024

This research delves into the escalating concerns of accidents and fatalities in the construction industry over the recent five-year period, focusing on the development of a Safety Perception Model to augment safety measures. Given the rising percentage of elderly workers and the concurrent drop in productivity within the sector, there is a pronounced need for leveraging Fourth Industrial Revolution technologies to bolster safety protocols. The study comprises an in-depth analysis of statistical data regarding construction-related fatalities, aiming to shed light on prevailing safety challenges. Central to this investigation is the formulation of a Safety Perception Model tailored for small-scale construction projects. This model facilitates the quantification of safety risks by evaluating safety grades across construction sites. Utilizing the DWM1000 module, among an array of wireless communication technologies, the model enables the real-time tracking of worker locations and the assessment of safety levels on-site. Furthermore, the deployment of a safety management system allows for the evaluation of risk levels associated with individual workers. Aggregating these data points, the Safety Climate Index(SCLI) is calculated to depict the daily, weekly, and monthly safety climate of the site, thereby offering insights into the effectiveness of implemented safety measures and identifying areas for continuous improvement. This study is anticipated to significantly contribute to the systematic enhancement of safety and the prevention of accidents on construction sites, fostering an environment of improved productivity and strengthened safety culture through the application of the Safety Perception Model.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.07a
• /
• pp.293-295
• /
• 2003

본 논문에서는 멀티캐스트기법에 기반한 중앙분배방식의 그룹키 관리 기법에 대한 안전성 모델을 제시하고자 한다. 지금까지 키 관리 기법과 관련한 안전성 모델 연구는 주로 두 사용자간에 안전한 키 교환이 이루어지는 환경에 집중되어 왔다. 이와 달리 본 논문에서 다루는 환경은 특정 그룹에 속한 다수의 사용자가 안전하게 키를 공유하는 것을 목적으로 하며 이때 키 생성, 키 분배 등의 그룹키 관리를 위해 신뢰기관인 그룹 관리자가 존재한다. 이러한 중앙분배방식의 그룹키 관리가 안전하게 이루어지기 위해 반드시 요구되어지는 안전성 조건을 분석하고 이를 기반으로 구체적인 안전성 모델을 제시한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2017.11a
• /
• pp.8-10
• /
• 2017

최근 빈번한 항해 사고에 대응하여 항해 안전에 대한 관심이 높아지고 있으며 특히 항해중인 선박의 안전 항해에 대한 육상 감시기술 개발에 많은 노력이 기울려 지고 있다. 이러한 육상용 항해안전 감시시스템은 항만 교통 번잡도에 따른 조종 위험성 평가 기능 및 해양기상에 따른 선박 안전성능 평가 기능 등으로 구성되며, 선박 안전성능 평가를 위하여 선박에서 전송되는 AIS정보를 운항정보로 변환하여 구축된 선박별 동특성 정보와 연결한 후 안전성능지수를 도출하는 기술 구현이 필요하다. 본 연구에서는 이러한 항해안전 감시시스템 개발을 위하여 환경 요인에 의한 항해중 선박의 위험 요소를 분석, 항해안전 평가 모델을 개발한 후 개발된 평가 모델에 대한 평가 기준을 제시하였고 각 평가 모델의 결과를 정량적 지수형태로 도출하여 안전항해 감시시스템의 정량적 평가 기능을 지원하였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.6
• /
• pp.69-78
• /
• 2004

During the last decade, security models have been defined for two- and three-parity key exchange protocols. Currently there is a growing research interest in security models for group key management schemes. While various security models and provably secure protocols have been proposed for distributed group key exchange schemes, no results are hewn for centralized group key distribution schemes in spite of their theoretical and practical importance. We describe security requirements and a formal security model for centralized group key distribution scheme: we define the model on the channel controlled by adversaries with the ability of strong user corruption. In the security model, we propose a conversion module which can transform centralized tree-based group key distribution schemes in the literature to provably secure centralized tree-based group key distribution schemes.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.18 no.1
• /
• pp.33-39
• /
• 2012

Official Development Assistance(ODA) Project is initiated to assist a developing country economically and to promote its welfare. Support on training and information system development are the primary elements in the maritime safety field. The maritime safety information system(MSIS) of ODA projects deals with maritime safety information of developing nations and ensures an inter-operability between other systems. Therefore, it is required to develop MSIS based on the Universal Hydrographic Data Model(UHDM) of International Hydrographic Organization(IHO). In this paper, we have analyzed the current status and operational process of UHDM established by IHO. Oil spill response system was selected as an example of MSIS project and, also, considered the application results to the maritime safety field of UHDM.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.