• 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.

• Information and Communications Magazine
• /
• v.34 no.5
• /
• pp.10-18
• /
• 2017

본고에서는 자율주행 완성차와 자율주행 융합 부품 관련 기술과 국내외의 자율주행자동차 산업정책과 기술 개발 동향을 살펴본다. 자율주행 차량은 고안전, 고편의, 친환경, 신생태계의 자동차 산업에서의 4가지 미래 키워드를 만족시키는 기술로서 국가차원의 전략적 양성이 필요하다. 자율주행자동차 산업은 자동차 산업 생산기반 및 우리나라의 IT, 반도체 등의 기술 활용이 가능하며, 아직 상용화 되지 않은 분야로서 자율주행 분야의 상용화 기술 조기 확보 시 세계시장을 선점 할 수 있다. 따라서 자율주행 완성차 및 부품업체 등의 복수 수요기관이 참여하여 중소, 중견 부품업체 수요처 다각화 및 생태계 체질 개선, 자율주행 핵심부품 및 제어를 위한 SW 등 원천기술 확보 및 수입대체, 자율주행 기술과 관련 센서 선도기술 개발 및 글로벌 중견기업 육성을 기대 할 수 있다. 또한 빠르게 자율주행자동차 관련 기술개발이 진행되고 전장 부품이 자동차에서 차지하는 비중이 커짐에 따라 서로 연결되어 동작하는 전기전자 시스템의 기능안전 확보의 필요성이 대두되고 있다. 이미 해외에서는 자동차 전자제어 시스템 의무 장착을 강화시키는 추세이며 차량 안전 확보를 위해 전자제어장치의 기능 안정성의 중요성과 기술 표준의 필요성을 기반으로 자동차 기능 안전선 국제 표준을 규격화하고 있다. 따라서 본고에서는 국내외의 자율주행차량 분야의 산업 현황과 기술 동향을 살펴봄으로써 시장의 현황을 파악하고 자동차 기능 안전성 국제 표준에 관하여 알아본다.

• Electronics and Telecommunications Trends
• /
• v.30 no.3
• /
• pp.74-83
• /
• 2015

무인기의 기술 발전에 따른 운송, 통신중계, 교통감시, 산불감시 진화, 재해 재난대처 등 무인기의 민간 및 공공 수요 확대로, 무인기는 국가 공역으로의 운항이 요구되고 있으며 국가 공역으로의 안전한 진입을 위해서는 유인항공기 조종사에 의한 시각 감지 및 회피와 동일한 수준의 안전성을 제공하는 탐지회피 능력과 함께 신뢰성 높은 무인기 제어용 통신링크 확보가 필수적으로 요구되고 있다. 따라서, 본고에서는 무인기 제어용 통신링크에서 요구되는 기술적 특징 및 국내외 기술/표준화 동향을 파악하고 고신뢰성 무인기 제어용 통신링크 확보를 위한 기술적 및 표준화 이슈를 살펴보고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.241-242
• /
• 2012

차량 제어 시스템은 안전성을 우선 고려하여 정적인 구조로 개발되어왔지만, 사용자들은 동적인 구조의 차량 제어 시스템을 바라고 있다. 본 논문에서는 차량 제어 시스템에 워크플로우를 도입하여 Plug & Play를 가능하게 하는 방법을 데모 시스템 상에 구현하여 실제 구현 가능성을 모색하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.875-877
• /
• 2022

본 논문에서는 비평탄 지형에서 보행할 수 있는 탐사, 정찰 목적으로 설계된 12자유도 4족 보행 로봇의 구성과 주요사양을 설명하고 로봇 하드웨어의 설계 과정과 현실에서 로봇을 구동하기 전 시뮬레이션으로 로봇을 미리 구동시킨 실험결과 및 보행 안전성에 관련된 분석 결과등을 제시하고 실제로 로봇의 보행이 안정한지 확인하는 과정을 보여준다

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• pp.454-457
• /
• 2003

