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

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

• Journal of Multimedia Information System
• /
• 제8권4호
• /
• pp.285-294
• /
• 2021

The development process of domestic CG (Computer Graphics) needs to be studied by classifying the technical part and the design part. This paper analyzes how early domestic broadcast equipment evolved and focused on what went through the development process. Domestic broadcasting companies have introduced and used overseas equipment and have begun to develop their own technology. The development process of the early domestic production technology of broadcasting stations was classified into Character Generator, On-line Real-Time Graphic and Sport Coder. It was found that the orientation of broadcasting technology was conclusively focused on visualization, with socio-cultural factors acting along with the evolution of hardware and software. This research is meaningful in reorganizing the history of the development process of domestic CG technology in the early days through previous research (primary verification), newspaper articles and news coverage (secondary verification). This paper looks at what is missing by regaining the past of CG, and argues that with the advent of new technologies today, we must develop through appropriate division of roles and collaboration between engineers and designers.

• 시스템엔지니어링학술지
• /
• 제19권1호
• /
• pp.56-63
• /
• 2023

For the success of system development, it is necessary to systematically manage the requirements that are the basis of system development and its verification results. In order to follow the principles of SE(Systems Engineering)-based V&V(Verification&Validation) process, requirements can be managed by securing the requirements and their establishments, design compliances, and verification compliances according to the system development lifecycle. Especially, in a large-complex system research and development project, such as a space launch vehicle development project, many participants establish, verify, and validate numerous requirements together during the project. Therefore, logical and systematic requirements management, including guarantee of data integrity, change history, and traceability, is very important for multiple participants to utilize numerous requirements together without errors. This paper introduces the practical requirements and verification management for the requirements-based development process in the space launch vehicle development project.

• 한국기계가공학회지
• /
• 제14권3호
• /
• pp.43-49
• /
• 2015

This paper describes the design of a forged fitting form to acquire a method of product design measurement by target measurement standards. The pipefitting connects each pipe and combines seals and nipples with the pipes normally. Therefore, the section combined with the fitting pipe was measured by a 3D scanner, and the acquired measurement and the design measurement were obtained after modification of the forged fitting pipe by that standard. Moreover, the accuracy of the model was verified through leakage testing of the oil and verification of the design measurement for accuracy decisions on the design measurement after modification of the product.

• 한국CDE학회논문집
• /
• 제16권5호
• /
• pp.351-360
• /
• 2011

Product systems are quickly and frequently changed because Product Life Cycle is continuously reduced and adopting new product is steadily fast. Thus, various studies are progressed using simulation which is one of digital manufacturing. The research that is concerning simulation of control verification for shorten the commissioning which has a lot of trial and error is in progress. Also, simulation of control verification has strength that it can catch the errors in advance. However, a control program in simulation needs virtual factory for representation of control information. For this reason, excessive time and energy is put into controlling the virtual factory. So, in this paper, we construct library which is using exist data, in order to overcome limitation of these problems. Furthermore, we suggest methodology which can model and verify the process more speedy using library. Especially, we give body to the BB/BR Line process which has many altering equipment and need high technology effectively using physical and logical modeling. We can set up a control simulation environment very rapidly, as well as cut process time down using our suggestion.

• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.180-183
• /
• 2000

This paper presents a technique used for verifying the design of AE32000, a 32-bit microprocessor core. We follow the commonly used verification procedure while speeding up and completing the debugging process by adopting a reverse engineering scheme.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.292-299
• /
• 2000

An OBCS(on-board control system) which controls an operation of high speed train is a distributed control system which centrally supervises and controls a distributed system if independent units. A complicated process of design, implementation and test is needed to develop this system. The OBCS and its control algorithm are designed and verified by using the CASE Tool before it is implemented. Its functions are verified by the OBCS simulator. Hereafter, this verification process for Korean high-speed train being developed is presented.

• Design & Manufacturing
• /
• 제16권1호
• /
• pp.21-26
• /
• 2022

In the CNC machining process, problems such as lowering of machine operation rate, setting errors, and machining precision occur due to the increase in setting time and preparation time. These machining errors cause delays in delivery and increase in cost due to an increase in the number of mounting and dismounting of the workpiece, an increase in measurement and reprocessing time, and an increase in the finishing time in the assembly process. Therefore, in this study, by automating the setting of the work piece using OMV (On Machine Verification), which is a meteorological measurement system, the preparation time for machining the work piece and the setting accuracy were improved, the rework rate was reduced, and the mold manufacturing process was shortened. Through the advancement, standardzation, and automation of the mold part manufacturing process, we have improved productivity by minimizing low-value-added repetitive tasks. In addition, the measurement time was reduced by more than 50% and the machining measurement rate was improved by more than 20%, eliminating repetitive work for correcting machining defects, and reducing the work preparation time by more than 15% through automatic setting.

• 스마트미디어저널
• /
• 제1권1호
• /
• pp.48-52
• /
• 2012

해양플랜트에 대한 설계 엔지니어링 기술을 확보하는데 있어 신뢰성 있는 평가 수행이 중요한 위치를 차지하고 있다. 국내 해양플랜트 공정설계 및 기본설계기술의 자립화를 위해서는 신뢰성 평가 기반의 설계검증 기술개발이 필요하고, 이를 위해 신뢰성 있는 실증실험 데이터 확보가 중요한 요소이다. 따라서, 신뢰성 있는 데이터를 확보하기 위해서는 해양플랜트 환경모사 실증시험 시스템이 구축되어야 한다. 본 연구에서는 해양플랜트 공정모듈 환경모사 시스템 구성을 위한 환경제어 및 측정변수 분석과 도출된 변수를 기반으로 데이터 수집장치 및 제어시스템의 설계 계획안을 연구한다.