• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.932-933
• /
• 2013

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

• Journal of Korea Game Society
• /
• v.11 no.6
• /
• pp.53-60
• /
• 2011

Since the importance of software reliability for game service increases continuously, the reliability evaluation becomes very important. This research performed an experiment which was intended to analyze the effect of software verification and validation, a representative activity of the software development process, on the software reliability. The results from the experiments provided the reliability evaluation based on the development process (e.g., Bayesian Belief Network based reliability estimation) with very useful bases.

• Journal of Advanced Navigation Technology
• /
• v.21 no.2
• /
• pp.155-162
• /
• 2017

In recent years, aviation-related safety-critical systems have been developed in Korea, but these products have not satisfied the specified requirements and thus have not been commercialized or commercialized. Due to increasing complexity of the modern aviation system, traditional verification and validation techniques are not sufficient to identify and reduce latent risks in the system. To overcome this shortcoming, a new method which is called 'Independent verification and validation (IV&V)' is suggested. However, academic researches on the effectiveness of this independent verification and validation have not been conducted domestically, and it is performed very rarely even overseas. Therefore, in this paper, we investigated the application of independent verification and validation of the safety-critical aviation systems performed by advanced aviation organizations, and analyzed various positive effects on projects. As a result of the analysis, IV&V shows that early error detection rate is increased, potential risk is mitigated early, and the complex reworking probability, which appears later in the development life cycle, is reduced, greatly preventing the development schedule and costs from increasing.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.317-322
• /
• 1997

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

• 한국벤처창업학회:학술대회논문집
• /
• 2017.04a
• /
• pp.41-41
• /
• 2017

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

• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.600-610
• /
• 1994

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

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.10
• /
• pp.445-460
• /
• 2013

Mobile applications today are being offered as various services depending on the mobile device and mobile environment of users. This increase in mobile applications has shifted the spotlight to their vulnerability. As an effective method of security verification, this paper proposes "phase-wise security verification for the implementation of mobile applications". This method allows additional security verification by covering specific items across a wider range compared to existing methods. Based on the identified weaknesses, it detects the cause of vulnerability and monitors the related settings.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.258-261
• /
• 2001

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

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

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