• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.4
• /
• pp.809-813
• /
• 2010

Although the goals of HL7 Version 2(V2) and Version 3(V3) are identical, the concepts of the implementation and technological basis are different; this makes their versions inconvertible. This problem interrupts technological innovation advanced from V2 to V3 and has been raised as a new type of barrier in the field of medical information system. This study intends to develop software to convert V2 to V3 which can be utilized in the actual medical environment. Since it is practically difficult to develop the whole tools that automatically change total V2 messages into V3 messages, this article has designed, implemented, and tested the software that allows mapping between V2 and V3 which function as tools. In order to test this program, it has used ADT^A03 of five V2 messages to generate V3 messages. It is expected that the result of this research will be one of the new methods allowing conversion between V2 and V3.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.889-890
• /
• 2011

VANET(Vehicular Ad-hoc Network)의 V2V 통신의 경우 차량 간의 안전한 통신을 위해 차량 인증 및 조건부 프라이버시 보호를 제공하기 위해서 그룹 서명 기법을 사용한 보안 기술들이 다양하게 연구되고 있다. 하지만 VANET은 MANET과 달리 빠른 이동성을 가지는 노드의 특성상 그룹 구성원의 가입과 탈퇴가 빈번하다는 문제점을 가지고 있다. 본 논문에서는 그룹 구성원의 빈번한 가입과 탈퇴를 방지하기 위해 VANET 환경에 적합하고, 그룹 관리자에 의해 생성되는 차량 개인서명키에 대한 키 위탁문제를 해결하기 위한 그룹서명방식을 제안한다.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.3
• /
• pp.163-169
• /
• 2003

This study was carried out develope a motor power change speed device of motor by used micro- controller. This system was producted a auto-change speed device which switching frequency was 1,000MHz by used a auto- controller. It had a continuous output current such as 5A, 11A, 25A, 35A, 50A. It used a variable voltage from 9V to 18V(Maximum). We designed hardware of and software of micro-controller, we are made up of a auto cut-off function by 3.7V for detected power-loss prevention.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.3
• /
• pp.1691-1699
• /
• 2014

IEEE developing WAVE specifications are able to support V2V and V2I wireless communications, and these functionalities can be used to enhance vehicle operational safety. To overcome any security weaknesses that are inherent in wireless communications, WAVE specification should support message encryption and authentication functions. In this study, we have implemented WAVE security algorithms in IEEE P1609.2 with openssl library and C language. We have verified the normal operation of implemented software, using the test vectors of related specifications, and measured their performance. Our software is platform independent, and can be used for the full implementation of WAVE specification.

• Journal of the Korean Society of Radiology
• /
• v.17 no.6
• /
• pp.835-841
• /
• 2023

The aim of this study is to evaluate the diagnostic ability of dual-energy computed tomography (DECT) for Composition determination of urinary stones in phantom model. Seventeen cases with urinary stones who underwent DECT were enrolled in the study. The composition of the urinary stones was extracted from the seventeen patients were analyzed with DECT in phantom model with fresh pork. The volume scan method using Dual-energy software was used and the scanned image sets were assessed. All 17 urinary stones of the phantom model were analyzed according to the stone composition using DE stone Analysis were divided into uric acid stones (n=6, 35.29%) and non-uric acid stones (n=11, 64.71%). These urinary stones were pathologically confirmed. The mean attenuation values of uric acid stones at 135 kV, 100 kV and 80 kV was 348.87 ± 166.37 HU, 345.33 ± 151.18 HU and 337.94 ± 172.77 HU, respectively. The mean attenuation values of non-uric acid stones at 135 kV, 100 kV and 80 kV was 551.93 ± 297.09 HU, 747.04 ± 351.31 HU and 958.19 ± 424.72 HU, respectively. At 80 kV, uric acid stones and non-uric acid stones showed significant difference in the attenuation values(P<0.05). The attenuation values of DECT could differentiate the compositions of urinary stones between uric acid and non-uric acid stones at 80 kV in phantom model.

• TTA Journal
• /
• s.86
• /
• pp.89-93
• /
• 2003

TTA(한국정보통신기술협회)는 2003년 2월 28일, 품질인증 제품으로 ㈜하나디에스디의''라이프에듀빌더 v 1.0'', ㈜연성정보기술의''이메일플러스 v 3.0'', ㈜포스정보의''책꽂이KDC v 3.1'', ㈜켈코인의''챌린저 웹진 웹스쿨 v 3.0'' 등 4개의 제품에 대하여 Good Software 마크를 발급하였다. 그리고 2003년 3월 10일에 VeriTest-TTA 인증제품으로 (주)스페이스 인터내셔널의''CD Tower v 3.1''은 VeriTest-TTA Good Quality, Optimized Performance & Internationalized 마크를, ㈜포스데이터의''BizBinder v 1.0''은 VeriTest-TTA Good Quality & Optimized Performance 인증마크를 발급하였다. 본 고에서는 상위의 인증 획득한 제품에 대하여 소개하고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.593-594
• /
• 2020

본 논문은 급격하게 발전하는 IT기술의 발전과 그로 인한 기업들의 경쟁 속에서 수 많은 프로젝트들이 생성되는 현대 사회에서 이런 프로젝트들이 경쟁에서 이길 수 있도록 프로젝트가 빠르고 완성도 있게 만들어질 필요를 느끼고 기존의 프로젝트 개발 방법론과 테스트 설계 방법론 중 V모델을 연구해서 프로젝트 관리 시스템에 등록된 데이터를 기반으로 테스트가 자동 설계될 수 있게 함으로써 프로젝트 전체 기간을 줄이고 프로젝트 비용을 줄일 수 있는 방법을 제안한다. 이 논문에서 제안하는 모델을 확장시켜서 프로젝트 테스트 관리에 불필요한 설계 시간과 테스트 관리에 수월할 것이라 기대한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.285-286
• /
• 2020

전 세계적으로 유행하는 COVID-19(코로나19)로 인해 사람들은 대면 접촉을 피하게 되었고, 전염성이 높은 이유로 마스크의 착용이 의무화되고 있고, 이를 검사하는 업무가 증가하고 있다. 그래서, 인공지능 기술을 통해 업무를 도와줄 수 있는 출입자 통계와 출입자 마스크 착용 검사를 할 수 있는 시스템이 필요하다. 이를 위해 본 논문에서는 딥러닝 알고리즘을 활용한 출입자 통계와 마스크 착용 판별 시스템을 제시한다. 또한, 실시간 영상인식에 많이 활용되고 있는 YOLO-v3와 YOLO-v4, YOLO-Tiny 알고리즘을 데스크탑 PC와 Nvidia사의 Jetson Nano에 적용하여 알고리즘별 성능 비교를 통해 적합한 방법을 찾고 적용하였다.