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

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

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

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

• 한국게임학회 논문지
• /
• 제11권6호
• /
• pp.53-60
• /
• 2011

게임 서비스를 위한 소프트웨어의 경우 그 신뢰도에 대한 중요성은 지속적으로 증가하고 있다. 따라서 소프트웨어 신뢰도에 대한 평가 또한 매우 중요하다. 본 연구에서는 개발 공정에 대한 대표 활동인 확인 및 검증이 소프트웨어 신뢰도에 어떠한 영향을 미치는가를 정량적으로 분석하기 위하여 실험을 수행하였다. 이러한 실험 결과는, BBN (Bayesian Belief Network) 기반 신뢰도 평가와 같이, 개발 공정에 근거하여 신뢰도를 평가할 때 매우 유용한 근거 자료로 활용될 것이다.

• 한국항행학회논문지
• /
• 제21권2호
• /
• pp.155-162
• /
• 2017

최근 국내에서 항공 관련 안전필수시스템들이 개발되었지만 이들 완성품들은 규정된 요구사항들을 충족시키지 못하여 실용화 또는 상용화 되지 못하였다. 현대 항공 기술의 복잡도가 높아짐에 따라 기존의 검증 및 확인 기술로는 시스템에 잠재된 리스크를 식별하고 줄이는데 어려움이 많다. 이러한 단점들을 극복하기 위해 선진국에서는 독립적 검증 및 확인이라는 새로운 기법에 관심이 모아지고 있다. 이 독립적 검증 및 확인의 효과도에 관한 학술적 연구는 국내에는 전무하고, 국외에서 조차도 매우 희소하게 수행되고 있다. 따라서 본 논문에서는 항공선진기관에서 수행한 항공 안전필수시스템에 대한 독립적 검증 및 확인의 응용 연구들을 조사하여 사업에 미치는 여러 가지 효과들을 분석해 본 결과, IV&V는 조기 오류 검출율을 높이고, 내재된 리스크도 조기에 완화하며, 개발 수명주기 후반에 나타나는 재작업 확률을 줄여서 개발 일정 및 비용의 증가를 획기적으로 막아주는 것으로 나타났다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 추계학술발표회논문집(1)
• /
• pp.317-322
• /
• 1997

앞으로 건설되는 원전의 계측제어계통은 디지털 기술로 설계될 전망이다. 그러나 디지털 기술을 원전 계측제어계통에 적용하는데 있어서 디지털 기술이 원전의 안전성이나 신뢰도에 영향을 미치지 않는다는 사실을 보증하여야 하며, 디지털계통의 기능과 성능에 대한 확인/검증은 원전에 설치되기 전에 수행되어야 한다. 계측제어 시험검증설비의 목적은 새롭게 개발되는 디지털 제어 및 보호 알고리즘, 경보축약 알고리즘 또는 운전지원계통등의 성능을 검증하기 위함이다. 시험검증설비의 소프트웨어는 웨스팅하우스형 993 MWe 가압경수로를 모델링한 수학적 모델링과 시험검증설비를 운용하기 위하여 필요한 종합운용프로그램으로 구성된다. 하드웨어는 공학용 워크스테이션, 시험용 패널, 개발되는 계통과의 인터페이스를 위한 VXI 인터페이스 모듈, 그리고 공유메모리의 값을 시험대상 시작품으로 전송하는 Ethernet 모듈 등으로 구성된다. 사용자 인터페이스로 할덴 원자로 프로젝트에서 개발된 Picasso 그래픽 도구를 이용한 화면과 60개의 주요변수의 값을 CRT에 표시하는 기능을 제공한다. 계측제어 시험검증설비를 응용한 계측제어계통 시작품은 정상운전 및 과도상태에서 적절한 시험결과를 제공하였다.

• 한국벤처창업학회:학술대회논문집
• /
• 한국벤처창업학회 2017년도 춘계학술대회
• /
• pp.41-41
• /
• 2017

