• 대한기계학회논문집A
• /
• 제24권1호
• /
• pp.206-214
• /
• 2000

The pressure tube is a major component of the CANDU reactor, which supports nuclear fuel bundle and it's containment vessel. If a flaw is found during the periodic inspection from the pressure tube s. the integrity evaluation must be carried out. and the safety requirements must be satisfied for continued service. In order to complete the integrity evaluation, complicated and iterative calculation procedures are required. Besides, a lot of data and knowledge for the evaluation are required for the entire: integrity evaluation process. For this reason. an integrity evaluation system, which provides efficient of evaluation with the help of attached databases, was developed. The developed system was built on the basis of ASME Sec. XI and FFSG(Fitness For Service Guidelines for zirconium alloy pressure tubes in operating CANDU reactors) issued by the AECL, and covers the delayed hydride cracking(DHC). This system does not only provide various databases including the 3-D finite element analysis results on pressure tubes, inspection data and design specifications but also is compatible with other commercial database software. In order to verify the developed system, several case studies have been performed and the results were compared with those from AECL. A good agreement was observed between those two results.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.1217-1233
• /
• 2017

Effective monitoring and testing during each step are essential for document verification in research and development (R&D) projects. In software development, proper testing is required to verify it carefully and constantly because of the invisibility features of software. However, not enough studies on test processes for R&D projects have been done. Thus, in this paper, we introduce a Test Maturity Model integration (TMMi)-based software field R&D test process that offers five integrity levels and makes the process compatible for different types of projects. The Software & Systems Process Engineering Metamodel (SPEM) is used widely in the software process-modeling context, but it lacks built-in enactment capabilities, so there is no tool or process engine that enables one to execute the process models described in SPEM. Business Process Model and Notation (BPMN)-based workflow engines can be a solution for process execution, but process models described in SPEM need to be converted to BPMN models. Thus, we propose an approach to support enactment of SPEM-based process models by converting them into business processes. We show the effectiveness of our approach through converting software R&D test processes specified in SPEM in a case study.

• 한국항행학회논문지
• /
• 제22권5호
• /
• pp.384-390
• /
• 2018

본 논문에서는 KASS (korea augmentation satellite system) 의 가용성 성능 평가를 위한 MATLAB GUI (graphical user interface)기반의 소프트웨어에 대해 소개한다. 본 소프트웨어는 MV (minimum variance) estimator 와 Kriging 알고리즘을 이용해 한반도 지역의 지상 사용자 및 항공기 사용자에 대해 UDRE (user differential range error) 와 GIVE (grid ionospheric vertical error) 와 같은 무결성 정보를 생성한다. 또한 본 소프트웨어는 생성한 정보를 이용하여 사용자의 각 위치에 대해 정확도, 보호 수준, 가용성 지도를 제공한다. 특히 항공기 경로에 대해 경로에 따른 보호 수준 값을 계산하는 기능을 수행한다. 항공기 사용자에 대한 보호 수준 값 계산 결과는 EGNOS (european geostationary navigation overlay service) 의 시뮬레이션 툴인 SBASimulator#2의 결과와 비교하여 검증하였다. 그 결과 본 소프트웨어가 생성한 보호 수준의 값의 오차가 약 2% 정도로 정확하게 나온 것을 확인하였다.

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

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

• 한국인터넷방송통신학회논문지
• /
• 제21권3호
• /
• pp.15-21
• /
• 2021

사회의 변화에 따라 범죄들의 수법들도 다양해지며 그 수도 증가하고 있다. 그리고 이러한 현상은 사람의 밀집도가 높은 곳일수록 더 높은 추세를 보인다. 이에 따라 많은 기관에서는 CCTV를 설치함으로써 범죄를 줄이고 결정적 증거를 제공해준다. 그럼에도 불구하고 아직 CCTV를 대상으로 한 영상 조작과 같은 범죄들에 대해서는 그 대처가 미약하다. 이러한 영상의 조작을 방지하기 위해 블록체인 기반의 CCTV 영상 무결성 기법들을 적용하고 있음에도 불구하고, 이들은 전체 영상의 조작 무결성만을 보장할 뿐 영상의 특정 구간이 어떻게 조작되었는지 설명해 주지 못한다. 따라서 본 연구에서는 이러한 문제를 해결하기 위해 블록체인을 기반으로 한 설명 가능 CCTV 영상 무결성 지원 시스템을 제안한다.

• 정보보호학회논문지
• /
• 제19권6호
• /
• pp.49-61
• /
• 2009

