• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권6호
• /
• pp.335-342
• /
• 2017

원자력발전소 안전-필수 소프트웨어를 개발하고 검증 및 확인을 수행하여 규제기관으로부터 인허가를 받기 위하여 단순하게 문서를 읽고 검토해서는 개발, 구현 및 검증활동에 대한 신뢰성과 안전성 확보에 대하여 정확하게 판단하기가 쉽지 않다. 따라서 이러한 활동, 특히 안전보증 활동이 소프트웨어 결함이 허용가능한 수준인지 판단하기 위한 체계적인 평가기술이 필요하다. 본 연구에서는 원전 디지털 원자로보호계통의 비교논리 프로세서와 동시논리 프로세서를 대상으로 제작자가 수행한 개발 및 검증 결과물의 수준과 깊이를 평가하기 위해 안전진술(Safety case) 방법론을 적용하고 그 결과를 분석한다. 안전진술 방법론 적용으로 기존의 안전입증 방법을 효과적으로 보완할 수 있음을 확인하였다.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2003년도 제27회 추계학술대회
• /
• pp.64-64
• /
• 2003

Objectives: Patient dose verification is clinically the most important parts in the treatment delivery of radiation therapy. The three dimensional(3D) reconstruction of dose distribution delivered to target volume helps to verify patient dose and determine the physical characteristics of beams used in intensity modulated radiation therapy(IMRT). We present Beam Intensity Scanner(BInS) system for the pre treatment dosimetric verification of two dimensional photon intensity. The BInS is a radiation detector with a custom made software for relative dose conversion of fluorescence signals from scintillator. Methods: This scintillator is fabricated by phosphor Gadolinium Oxysulphide and is used to produce fluorescence from the irradiation of 6MV photons on a Varian Clinac 21EX. The digitized fluoroscopic signals obtained by digital video camera will be processed by our custom made software to reproduce 3D relative dose distribution. For the intensity modulated beam(IMB), the BInS calculates absorbed dose in absolute beam fluence, which are used for the patient dose distribution. Results: Using BInS, we performed various measurements related to IMRT and found the followings: (1) The 3D dose profiles of the IMBs measured by the BInS demonstrate good agreement with radiographic film, pin type ionization chamber and Monte Carlo simulation. (2) The delivered beam intensity is altered by the mechanical and dosimetric properties of the collimating of dynamic and/or static MLC system. This is mostly due to leaf transmission, leaf penumbra, scattered photons from the round edges of leaves, and geometry of leaf. (3) The delivered dose depends on the operational detail of how to make multileaf opening. Conclusions: These phenomena result in a fluence distribution that can be substantially different from the initial and calculative intensity modulation and therefore, should be taken into account by the treatment planing for accurate dose calculations delivered to the target volume in IMRT.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.551-554
• /
• 2008

본 논문에서는 기존의 사진영상 속의 피사체위치를 확인 가능한 시스템으로써, GPS의 사진촬영 위치와 자이로캠퍼스의 방향각을 통해 사진영상 속의 피사체위치를 확인 가능하도록 시스템을 설계하였다. 또한 설계된 사진영상의 피사체 위치확인 시스템의 검증을 위해 윈도우 운영체제의 환경과 임베디드 환경에서 각각 구축하였다. 임베디드 시스템의 개발환경으로는 S3C2440A & PXA270 프로세서를 사용하였으며, 개발보드에는 Camera와 GPS, 자이로캠퍼스를 포함하고 있으며, 개발언어는 C언어로 구현하였고, 디버깅 환경은 Linux환경의 GCC 컴파일러를 사용하여 디버깅을 하였다. 검증을 위한 PC용 소프트웨어는 비쥬얼 C++ 를 사용하여 검증 소프트웨어를 개발하였으며, 사진영상의 피사체 위치확인을 위해 알맵, 구글어스를 통해 확인할 수 있도록 시스템을 설계하였다. 또한 사진영상 속에 위치정보를 포함함으로써 사진파일을 다양한 분야로 활용하기 위한 방안을 모색하였다. 검증결과 기존의 GPS의 오차범위인 반경 10m의 오차범위가 1m 이내로 줄어들었음을 확인하였다.

• 한국추진공학회지
• /
• 제23권2호
• /
• pp.95-103
• /
• 2019

