• 에너지공학
• /
• 제7권1호
• /
• pp.96-102
• /
• 1998

원자력 안전계통의 일부분인 컴퓨터의 사용은 일반 산업분야에서 명시되지 않은 부가적인 요건 즉 소프트웨어의 확인 및 검증, 하드웨어의 품질요건이 요구된다. 원자력 발전소에서 사용되는 컴퓨터는 컴퓨터 하드웨어, 소프트웨어, 펌웨어 및 연계장치를 포함하는 시스템이다. 원자력 안전등급을 갖는 컴퓨터 시스템을 개발하기 위해서는 우선적으로 개발환경이 요구되고 개발된 소프트웨어는 원자력 코드 및 표준에 따라 확인 및 검증되어야 한다. 이러한 요건 때문에 원자력 발전소 안전계통의 하나인 부적절노심감시계통에 대한 시험설비가 개발되었다. 시험설비는 입출력 모의설비, 자료수집계통 케비넷 및 감시컴퓨터의 3부분으로 구성된다. 이 시스템의 성능을 수동시험절차에 따라 검증되었다.

• 인터넷정보학회논문지
• /
• 제17권2호
• /
• pp.39-47
• /
• 2016

일반적으로 소프트웨어 R&D 프로젝트에서는 프로그램 코드와 문서 산출물이 생성된다. 이러한 소프트웨어 R&D 산출물들은 두가지로 분류할 수 있다. 첫 번째 분류는 연차 실적 계획서, 연구개발과제계획서, 연구성과보고서, 연구 노트와 같은 소프트웨어 연구 산출물들이 포함된다. 그리고 다른 분류는 소프트웨어 요구사항 명세서, 소프트웨어 설계 명세서, 소프트웨어 테스트 계획서, 프로그램 코드와 같은 소프트웨어 개발 산출물들이다. 프로젝트의 진행 방향을 확인할 때 프로그램 코드를 테스트하고 문서 산출물을 검증하는 것이 중요하다. 또한 연구 문서와 개발 산출물 사이에 완전성, 일관성 등의 관계를 확인해야 한다. 그러한 검증과 테스트는 프로젝트 관리자와 연구자들이 프로젝트를 진행하는 동안 올바르게 진행하고 있다는 확신을 준다. 그러므로 본 연구에서는 소프트웨어 R&D에서 생성되는 문서와 프로그램을 검증하는 프로세스를 제안한다. 본 프로세스는 문서 산출물을 검토하고 프로그램 코드를 테스트하는 활동으로 구성되어 있으며, Essence를 사용하여 정의된다. 그리고 본 연구에서 제안하는 프로세스의 효율성을 사례 연구를 통해 보인다.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.33-39
• /
• 2017

This paper describes the system engineering approach for the heat transfer analysis of plus7 fuel rod for APR1400 using, a commercial software, ANSYS. The fuel rod is composed of fuel pellets, fill gas, end caps, plenum spring and cladding. The heat is transferred from the pellet outward by conduction through the pellet, fill gas and cladding and further by convection from the cladding surface to the coolant in the flow channel. The goal of this paper is to demonstrate the temperature and heat flux change from the fuel centerline to the cladding surface when having maximum fuel centerline temperature at 100% power. This phenomenon is modelled using the ANSYS FEM code and analyzed for steady state temperature distribution across the fuel pellet and clad and the results were compared to the standard values given in APR1400 SSAR. Specifically the applicability of commercial software in the evaluation of nuclear fuel temperature distribution has been accounted. It is note that special codes have been used for fuel rod mechanical analysis which calculates interrelated effects of temperature, pressure, cladding elastic and plastic behavior, fission gas release, and fuel densification and swelling under the time-varying irradiation conditions. To satisfactorily meet this objective we apply system engineering methodologies to formulate the process and allow for verification and validation of the results acquired. The close proximity of the results obtained validated the accuracy of the FEM analysis of the 2D axisymmetric model and 3D model. This result demonstrated the validity of commercial software instead of proprietary in-house code that is more costly to develop and maintain.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권5호
• /
• pp.419-430
• /
• 2007

소프트웨어 개발시 요구사항이 시스템에 제대로 반영되어 개발되고 있는지를 추적하는 일은 아주 중요하다. 이에, 본 연구에서는 추적테이블을 이용하여 요구사항을 추적하는 방법을 연구하였다. 본 연구에서 제시한 추적테이블에서는 제안요청서, 제안서 등의 내용을 명확히 명세하게 함으로써 요구사항의 발생근거를 명확히 하고, 산출물마다 요구사항 식별코드를 매핑하게 하여 산출물간의 일관성 및 완전성 검증하는데 용이하게 하였다. 아울러, 본 연구를 진행하면서 마르미-III v.4.0 방법론의 요구획득단계 산출물중에 추가하거나 보완이 필요한 요소를 발견하게 되었기에 개선된 추적테이블과 함께 부가적인 연구결과로 제시하고자 한다. 본 연구에서 제시한 개선된 추적테이블을 이용하여 산출물을 검증함으로써 소프트웨어 개발시 요구사항 관리 부족으로 일어나는 각종 위험 및 문제요소를 줄일 수 있을 것이다. 또한 마르미-III v.4.0 방법론의 요구획득 단계 산출물을 본 연구의 추적테이블 작성방법에 따라 추가.보완하게 함으로써 마르미-Ⅲ 방법론의 활용을 높이고자 한다.

