• 전자공학회논문지
• /
• 제53권8호
• /
• pp.107-112
• /
• 2016

원자력발전소의 안전필수 기능을 수행하는 계측제어 시스템은 원자로의 예상되는 과도상태가 발생되거나 설계기준사고의 결과를 완화하기 위해 원자로 및 주요 기기의 상태를 감시한다. 만일 원자로출력, 냉각재 온도, 또는 증기발생기 수위 등의 상태가 기 정해진 설정치에 도달하게 되면 정확하고 신속하게 원자로를 정지시키는 기능을 수행한다. 이러한 안전필수 시스템은 예상 가능한 사고로부터 인간과 자연을 보호하기 위한 중요 기능을 수행하는 디지털 제어시스템으로써, 비인가 된, 의도되지 않은 변경 등의 취약점으로 인해 신뢰성 있는 운영이 영향을 받지 않도록 보안성환경이 구축되어야 한다. 이러한 보안성환경은 관리적 조치와 기술적 조치를 통해 구현될 수 있다. 본 논문에서는 안전필수 기능을 수행하는 원전 계측제어 시스템의 제어용 소프트웨어 진단기능이 보안성환경을 구축하는 데 효과적인 설계방안인지를 평가하였다. 이를 위해, 제어용 소프트웨어의 무결성을 확인하는 순환잉여검사(CRC) 진단기능에 대한 모의실험을 수행하였다. 본 논문에서의 효과성 평가는 향후 안전필수기능을 수행하는 원전 계측제어 시스템의 설계 및 안전성 분석에 활용될 수 있을 것으로 기대된다.

• 정보와 통신
• /
• 제34권5호
• /
• pp.10-18
• /
• 2017

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

• 전자통신동향분석
• /
• 제30권3호
• /
• pp.74-83
• /
• 2015

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.241-242
• /
• 2012

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.875-877
• /
• 2022

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

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 I
• /
• pp.454-457
• /
• 2003

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.56-58
• /
• 2011

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

• 전자통신동향분석
• /
• 제32권4호
• /
• pp.78-88
• /
• 2017

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

• 정보보호학회논문지
• /
• 제4권2호
• /
• pp.89-112
• /
• 1994

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

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 1999년도 춘계 학술논문발표회 논문집
• /
• pp.45-49
• /
• 1999

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