• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.03c
• /
• pp.105-117
• /
• 2000

본 연구에서는 터널구조물의 안전상태를 평가하기 위하여 터널라이닝에 광변위센서 계측시스템을 적용하였다. 먼저 터널 라이닝 모델실험을 실시하여 광변위 계측시스템의 신뢰성을 검증하였고, 터널 현장적용을 통하여 계측시스템의 적용성을 검토하였다. 본 계측시스템은 터널구조물의 상시적인 안전관리측면에서 효과적이라 할 수 있으며, 계측결과의 평가와 정밀안전진단에의 활용에 대한 연구가 필요하다.

• Journal of the Korean Society for Railway
• /
• v.11 no.1
• /
• pp.101-106
• /
• 2008

Recently, Architecture Frameworks are used to develop Information Management System (IMS). This paper describes an operational architecture development method for railway system safety assessment. using DoDAF (Department of Defense Architecture framework). The need of IMS is increasing to perform safety assessment task effectively and efficiently as safety-critical system like railway System. It is necessary that operational architecture based IMS requirements generated fir safety assessment. ARP(Aerospace Recommended Practice)4761 are referred to develop safety assessment operational architecture applicable to railway system. Firstly, schema and template was developed to perform the operational architecture development process using a commercial CASysE(Computer-Aided Systems engineering) tool, CORE. Not only the operational architecture allows building flexible IMS, but also helps business process solving.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2012.06a
• /
• pp.165-166
• /
• 2012

국내 선사와 선박의 안전관리시스템을 평가하기 위하여 평가 지표들을 종합적으로 적용할 수 있는 평가기준을 개발하였다. 추정된 비용과 편익을 기초로 순편익현재가치와 편익비용비율을 구하여 안전관리시스템 도입의 타당성을 분석하였다. - 생략

• Fire Science and Engineering
• /
• v.17 no.4
• /
• pp.57-63
• /
• 2003

In this study; the evaluation system models for evacuation safety assessment of underground malls were presented and related software program was developed. In addition, database was built integrating various data which were essential to evacuation safety assessment and enabling effective safety assessment with low cost and time. As a results of case study in local underground malls, the evacuation safety assessment system has examined in therms of field applicability and reliability.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.13 no.2
• /
• pp.87-98
• /
• 2015

Safety assessments of geological radioactive waste disposal systems, need to consider the abnormal scenario in which a system is impacted by external events in addition to a reference scenario. In this study, the characterization and prediction of an earthquake as an external event which will impact disposal systems were conducted probabilistically and statistically for the safety assessment. The domestic earthquake data were analyzed, and the prediction methodologies of the earthquake were suggested with a computational example. From the results, the earthquake occurrence rates in Korea ranged from 0.4 /yr to 36.2 /yr depending on the data set and the completeness magnitude. From a conservative point of view, the earthquake occurrence rate in the disposal system was suggested as 5.4×10^-4 /yr considering the area of the disposal system. At that time, the completeness magnitude of an earthquake was 2.3. This study will be followed by an appraisal of impacts associated with external events on the geological disposal system, and it will contribute to improvements in reliability of the safety assessment.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.04a
• /
• pp.271-284
• /
• 2013

최근 현대 무기체계는 최첨단 기술로 인한 무기체계 개발 속도 증가와 획득환경의 다변화와 더불어 이에 대한 위험도 동시에 증가하고 있다. 이에 따라 미국방부는 무기체계의 수명주기를 고려하여 시험평가를 지속 적용토록 강조하고 있다. 따라서 기존의 무기체계 시험평가 프로세스에서 다루는 시스템 설계에 대한 단계별 안전 활동의 강화의 필요성 역시 강조되고 있다. 그 중에서도 무기체계 개발의 핵심 활동에 해당하는 체계개발 단계는 양산에 들어가기 전의 최종 활동으로서 제대로 수행되어야만 초기에 의도한 무기체계 개발의 목적을 달성할 수 있을 것이다. 본 논문에서는 시스템 안전성 요소를 고려한 시험평가 프로세스의 개선사항 도출과 모델링을 통해 무기체계 시스템인 무기체계를 대상으로 적용 및 조정 구축에 대한 내용을 기술하고 있다. 본 연구의 결과를 토대로 향후 시험평가 기간의 단축 및 비용 절감과 데이터의 관리 및 추적 기능을 개선함으로써 무기체계 개발 후의 안전사고 발생 가능성을 줄일 수 있을 것으로 기대된다.

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

시스템의 안전성을 평가하기 위해 안전성 문제 해결 도구인 SPR［1］을 이용하여 보안 모델을 프롤로그 기반의 명세 언어인 SPSL로 기술하여 안전성을 검증한다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 보안 모델의 보안 기준에 NTFS의 다중 사용 권한을 적용하여 명세하고 안전성 문제 해결방법을 제시하고자 한다.

• Economic and Environmental Geology
• /
• v.56 no.6
• /
• pp.887-897
• /
• 2023

Leading waste disposal countries, such as Sweden, Switzerland, and the United Kingdom, conduct safety assessments across all stages of High-Level Radioactive Waste Deep Geological Disposal Facilities-from planning and site selection to construction, operation, closure, and post-closure management. As safety assessments are repeatedly performed at each stage, generating vast amounts of diverse data over extended periods, it is essential to construct a database for safety assessment and establish a data management system. In this study, the safety assessment data management systems of leading countries, were analyzed, categorizing them into 1) input and reference data for safety assessments, 2) guidelines for data management, 3) organizational structures for data management, and 4) computer systems for data management. While each country exhibited differences in specific aspects, commonalities included the classification of safety assessment input data based on disposal system components, the establishment of organizations to supply, use, and manage this data, and the implementation of quality management systems guided by instructions and manuals. These cases highlight the importance of data management systems and document management systems for securing the safety and enhancing the reliability of High-Level Radioactive Waste Disposal Facilities. To achieve this, the classification of input data that can be flexibly and effectively utilized, ensuring the consistency and traceability of input data, and establishing a quality management system for input data and document management are necessary.

• Journal of Aerospace System Engineering
• /
• v.15 no.5
• /
• pp.24-32
• /
• 2021

Personal Air Vehicle (PAV), Cargo UAS (Cargo UAS), and existing manned and unmanned aircraft are key vehicles for urban air mobility (UAM), and should demonstrate compatibility for the design of aircraft systems. The safety assessment required by for certification to ensure safety and reliability should be systematically performed throughout the entire cycle from the beginning of the aircraft development process. However, with the increasing complexity of safety critical aviation systems and the application of state-of-the-art systems, conventional experience-based and procedural-based safety evaluation methods make ir difficult to objectively assess safety requirements and system safety. Therefore, Model-Based Safety Assessment (MBSA) using modeling and simulation techniques is actively being studied at domestic and foreign countries to address these problems. In this paper, we propose a Model-Based Safety Evaluation framework utilizing modeling and simulation-based integrated flight simulators. Our case studies on the Traffic Collision Availability System (TCAS) and Wheel Brake System (WBS) confirmed that they are practical for future safety assessments.