• 시스템엔지니어링학술지
• /
• 제14권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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• 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 방법론도 함께 제시하였다.

• 전기학회논문지
• /
• 제59권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.

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

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

• 한국컴퓨터정보학회논문지
• /
• 제8권3호
• /
• pp.163-169
• /
• 2003

본 연구에서 개발하고자 하는 기기의 모델은 마이크로 컨트롤을 이용하여 모터속도를 제어 할 수 있는 출력 전자 변속기로써, 자동제어 방식을 사용하여 Switching frequency를 1,000MHz까지 가능한 형태로 변환하는 자동 변속장치이다. 연속출력전류는 5A, 11A, 18A, 25A, 35A, 50A이며, 사용되는 전압은 9V에서 최대 18V까지 가능하도록 설계하였다. Micro-controller 의 software와 hardware의 블록 다아이그램을 고안하였으며, 전력손실을 막기 위해 자동적으로 3.7V에서 Auto Cut-Off기능이 있도록 구성하였다.

• 한국산학기술학회논문지
• /
• 제15권3호
• /
• pp.1691-1699
• /
• 2014

IEEE에서는 V2I, V2V 등의 무선 통신 기능을 제공하여 차량 운행의 안전을 증대 시킬 수 있는 WAVE 규격을 정의하고 있다. WAVE 규격에서는 무선 통신이 갖는 보안 취약성을 극복할 수 있도록 메시지의 암호화 및 인증 기능을 지원하고 있다. 본 논문에서는 WAVE 규격에서 지원하고 있는 보안 알고리즘들을 openssl 라이브러리와 C언어로 구현하였으며, 구현된 알고리즘들은 관련 규격들에서 제시하고 있는 테스트 벡터를 이용하여 정상 동작을 확인하고 성능을 측정하였다. 본 논문에서 구현된 보안 알고리즘들은 플랫폼에 독립적으로 구현되어, WAVE 보안 규격의 구현에 활용될 수 있을 것으로 생각된다.

• 한국방사선학회논문지
• /
• 제17권6호
• /
• pp.835-841
• /
• 2023

팬텀모델에서 이중에너지 전산화단츨촬영(DECT)를 이용한 요로결석의 성분분석을 통해 임상적 유용성에 대해 알아보고자 한다. 17명의 환자로부터 요로결석을 추출하여, 작은 플라스틱 병(Plastic Bottle) 안에 각각의 요로결석을 삽입한 후, 인체와 비슷한 돈육을 이용하여 실험팬텀을 제작하였다. 640-Slice MSCT(Auquilion ONE, Toshiba Medical Center, Japan)의 이중에너지 방식에서 Volume scan 방식을 사용하여 촬영하였고, 얻어진 두 가지의 영상을 Dual-energy software("DE stone Analysis" software version 4.3, Toshiba)에서 요산석과 비요산석의 성분분석하고 HU값을 각각 측정하였다. 요로결석의 성분은 전체 17개의 요로결석 중에서 요산석은 6개(35.29%)였고, 비요산석은 11개(64.71%)로 나타났다. 요산석의 경우 135kV는 348.87±166.37, 100kV는 345.33±151.18, 80kV는 337.94±172.77로 나타났고, 비요산석의 경우 135kV는 551.93±297.09, 100kV는 747.04±351.31, 80kV는 958.19±424.72로 나타났다. 80kV에서는 요산석과 비요산석의 HU값의 차이가 통계적으로 유의한 차이를 보였고(P<0.05), 비요산석의 경우에 80kV와 135kV의 HU값은 통계적의 유의한 차이를 보였다(P<0.05). 시술 후 적출된 요로결석을 이용한 팬텀실험연구에서는 DECT를 이용하여 에너지에 따라 서로 다르게 변화하는 HU값의 차이로 요산석과 비요산석을 구분할 수 있었다. 향후, 이중에너지에 대한 연구와 재구성방법의 연구가 진행된다면, 요로결석의 치료에 DECT가 유용할 것으로 기대된다.

• TTA 저널
• /
• 통권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 인증마크를 발급하였다. 본 고에서는 상위의 인증 획득한 제품에 대하여 소개하고자 한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.593-594
• /
• 2020

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.285-286
• /
• 2020

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