http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
교훈: 목표지향 제어봉제어계통 독립 소프트웨어 확인 및 검증
이자영 ( Jayoung Lee ),손광영 ( Kwangyoung Sohn ),이상석 ( Sangseok Lee ),이준구 ( Junku Lee ),박근옥 ( Geunok Park ) 한국정보처리학회 2013 한국정보처리학회 학술대회논문집 Vol.20 No.1
단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.
원전 MMIS 소프트웨어 개발을 위한 규제요건 분석 및 개발 방법론
이종복(Jongbok Lee),서상문(Sungmoon Suh),서용석(Yongsuk Suh),장귀숙(Gwisook Jang),금종용(Jongyong Keum),박근옥(Geunok Park) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1B
원자력 산업계에서는 원전 MMIS(Man-Machine Interface System)의 디지털 기술 적용을 위해 많은 노력을 기울이고 있고, 특히 원자력 산업의 특수성인 안전성 확보에 필요한 개발기준과 규제방법 정립에 많은 연구가 수행되고 있다. 또한 디지털 MMIS의 핵심기반기술인 고 신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 현안으로 제기되고 있다. 이와 같이 원전 MMIS의 디지털화를 성공하기 위해서는 소프트웨어의 고 신뢰도 확보가 관건이며, 고 신뢰도를 확보하기 위한 소프트웨어 개발 방법론의 정립이 절실히 요구되고 있다. 본 논문에서는 원전 소프트웨어 개발에 적용되는 규제지침을 분석하고, 일체형원자로(SMART, System-integrated Modular Advanced ReacTor) MMIS 소프트웨어 개발에 적용될 소프트웨어 개발 방법론을 제시한다.