연구에서는 기존의 업종구분 없이 창업보육센터의 서비스와 입주기업의 성과와의 상관관계 분석과 관련된 연구들을 문화콘텐츠 분야의 기업 관점에서도 유의미한지 재 검증해보고, 또한 문화콘텐츠 기업의 특성상 아이템의 사업성이 입주기업의 성과에 유의미한 영향을 미치는지에 대해 검증하고자 한다. 그래서 문화콘텐츠 분야의 창업보육 시 필요한 서비스를 발굴하고 빠르게 변화하는 문화콘텐츠 시장의 성장에 따른 아이템의 사업성 평가에 따른 차별화된 창업보육 서비스를 통해 성과가 도출될 수 있도록 체계적이고 합리적인 문화콘텐츠 분야의 창업보육시스템 구축의 중요성에 대해서 논의하고자 한다. 실증분석을 위하여 설문조사는 경기도 문화콘텐츠분야 창업보육센터 입주기업을 대상으로 설문을 실시하였고, 설문 데이터의 실증분석 방법으로는 SmartPLS 2.0를 이용해 빈도분석(頻度分析), 신뢰도분석(信賴度分析), 그리고 구조모형을 통하여 가설검증을 실시하였다. 가설검증을 통해 분석한 결과를 다음과 같다. 첫째, 경기도 문화콘텐츠 분야 창업보육센터의 지원서비스 수준이 창업아이템의 사업타당성에 미치는 영향을 분석한 결과에서는, 공간 및 부대지원서비스, 경영지원서비스, 기술지원 서비스는 창업아이템의 사업타당성에는 유의한 영향을 미치지 않는 것으로 나타났으며, 인적지원 서비스 및 마케팅 지원 서비스는 유의미한 정(+)의 영향을 미치는 것을 확인 할 수 있었다. 둘째, 경기도 문화콘텐츠 분야 창업보육센터의 지원서비스 수준이 입주기업의 성과에 미치는 영향을 분석한 결과에서는, 공간 및 부대지원 서비스, 인적지원 서비스 및 마케팅지원 서비스는 입주기업의 재무적 성과에 유의미한 정(+)의 영향을 미치는 것을 확인 할 수 있었으나, 경영지원 서비스, 기술지원 서비스는 입주기업의 재무적 성과에 유의미한 영향을 미치지 않는 것으로 나타났다. 또한 공간 및 부대지원 서비스, 경영지원 서비스, 인적지원 서비스 및 마케팅지원 서비스는 입주기업의 비재무적 성과에 유의미한 정(+)의 영향을 미치는 것을 확인 할 수 있었으나. 기술지원 서비스는 입주기업의 비재무적 성과에 유의한 영향을 미치지 않는 것으로 나타났다. 셋째, 경기도 문화콘텐츠 분야 창업아이템의 사업타당성이 입주기업의 성과에 미치는 영향을 미치는 것을 분석한 결과 창업아이템의 사업타당성이 입주기업의 성과(재무적,비재무적) 성과에 모두 영향을 미치는 중요한 요소임을 확인 할 수 있었다.

• Nuclear Engineering and Technology
• /
• 제26권4호
• /
• pp.600-610
• /
• 1994