• 산업융합연구
• /
• 제21권2호
• /
• pp.103-109
• /
• 2023

우리나라는 초등학교부터 소프트웨어교육을 실시하고 있다. 초등학교의 대표적인 소프트웨어교육 도구로 서양 체스 게임의 규칙을 토대로 재구성한 다양한 체스 게임을 활용하고 있는 실정이다. 반면 우리 전통놀이 중 윷놀이에도 소프트웨어 교육의 내용 요소가 포함되어 있어, 이에 대한 연구가 필요한 실정이다. 따라서 이 연구에서는 교육용 프로그래밍 언어인 엔트리와 거북이 로봇을 활용한 컴퓨팅 사고력을 기반한 윷놀이 프로그램을 개발하고 타당성을 검증하였다. 타당성 검증 결과로는 교과 성취기준과의 일치도(3문항)와 학습자료의 적절성(4문항), 수업 적용 가능성(3문항)에서 모두 CVR값이 0.7보다 높게 나타났다. 따라서, 이 연구에서 개발한 학습 프로그램이 교과 성취기준과 일치도가 높고 학습자료가 적절하며 수업에 적용할 수 있는 가능성이 높다고 판단할 수 있었다. 향후 이 콘텐츠의 일반화를 위해서는 효과성 검증이 되어야 할 것이며, 이를 이해 실험적인 연구가 필요하겠다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.407-416
• /
• 2009

검증과 확인을 통한 소프트웨어의 효율적인 관리를 지원하기 위하여 많은 연구들이 개발 초기 단계에 예측하기 위한 목적으로 연구를 하고 있다. 기존의 많은 연구들이 결함을 예측하기 위한 모형들을 제시했지만 기존의 연구에서는 결함 예측 모형을 다른 시스템에 범용적으로 적용이 가능한지에 대한 충분한 연구가 없었다. 또한 대부분의 결함 예측 모형은 모형 개발 당시와 같은 동일 시스템에서 예측력을 평가하였다. 그러므로 본 연구에서는 결함 예측 모형이 개발 당시와 다른 시스템에 범용적으로 적용될 수 있는지에 관하여 실험하였다. 실험은 3개의 실험 대상 시스템에 3개의 결함 예측 모형을 적용하여 예측력을 평가하였다. 실험 결과에서는 모형의 범용성에 대하여 찾을 수 없었다. 이는 모형의 개발 당시 시스템의 메트릭 분포가 실험 대상 시스템과 다르기 때문으로 분석된다. 따라서 결함 예측 모형을 타 시스템에도 적용할 수 있도록 결함 예측 능력의 범용성을 높이기 위한 추후 연구가 필요함을 확인하였다.

• 한국산학기술학회논문지
• /
• 제11권11호
• /
• pp.4460-4467
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 철도시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 철도시스템 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 철도 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 철도시스템 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다. 개발한 도구는 기존 해외 도구에 비해서 여러 테스트 커버리지를 효과적으로 측정할 수 있는 강점이 있으며, 실제 철도 현장에서 활용성이 높아 철도 소프트웨어의 개발 및 테스트 기술 발전을 기대할 수 있다.

• Steel and Composite Structures
• /
• 제39권1호
• /
• pp.109-123
• /
• 2021

This research endeavor intends to use the implicit finite element method to investigate the structural response of steel shear walls with partial plate-column connection. To this end, comprehensive verification studies are initially performed by comparing the numerical predictions with several reported experimental results in order to demonstrate the reliability and accuracy of the implicit analysis method. Comparison is made between the hysteresis curves, failure modes, and base shear capacities predicted numerically using ABAQUS software and obtained/observed experimentally. Following the validation of the finite element analysis approach, the effects of partial plate-column connection on the strength and stiffness performances of steel shear wall systems with different web-plate slenderness and aspect ratios under monotonic loading are investigated through a parametric study. While removal of the connection between the web-plate and columns can be beneficial by decreasing the overall system demand on the vertical boundary members, based on the results and findings of this study such detachment can lower the stiffness and strength capacities of steel shear walls by about 25%, on average.

• 시스템엔지니어링학술지
• /
• 제12권2호
• /
• pp.101-114
• /
• 2016

A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

• 한국항행학회논문지
• /
• 제15권1호
• /
• pp.39-53
• /
• 2011

모바일 장치의 광범위한 응용과 더불어 통신 보안과 연구가 최근 중요한 관심사가 되고 있다. 본 논문에서는 바이오매트릭스의 지문과 음성의 특징을 이용한 모바일 통합 OTP의 일회용 암호 키 토큰을 생성하는 방법을 제안한다. 강력한 개인 인증에 사용되는 바이오매트릭스의 지문과 음성 정보를 이용하여 모바일 환경의 가변적이고 안전한 일회용 암호 키를 생성하는 OTP 프레임워크를 제안하였으며, 또한 제안 기법에 대한 dendrogram을 이용한 지문과 음성 특징 점에 의한 준동형적 가변성 그리고 지문과 음성 특징 점의 분포를 시뮬레이션 하여 유효성을 검증하였다.