• 디지털산업정보학회논문지
• /
• 제16권1호
• /
• pp.99-109
• /
• 2020

In the past, conservative concepts have been applied in terms of the characteristic of nuclear power plants(NPPs), resulting in analog-based equipment and closed networks. However, as digital technology has recently been applied to the design, digital-based facilities and communication networks have been used in nuclear power plants, increasing the risk of cybersecurity than using analog-based facilities. Nuclear power plant facilities are divided into a safety system and a non-safety system. It is essential to identify the difference and cope with cybersecurity threats to the safety system according to its characteristics. In this paper, we examine the cybersecurity regulatory guidelines for safety systems in nuclear power plant facilities. Also, we analyze cybersecurity threats to a programmable logic controller of the safety system and suggest cybersecurity requirements be applied to it to respond to the threats. By implementing security functions suitable for the programmable logic controller according to the suggested cybersecurity requirements, regulatory guidelines can be satisfied, and security functions can be extended according to other system requirements. Also, it can effectively cope with cybersecurity attacks that may occur during the operation of nuclear power plants.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.192-199
• /
• 2004

In this paper the arthurs introduce the performance verification for Korea high-speed rail system developed at G7 project, how to draw basic provision requirements in the process of construction of national safety criteria certification system, and definition of basic requirements to make safety criteria at each subsystem and technology field in the future.

• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.272-279
• /
• 2007

Recently, train control system is adopting computer system replacing mechanical system and its software is taking more responsibility than ever. Train control system software is a safety-critical embedded software with realtime and high reliability requirements. In this paper, we propose a safety assessment method for the train control system software. We review characteristics of train control system software and analyze related international software safety standards to derive requirements for safety assessment. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. The proposed safety assessment method is to use safety activity results generated during development processes and feed them to the runtime embedded software testing tool.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1999년도 추계학술발표회요약집
• /
• pp.168-168
• /
• 1999

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제10권4호
• /
• pp.237-250
• /
• 2010

Railway safety aims to ensure that railways take appropriate action to limit the risk of injury to persons or damage to property, to acceptable levels. Accreditation system specifies railway safety requirements to be included in a railway safety management system by any organization seeking to demonstrate the ability to control the processes that determine the acceptability of railway safety activities. The objective of this research is to investigate the international accreditation system for railway safety management. The yield information is quite valuable to operate collaborative processes with all interfacing transport operators and undertakings to facilitate risk control across the railway system.

• 한국자동차공학회논문집
• /
• 제15권2호
• /
• pp.159-164
• /
• 2007

The Advanced Safety Vehicle (ASV) allows drivers not only convenience and safety, but also many useful services provided by the Telematics technology. Since ASV is expected to be widely used in the near future, it is necessary to ensure the safety of ASV systems. Among several aspects of ASV, this paper investigates the safety of the Adaptive Cruise Control (ACC) system. Field tests are carried out under the domestic roadway and traffic conditions, according to International Standard Organization (ISO) requirements for ACC. The test data are analyzed whether the requirements are adequate for domestic circumstances, and the suggestions for findings are given.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.2034-2039
• /
• 2010

As a mass transportation system, a railway contains potential risks that may result in a high death rate and property losses. Accordingly, Railroad Safety Technology R&D Corps. is adopting the plan of the construction of Railway Safety Test Facilities as a part of the Railway Total Safety Project to enhance the railway safety, and carrying out researches on effective project management methods with Systems Engineering techniques. When a system or a service is realized, such as the Railway Total Safety Project, it needs to be verified by requirements and the process of verification is to check whether customers/stakeholders requirements have been properly transformed into a system or a service. Recently, building the standardized verification system up could be the solution to reduce possible system-failed risks. To support that, we propose the more effectual verification method of constructing the Railway Safety Test Facilities applying the systems engineering tool to the research.

• 자동차안전학회지
• /
• 제12권4호
• /
• pp.48-53
• /
• 2020

This paper describes in work which is currently underway to the minimum safety performance requirements and test methods of V2V based on IEEE 802.11p in vehicle level like below. - The ranges and positions at static and driving condition of vehicle for BSM (Basic safety message) - Various road conditions such as straight road, crossroad, slope-way Based on this study, We will define the minimum safety performance requirements and test methods of V2V in vehicle considering various road conditions.

• 한국산학기술학회논문지
• /
• 제17권4호
• /
• pp.382-391
• /
• 2016

철도와 같은 안전중시 시스템에 대해 체계적인 안전관리의 필요성이 점차 커지고 있어 IEC 61508, 62278, ISO 26262 등의 안전과 관련된 표준들이 제정되었고, 관련연구가 수행되고 있다. 그중 안전 프로세스의 중요한 활동인 위험원 분석에 대하여 다양한 연구가 수행되어 왔으나, 시스템설계 프로세스와의 구체적인 연계성이 부족하였다. 또한 기존의 위험원 분석방법은 시스템 설계가 상당 수준 진행된 하드웨어 및 소프트웨어 구성품 정보에 의존하기 때문에, 설계 변경에 많은 비용과 일정이 소요된다. 이러한 문제들을 해결하기 위해서 본 논문에서는 시스템 설계초기인 개념설계 단계에서 수행한 기능분석 결과를 안전 프로세스에서 직접적으로 활용하여 위험원을 분석하고 이를 바탕으로 위험을 줄이기 위해 필요한 안전요구사항을 생성하는 방법에 대하여 연구를 수행하였다. 설계 초기에 위험원 분석 및 안전요구사항의 도출을 수행함으로써, 향후 요구사항 변경 등 여러 요인으로 시스템 설계 및 안전 설계의 변경 시에 이를 반영하는데 있어서 시간 및 비용 관점에서 상대적으로 효율적인 접근 방법이 된다. 한편, 사례연구로서 본 논문에서 제시한 방법을 경전철 역사의 안전성을 확보하기 위한 요구사항의 도출에 적용하는 연구를 수행하였다.