1 |
김장렬외, "원전 상용기기(Commercial Grade Item) 승인 및 평가 방법론, 한국원자력학회, 추계학술발표대회, 1997.
과학기술학회마을
|
2 |
구철회, "실시간 소프트웨어 개발기술 동향", 항공우주산업기술동향 2권1호, pp 86-93, 2004.
과학기술학회마을
|
3 |
이영준외, "설계명세서를 이용한 안전등급 PLC 운영 체제 컴포넌트 시험방법", 한국컴퓨터종합학술대회논문집, Vol. 33, No. 1(C), 2006.
과학기술학회마을
|
4 |
연제명외, "실시간 운영체제를 적용한 제어시스템의 모델기반 설계 및 검증", 한국자동차공학회 논문집 제16권 제2호, 2008.
과학기술학회마을
|
5 |
Hyung Tae Kim, et al, "A Study on Requirements of Real-time Operating System for Safety Evaluation in Nuclear Power Plants", American Nuclear Society, NPIC/HMIT, 2009.
|
6 |
IEEE Standard 7-4.3.2-2003, "Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations"
|
7 |
IEEE Standard 1012-2006, "Software Verification and Validation"
|
8 |
IEC 60880, "Nuclear Power Plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions"
|
9 |
KEPIC EME 3700, "소프트웨어 검토", 전력산업기술기준, 대한전기협회, 2007.
|
10 |
KEPIC EME 3400, "소프트웨어 프로젝트 생명주기 (SPLC) 공정 개발", 전력산업기술기준, 대한전기협회, 2007.
|
11 |
KINS/RR-483, 원전 실시간운영체제에 대한 평가기술개발, 한국원자력안전기술원, 2007.2.
|