고압가스공급설비 제어시스템은 발사대 인증시험 및 발사운용에 필요한 고압가스를 저장하고 공급하는 설비를 제어하는 역할을 수행한다. 발사대를 구성하는 대부분의 설비는 운용을 위해 고압가스를 필요로 한다. 그렇기 때문에 고압가스공급설비를 제어하는 제어시스템은 발사대를 구성하는 다른 시스템 보다 먼저 개발과 검증이 이루어져야 한다. 하드웨어와 소프트웨어 검증은 구분하여 수행한다. 특히, 제어기에 탑재되는 제어알고리즘 소프트웨어 검증은 제어시스템 개발 기간 중 많은 시간과 인력 비용이 투입된다. 따라서 구체적인 시험절차와 방법이 사전 준비가 되어야 효율적 개발이 가능하다. 본 논문에서는 고압가스공급설비와 제어시스템 구성을 소개하고 주요 알고리즘 검증 절차 및 그 동작 결과를 제시한다.

• 한국산학기술학회논문지
• /
• 제13권9호
• /
• pp.4207-4213
• /
• 2012

소프트웨어의 품질은 요구사항 품질과 강하게 관계되어 있다. 이에 따라서 기업들은 요구사항의 품질을 향상시켜 주기 위한 노력을 하고 있다. 그러나 명세서 형태의 요구사항은 검증하기 어려우며, 분석가의 비정형화된 업무 지식에 의존해야 한다. 또한 명세서 형태의 요구사항 품질을 향상시켜 주기 위한 정형화된 방법론이나 자동화된 기법이 미흡한 상황이다. 본 논문에서는 요구사항의 품질을 향상시켜 주기 위한 요구사항 검증 프로세스 및 자동화 검증 도구를 제안한다. 검증을 위해 요구사항에 대한 외적뷰 설계와 내적뷰 설계를 비교한다. 사례연구를 통해 제안된 요구사항 자동화 검증 기법의 타당성을 검증한다.

• 로봇학회논문지
• /
• 제18권4호
• /
• pp.472-480
• /
• 2023

This paper describes the development of a test-equipment for the pre-verification of navigation performance in cluster-based AUVs (Autonomous Underwater Vehicle). In the development of an AUV, conducting hardware and software development sequentially is not efficient due to the limited research and development period. Therefore, in order to reduce the overall development time and achieve successful development results, it is essential to pre-validate the navigation system and navigation algorithms. Accordingly, this paper explains the test-equipment for pre-verification of navigation performance, and ultimately confirms the stability of the navigation system and the performance of the navigation algorithms through the analysis of five types of navigation sensor data stored during real-sea experiments. The results demonstrate that through the development and verification of the test-equipment, it is possible to shorten the overall development period and improvement of product quality in the process of developing multiple AUVs.

• 인터넷정보학회논문지
• /
• 제21권4호
• /
• pp.69-76
• /
• 2020

This paper presents direction for efficient software education. Due to the impact of the Fourth Industrial Revolution, the whole world is interested in software education. However, simply teaching how to code is not software education. The thinking abilities used in coding for software implementation are even more important. Therefore, computational thinking is getting great attention. Several institutions suggest factors for computational thinking and encourage to teach in a relevant way based on the suggestion. In this study, the verification of the factors they suggested was conducted through a questionnaire. The total of 419 freshman students of the College of Social Sciences who were taking "Computational Thinking and Software Coding" class participated in the survey at the beginning and the end of the semester. We first analyzed Wing's proposal that summarized the concept of computational thinking, and reviewed the proposal of ISTE (International Society for Technology in Education) for defining computational thinking factors for coding education, also checked on the suggestion of Google for factors necessary for software coding. As a result of research analysis, this paper suggests a direction for efficient software education.

• 인터넷정보학회논문지
• /
• 제23권2호
• /
• pp.79-86
• /
• 2022

본 논문은 역공학 기반 소프트웨어 가시화를 통해 설계 개선 실현과 고품질화에 초점을 두고 있다. 앞으로의 4차 산업의 다양한 영역에서 새로운 기술과 복잡한 소프트웨어가 대두됨에 따라 안정성과 신뢰성을 겸비한 소프트웨어 검증이 이슈화되고 있다. 간단한 연산 소프트웨어부터 기계 학습기반의 데이터 지향 소프트웨어까지 다양한 소프트웨어 고품질화를 위한 역공학 기반 UML 설계 추출 및 가시화 방법을 제안한다. 이를 기반으로 목표 설계에 대한 정확도를 확인하고 코드 내부 복잡도 식별을 이용하여 설계 개선을 통한 소프트웨어 품질 향상을 기대한다.

• 한국수학사학회지
• /
• 제15권1호
• /
• pp.115-134
• /
• 2002

The increasing use of computers in mathematics and in mathematics education is strongly reflected in the teaching on Euclid geometry, in particular in the use of dynamic graphics software. This development has raised questions about the role of analytic proof in school geometry. One can sometimes find a proof which is rather more explanatory than the one commonly used. Because we, math educators are concerned with tile explanatory power of the proofs, as opposed to mere verification, we should devise ways to use dynamic software in the use of explanatory proofs.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.