Skip to main content

이장수 교수

Jang-soo Lee

KAIST 전산학부 · 컴퓨터과학

연구실 소개

이장수 교수의 연구실은 원자력발전소의 제어 및 보호 시스템에서 발생할 수 있는 안전 기능 상실 원인을 분석하고, 외부 카오스 요인(예: tidal 등)이 시스템에 미치는 영향을 평가하는 데 초점을 맞추고 있습니다. 특히 I&C(설비 및 제어) 시스템의 고장, 오류, 외부 위협 요소 간의 상관관계를 체계적으로 분석함으로써 원전의 안전성 향상을 위한 기반 기술을 개발하고 있습니다. 국제 표준 기반의 위험 분석 프레임워크를 비교·분석함으로써 글로벌 기준에 부합하는 안전성 확보 방법을 모색하고 있습니다.

핵안전I&C 시스템위험 분석외부 위협원전 설계 기준

연구 현황

논문 수
3
총 인용 수
1
최근 5년 논문
3
주요 분야
컴퓨터과학

연구 성과 추이

표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.

5개년 연도별 논문 게재 수
3총합
2003
2011
2014
5개년 연도별 피인용 수
1총합
200320112014

주요 논문

3
1
논문|인용수 1·2011
State-of-the-art report for the testing and formal verification methods for FBD program
Eun Kyoung Jee, Jang Soo Lee, Young Jun Lee, Jun Beom Yoo
Hardware and ArchitectureComputer Science
2
논문|인용수 0·2014
Comparison of Hazard Analysis Requirements for Instrumentation and Control System of Nuclear Power Plants
Jang Soo Lee, Jun Beom Yoo

A hazard, in general, is defined as potential for harm. In this paper, the scope of is limited to the loss of a safety function in a Nuclear Power Plant (NPP). The Hazard Analysis (HA) of an Instrumentation and Control (I&C) systems is to identify the relationship from the logical faults, error, and failure of I&C systems to the physical harm of the nuclear power plant, and also to find the impact of the external hazard, e.g., tsunami, of the nuclear power plant to the I&C systems. This paper in

Statistics, Probability and UncertaintyDecision Sciences
3
논문|인용수 0·2003
Verification and Testing of the RTOS for Safety-Critical Embedded Systems
Na Young Lee, Jin Hyun Kim, Ah Young Sung, Byoung Ju Choi, Jin‐Young Choi, Jang Soo Lee
Transactions of the American Nuclear Society
Hardware and ArchitectureComputer Science

대표 연구 분야

Hardware and ArchitectureStatistics, Probability and Uncertainty

이장수 교수의 연구를 Nubint에서 더 깊이 살펴보세요

이 연구실의 논문을 앱에서 열어 AI와 함께 읽고, 핵심을 요약하고, 내 글에 인용하세요.