차량용 블랙박스는 음성, 영상 및 자동차의 여러 운행정보를 저장하는 매체이며, 이를 근거로 사고의 재구성이 가능하기 때문에 최근 자동차 시장에서 주목을 받고 있다. 또한 상업용 차량을 중심으로 블랙박스의 장착이 확산되면서 수년 내에 시장은 더욱 커질 전망이다. 그러나 현재의 블랙박스는 저장된 데이터에 대한 변경을 확인할 수 있는 무결성을 제공하지 못하기 때문에 사고 원인에 대한 법적 증거로 채택되기에는 적합하지 않다. 즉, 블랙박스는 생성한 데이터를 단지 저장만 할 뿐이기 때문에 저장된 데이터는 외부공격자나 내부공격자에 의해 위, 변조될 수가 있다. 무결성을 보호받지 못한 데이터는 신뢰 받을 수 없기 때문에 이점은 자동차 보험회사나 법정에서 큰 이슈이다. 본 논문에서는 이러한 문제를 해결할 수 있는 차량용 블랙박스 시스템을 위한 실시간 데이터의 무결성을 보장하는 기법을 제안하고, 이 기법을 구현한 시뮬레이션 프로그램의 실험 결과를 제시한다.

• 한국의학물리학회지:의학물리
• /
• 제33권3호
• /
• pp.25-35
• /
• 2022

Purpose: Planning for radiotherapy relies on implicit estimation of the probability of tumor control and the probability of complications in adjacent normal tissues for a given dose distribution. Methods: The aim of this pilot study was to reconstruct dose-volume histograms (DVHs) from text files generated by the Eclipse treatment planning system developed by Varian Medical Systems and to verify the integrity and accuracy of the dose statistics. Results: We further compared dose statistics for intensity-modulated radiotherapy of the head and neck between the Eclipse software and software developed in-house. The dose statistics data obtained from the Python software were consistent, with deviations from the Eclipse treatment planning system found to be within acceptable limits. Conclusions: The in-house software was able to provide indices of hotness and coldness for treatment planning and store statistical data generated by the software in Oracle databases. We believe the findings of this pilot study may lead to more accurate evaluations in planning for radiotherapy.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제20권12호
• /
• pp.658-663
• /
• 2014

OpenStack과 같이 오픈 소스 기반의 클라우드 컴퓨팅 관리 플랫폼 (Cloud Management Platform) 의 빠른 구현으로 인하여, 오픈 소스를 이용한 개인 및 기관의 클라우드 구축 시도가 지속적으로 증가되는 추세이다. 이러한 클라우드 운영자들에게, 구축한 클라우드 컴퓨팅 시스템의 동작 검증은 필수적이다. 본 논문은 클라우드 시스템 구축 검증하기 위한 오픈 소스 기반의 클라우드 테스트 도구를 디자인하며 구현한다. 특히, 제안된 테스트 도구는 오픈 소스 소프트웨어 프로젝트인 Tempest를 활용하며, Tempest의 테스트 케이스를 통해서 OpenStack기반의 클라우드를 검증한다. 제안된 소프트웨어는 국내에서 처음으로 개발되는 클라우드 시스템 구축 테스트 도구의 프로토타입이며, 앞으로 클라우드 기술 개발 및 사용자 확대에 기여할 것으로 예상된다.

• International Journal of Knowledge Content Development & Technology
• /
• 제13권2호
• /
• pp.23-35
• /
• 2023

Word templates exist for select journals, and their primary objective is to facilitate submissions to those journals, thereby optimizing editors' and publishers' time and resources by ensuring that the desired style (e.g., of sections, references, etc.) is followed. However, if multiple unrelated authors use the exact same template, a risk exists that some text might be erroneously cloned if template-based papers are not carefully screened by authors, journal editors or proof copyeditors. Elsevier Procedia® was used as an example. Select cloned text, presumably derived from MS Word templates used for submissions to Elsevier Procedia® journals, was assessed using Science Direct. Typically, in academic publishing, identical text is screened using text similarity software during the submission process, and if detected, may be flagged as plagiarism. After searching for "heading should be left justified, bold, with the first letter capitalized", 44 Elsevier Procedia® papers were found to be positive for vestigial template text. The integrity of the information in these papers has been compromised, so these errors should be corrected with an erratum, or in the case of extensive errors and vast tracts (e.g., pages long) of template text, papers should be retracted and republished.

• 한국안전학회지
• /
• 제18권1호
• /
• pp.56-63
• /
• 2003

During the last decade, effort has been made f3r reducing maintenance cost for aged equipments and ensuring safety, efficiency and profitability of petrochemical and refinery plants. Hence, it was required to develop advanced methods which meet this need. RBI(Risk Based Inspection) methodology is one of the most promising technology satisfying the requirements in the field of integrity management. In this study, a quantitative assessment algorithm fir RBI based on the API 581 code was reconstructed for developing an RBI software. The user-friendly realRBI software is developed with a module for evaluating quantitative risk md financial risk using the potential consequence and the likelihood. Also, inspection planning module for inspection time and inspection method are included in it.