• KIISE Transactions on Computing Practices
• /
• v.23 no.6
• /
• pp.335-342
• /
• 2017

In the verification and validation procedures regarding the safety-critical software of nuclear power plants for the attainment of the requisite license from the regulatory body, it is difficult to judge the safety and dependability of the development, implementation, and validation activities through a simple reading and review of the documentation. Therefore, these activities, especially safety assurance activities, require systematic evaluation techniques to determine that software faults are acceptable level. In this study, a safety case methodology is applied in an assessment of the level and depth of the results of the development and validation of a manufacturer in its targeting of the bistable processor of a digital reactor protection system, and the evaluation results are analyzed. This study confirms the possibility of an effective supplementation of the existing safety demonstration method through the application of the employed safety case methodology.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2003.09a
• /
• 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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.551-554
• /
• 2008

Do subject addition of existent picture reflex inside in this treatise as system that confirmation is available, do subject addition of picture reflex inside through GPS's photography position and Come on! direction angle of deviation campus to do confirmation possibility system design. Constructed each environment of Windows Operating System and embedded system environment for verification of system that is subject position of designed picture reflex also. To development environment of embedded system S3C2440A & used PXA270 processor, Camera and GPS in development baud, Come on! include deviation campus, and development language embodied in C language, and debugging environment did debugging using GCC compiler of Linux environment. PC software for verification designed system to confirm for subject position confirmation of picture reflex through Almap, Google Eartch developed verification software using visual C++. Also, groped way to utilize picture file by various field including position information within picture. Confirmed that decreased by error extent 1m within of radius 10m that is existent GPS's error extent as verification result.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.23 no.2
• /
• pp.95-103
• /
• 2019

Control systems of compressed gas supply facility are responsible for storing and supplying compressed gases required for launch complex qualification test and launch operation. Most of the facilities that make up the launch complex require compressed gas for their operation. Therefore, such control systems should be developed and verified earlier rather than the other systems that constitute the launch complex. Each verification for hardware and software is performed separately. In particular, software verification of control algorithms loaded on the controller takes a lot of time and man power during the development period of the control system. Thus, specific test procedures and methods should be prepared in advance for efficient development. This paper introduces the configuration of a compressed gas supply facility and its control system with the verification procedure and results of major algorithms.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.

• The Journal of Korea Robotics Society
• /
• v.18 no.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.

• Journal of Internet Computing and Services
• /
• v.21 no.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.

• Journal of Internet Computing and Services
• /
• v.23 no.2
• /
• pp.79-86
• /
• 2022

This paper focuses on realizing design improvement and high quality through visualization of reverse engineering-based software. As new technologies and complex software emerge in various areas of the fourth industry in the future, software verification with both stability and reliability is becoming an issue. We propose a reverse engineering-based UML design extraction and visualization for high-quality software ranging from simple computational software to machine learning-based data-oriented software. Through this study, it is expected to improve software quality through design improvement by checking the accuracy of the target design and identifying the code complexity.

• Journal for History of Mathematics
• /
• v.15 no.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.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• 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.