원자력산업계에서는 원전 계측제어계통의 디지털화를 위해 많은 노력을 기울이고 있으나, 원자력산업의 특수성인 시스템 안전성 확보에 필요한 소프트웨어 개발기준과 규제방법이 정립되지 못하고 있다. 뿐만 아니라 디지털 계측제어계통의 핵심 기반기술인 고신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 논란의 대상이 되고 있다. 이와 같이 원전 계측제어계통 디지털화 성공을 위해서는 소프트웨어 신뢰도 확보가 관건이며 고신뢰도 소프트웨어 확인 및 검증 기술 개발이 절실히 요구된다. 본 기술보고에서는 디지털 계측제어계통 소프트웨어에 대한 규제요건을 소프트웨어 신뢰도 보장을 위한 개발자, 사용자, 규제자 사이의 합의 기준측면에서 분석하였다. 또한 최근의 미국 원자력규제위원회의 디지털 계측제어계통 소프트웨어에 대한 규제방법과 규제동향을 살펴보았으며 마지막으로 고신뢰도 소프트웨어 개발과 확인 및 검증 방법, 규제 요건, 규제 방법 등에서 공통적으로 고려해야 할 기술적 측면의 현안과 이의 해결을 위한 연구 현황등을 파악하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권10호
• /
• pp.445-460
• /
• 2013

최근 증가하는 모바일 어플리케이션은 다양한 모바일 기기 및 사용자 별 모바일 환경에 따라 다양하게 서비스 되고 있다. 그러나 늘어나는 모바일 어플리케이션의 보안 취약성 문제점도 크게 대두되고 있는 실정이다. 이러한 보안 문제점을 효과적으로 검증하기 위해 본 논문에서는 "모바일 앱 구현 단계별 보안성 검증 방안"을 제안하고자 한다. 이는 기존 검증 방안 보다 더욱 구체적인 항목과 넓은 범위를 확인 할 수 있어 확인 되지 않았던 추가적인 항목에 대한 보안성 체크가 가능하며, 도출된 취약점을 바탕으로 해당 취약사항의 원인 및 발생환경 체크가 가능한 개선된 방법이다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2001년도 종합학술발표회논문집
• /
• pp.258-261
• /
• 2001

인증서의 정당성을 검증하기 위하여 검증자(verifier)는 소유자(owner)의 인증서와 그 인증서를 인증한 공인인증기관의 인증서들을 검증해야 하고, 그에 앞서 그 인증서들의 폐지 여부를 확인하여야 한다[1]. 이 인증서 폐지 목록의 확인을 대행하는 것이 실시간 인증서 상태 프로토콜(OCSP)이다[2]. 그리고, 이 OCSP가 인증서의 폐지 여부만을 응답하는 단점을 극복하기 위하여 간단한 인증서 검증 프로토콜(SCVP)이 제안되었다[7]. 이 SCVP는 사용자의 질문의 형태에 따라 인증서의 정당성까지 검증하여 주는 프로토콜이다. 그러나 이 SCVP 역시 새로운 신뢰기관을 필요로 한다. 본 논문에서는 전체 인증서 검증 경로를 알 수 있는 인증서 일련번호 부과 방법[4]을 기반으로 부과적인 신뢰기관 없이 실시간으로 인증서의 정당성 여부를 확인할 수 있는 새로운 프로토콜을 제시하고자 한다. 계산량의 결과로는 SCVP와 동일한 2n 번의 서명 생성 및 검증이 필요하지만, 인증서 폐지 목록과 부과적인 신뢰기관을 필요로 하지 않는다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2006년도 추계학술대회
• /
• pp.202-205
• /
• 2006

최근 지열원 열펌프 시스템 설치가 해마다 평균 10-30%젓도 꾸주히 증가하고 있다 주요 연구동향은 토양열전도 측정, 지열히트펌프 시스템 전주기 성능평가 하이브리드 시스템의 초기비용 저감과 이러한 지열원 열펌프 시스템 설계방법분야 개발에 대해 초점이 맞춰지고 있다. 특히 국내에서 현재 시공되어진 많은 시스템들이 부실시공의 문제에 노출되고 있으며 이러한 시점에서 현재의 저가 입찰제도 보다는 외국 사례와 같은 성능확인 제도로의 전환 및 많은 연구가 필요하다. 성능확인제도는 사전 성능 예측과 사후 성능 확인 검증으로 구성되며 본 기술현안 보고서는 최근 국내외 연구동향 및 사전 성능 예측과 사후 성능 검증 관하여 정리하여 본다.