대규모 시스템 명세의 올바름을 검증하기 위한 유한상태 LTS(Labeled Transition System)에 기반을 둔 CTL(Computation Tree Logic) 논리 적용의 문제점은 시스템 내부의 병렬 프로세스간 상호 작용으로 인한 상태폭발이다. 그러나 medal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결된다. 본 논문에서는 LTS 로 명세화 된 철도 신호제어용 프로토콜 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증하기 위해 시제 논리로 사용된 modal mu-calculus를 사용하여 해당 검정 알고리즘을 구현 및 적용하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.56-58
• /
• 2011

원자력 발전소의 오작동이나 사고는 인명이나 재산상의 큰 피해를 초래하므로 엄격한 안전 기준을 적용하고 있다. 따라서 원자력 발전소의 안전성과 관련된 원전용 제어기는 높은 수준의 신뢰도와 안전도가 요구된다. 이를 위해 디지털 방식의 제어기에 PLC 방식의 제어기와 PLD 방식의 제어기를 사용하여 다양성을 얻고 있다. 본 논문에서는 PLD 방식의 원전용 트립제어기의 Functional Verification을 위하여 RTL 수준의 설계에 대한 Functional Coverage 분석을 사용하였다. 테스트벤치는 System Verilog에서 제공되는 클래스에 기반한 구조적 테스트벤치를 작성하여 사용하였다.

• Electronics and Telecommunications Trends
• /
• v.32 no.4
• /
• pp.78-88
• /
• 2017

무인기의 기술 발전에 따른 운송, 통신중계, 교통감시, 산불감시 진화, 재해 재난대처 등 무인기의 민간 및 공공 수요가 확대되고 있다. 무인기는 국가 공역으로의 운항이 요구되는데, 국가 공역으로의 안전한 진입을 위해서는 유인항공기 조종사에 의한 시각 감지 및 회피와 동일할 수준의 안전성을 제공하는 탐지 회피 능력과 함께 신뢰성 높은 무인기 제어용 통신링크 확보가 필수적으로 요구되고 있다. 따라서, 본고에서는 국외 기술 개발 및 표준화 동향을 바탕으로 국가 공역에서의 무인기의 안정적 진입을 위해 필요한 무인기 지상 제어용 통신 및 네트워크 기술에 대해 살펴보고자 한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.89-112
• /
• 1994

전자우편 (E-Mail) 이나 메세지 처리 시스템 (MHS: Message handling System)과 같은 축적 후 전송(Store-and-Forward) 방식의 네트워크 시스템에서 다중 등급의 기밀성을 갖는 메세지를 처리하고자 할 때 중요한 메세지의 내용이 누출되거나 또는 허가되지 않은 자가 메세지를 액세스할 수 있는 안전성 문제의 해결이 중요하다. 본 논문에서는 다중 등급 메세지의 보호를 위하여 요구되는 네트워크 보안 정책을 임의적 액세스 제어, 보안 레이블, 레이블 무결성, 강제적 엑세스제어, 그리고 최소 권한 정책 측면에서 제시하였다. 정의한 보안 정책을 만족하는 보안 특성 함수와 보안 오퍼레이션을 기반으로 하여 안전한 MHS을 위한 네트워크 액세스 제어 메카니즘과 그 구조를 설계하였다. 제안한 액세스 제어 메카니즘은 네트워크상에서 중요한 메세지의 불법적인 액세스 또는 불안전한 (Insecure) 정보 흐름의 보호문제를 해결한다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1999.06a
• /
• pp.45-49
• /
• 1999

전기철도가 운행될 때 발생하는 전자계 환경문제에는 주변의 근거리 및 원거리 전자계 및 시스템 내외부에서 발생되는 과도성 이상 전압 등이 포함되는 태 이들은 다른 전기 기기나 인체 영향을 미치게 된다. 이중 특히 철도 내부 및 외부의 통신이나 제어기기에의 영향은 열차의 안전성과 연결이 되어 중요한 사안이 된다. 이러한 문제외에도 우리나라 전력계통의 건설이 요즘 들어 많은 인원을 겪게 되는 것도 날로 증가하는 전자계 환경에 대한 민감한 관심 때문이라 하겠다. (중략)