• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.8
• /
• pp.107-112
• /
• 2016

Safety Critical Instrumentation and Control Systems perform those functions to maintain nuclear power plants' parameters within acceptable limits established for a design basis events and anticipated operating occurrence to ensure safety function. Those digitalized systems shall protect inadvertent and non-malicious behavior to ensure the reliable operation of systems, known as a Secure Development and Operational Environment(SDOE). SDOE would be established through managerial and technical controls. The objective of this paper is to evaluate the effectiveness of Cyclic Redundancy Checksum diagnostic, which is one of technical controls for SDOE, that can confirm the integrity of software of I&C systems to establish the secure environment. The results of this assessment would be the practical implementation of design and safety review of nuclear I&C systems.

• Convergence Security Journal
• /
• v.8 no.4
• /
• pp.191-197
• /
• 2008

A safe computer environment is necessarily required for computer users, because of a damage is widely increased by a malicious software such as the warm, virus and trojan horse. A general vaccine program can detect after the malicious software intruded. This kinds of the vaccine program show good result against a malicious code which is well known, however, there is no function in the vaccine or not enough ability to detect an application software which a malicious code included. So, this paper proposes an application verification system to decide existence and nonexistence of a malicious code in the application software. The proposed application verification system with a mechanism that grasps the flow type of malicious code, can make a reduction of a damage for computer users before the application software executed.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.10
• /
• pp.3885-3892
• /
• 2010

Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.115.1-115
• /
• 1999

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.350-352
• /
• 2022

자율운항선박을 IMO 자율화등급 3단계 이상으로 운용하기 위해서는 내·외부 통신시스템의 사이버보안뿐만 아니라 실시간으로 데이터를 교환하는 데이터 및 시스템 사이버안전에 대한 고려가 필수적으로 요구된다. 본 연구에서는 자율운항선박 사이버안전체계 구축방안에 대해서 살펴본다. 자율운항선박 사이버안전체계 구축을 위해서는 선박 내 사이버위협을 실시간으로 탐지하고 영향을 모니터링하는 통합 보안 시스템 구축이 필요하며, 선박 사이버안전 설계 타당성을 검증하는 사이버리스크평가 기술, 사이버안전체계를 검증하기 위한 CVE(Common Vulnerabilities Enumeration)기반 취약성 진단 및 침투테스트 기술, V-Model을 활용한 통합 소프트웨어 품질인증 기술, ISO 25024 기반 데이터 무결성 검증 기술 적용이 필요하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.10a
• /
• pp.37-38
• /
• 2018

자동차 시스템의 전자화로 자동차에서 소프트웨어가 차지하는 비중은 점차 증가하고 있다. 소프트웨어는 안전필수 시스템에서 중요한 위치를 차지하며, 소프트웨어의 오동작은 심각한 손실 또는 재난을 일으키는 원인이 될 수 있다. 최근 자동차 시스템은 자율주행차량을 목표로 하여 센서융합과 협조제어가 많아지고 있다. 센서와 협조제어 정보는 시스템의 자율화에 중요한 부분을 차지하지만 현재 산업구조에서는 관련 부분에 대한 검증이 쉽지 않다. 본 논문에서는 현재 상황에서 발생할 수 있는 현상들을 살펴보고 안전한 자동차 개발을 위해 우리가 나아가야 할 방향을 고찰한다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.6
• /
• pp.335-342
• /
• 2017

In the verification and validation procedures regarding the safety-critical software of nuclear power plants for the attainment of the requisite license from the regulatory body, it is difficult to judge the safety and dependability of the development, implementation, and validation activities through a simple reading and review of the documentation. Therefore, these activities, especially safety assurance activities, require systematic evaluation techniques to determine that software faults are acceptable level. In this study, a safety case methodology is applied in an assessment of the level and depth of the results of the development and validation of a manufacturer in its targeting of the bistable processor of a digital reactor protection system, and the evaluation results are analyzed. This study confirms the possibility of an effective supplementation of the existing safety demonstration method through the application of the employed safety case methodology.

• Proceedings of the KIEE Conference
• /
• 2006.04b
• /
• pp.319-322
• /
• 2006

안전필수시스템인 철도신호제어 시스템의 신뢰성은 하드웨어와 소프트웨어의 신뢰도에 의해서 결정된다. 하드웨어의 신뢰도는 상대적으로 많은 연구와 환경적 시험을 통하여 비교적 용이하게 예측하고 입증할수 있으나, 소프트웨어의 신뢰도는 반복실험결과에 의해서 추정해야 하므로, 입력 값에 따라서 신뢰도 추정치가 종속된다. 소프트웨어의 입력과 출력의 조합은 거의 Combinatoric으로 되기 때문 모든 경우를 시험하기는 블가능하다. 따라서 단순화된 방법에 의해서 소프트웨어의 신뢰도를 구하는 것이 중요한 문제로 부각되고 있다. 본 연구에서는 소프트웨어의 신뢰도를 예측하는 신뢰도 예측방정식(Reliability Prediction Equation)을 도출하여 신호제어시스템 소프트웨어에 대한 신뢰도 모델링을 수행하고자 한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.06a
• /
• pp.105-107
• /
• 2013

위성항법 기반 위치정보 서비스에 대한 안정성 및 신뢰성 확보를 위해서는 위성신호의 이상 감시가 필수적이며, 특히 안전과 관련된 응용분야에서의 위성신호 이상은 안전사고와 직결될 수 있으므로 위성신호 감시는 상시 안정적으로 운용되어야 한다. 따라서 효율적인 이상감시 기법 설계와 다양하고, 지속적인 시험평가를 위해서는 테스트베드 구축이 필요하며, 테스트베드 구축을 위한 요소 중 특히, 다양한 시나리오의 신호 이상을 생성할 수 있는 이상신호 생성 기술이 필요하다. 따라서 본 논문에서는 다양한 이상신호 생성 및 실신호 특성 반영이 가능한 소프트웨어 기반 GPS 이상신호 생성기를 제안한다. 소프트웨어 기반 GPS 이상신호 생성기는 높은 확장성을 가지므로, 사용자가 적용 및 응용하기 쉬우며, 상용 신호생성 시뮬레이터와 비교하여 실신호 특성을 반영한 이상신호 생성이 가능하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1535-1538
• /
• 2012

항공, 자동차, 로봇 등 안전-필수 분야에서 IT 융합 기술이 널리 사용되고 있다. 이들 분야에서 사용되는 IT 핵심 요소 중의 하나가 컨트롤러이다. 컨트롤러의 오 동작은 안전과 매우 밀접하기 때문에, 개발된 컨트롤러의 기능이 정확하다는 것을 입증해야 한다. 본 논문에서는 정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례를 보인다.