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

• 시스템엔지니어링학술지
• /
• 제9권1호
• /
• pp.47-53
• /
• 2013

The object of this study is to define systematically for outputs of Verification Process among the system life cycle process based on ISO/IEC 15288 for power supply system, which is one of the importance sub-systems to configure the LRT system. Furthermore, to prevent various problem in advance that can occur in the Transition LRT's power supply to be completed Integration. For this purpose, traceability of verification requirement and outputs. should be managed to use verification for system requirement and data processing tool. by system engineering techniques of system life cycle process based on ISO/IEC 15288 to LRT system.

• 대한안전경영과학회지
• /
• 제15권1호
• /
• pp.51-60
• /
• 2013

As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

• 한국통신학회논문지
• /
• 제16권8호
• /
• pp.793-800
• /
• 1991

본 연구는, 주민정보시스템에 인감시스템을 추가하여 운용할 수 있도록 설계한 인간조합시스템을 제안하였다. 조합처리의 핵심인 위치정합처리는 원주데이타를 이용했고, 조합판정처리는 XY화소분포를 이용했다. 조합판정실험결과 오조합율이 약 1%였으나, 감산/합산/중첩처리를 통하여 목측판정하므로써 주민관리시스템에 추가하여 운용할 수 있음을 확인했다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 B
• /
• pp.1362-1364
• /
• 2000

This paper presents the control algorithm verification process for VCB (Vacuum Circuit Breaker) of Korean High Speed Train. In order to enhance the reliability of the control algorithm, the verification process must be performed. The verification is conducted by comparing the pre-designed control algorithm with the pre-planned scenario by simulation tools such as SDL and MSC. This verification process will be applied to the other control algorithms of various control units of Korean High Speed Train.

• 시스템엔지니어링학술지
• /
• 제3권1호
• /
• pp.33-40
• /
• 2007

The requirement verification is the integral part of the weapon system R&D to reduce cost and schedule. And, a systems engineering is an interdisciplinary engineering management process that evolves and verifies an integrated, life-cycle balanced set of system solutions that satisfy customer needs. Therefore, this study analyzes the national defense need and acquisition management process, investigates the systems engineering verification activity. Through the requirement verification example in terms of technical evaluation this study presented the requirement verification approach in the weapon system R&D.

• 전자통신동향분석
• /
• 제34권1호
• /
• pp.142-153
• /
• 2019

In this paper, we focus on the process of using open source software (OSS) and factors that should be considered when using project-based OSS. We also elaborate on how to avoid using OSS licenses in an OSS-based technology development process, why dual OSS licenses and security threats should be avoided, and the method of notification after use. In addition, the OSS license verification method and environment are described in the course of project development. In the verification method, the OSS license used for technology development in the course of project execution is validated in advance by the person who decides whether or not to use the OSS, and then additional verification using the tool after technology development. It is expected that this paper will be helpful for establishing the OSS usage consideration and the license verification procedure, and environment in the future.

• 성인간호학회지
• /
• 제20권2호
• /
• pp.353-363
• /
• 2008

Purpose: This study was conducted to develop a timeout protocol as the process of patients verification in the operating room, and to evaluate its effects. Methods: The timeout protocol was developed based on the experience of practices and the universal protocol of JCAHO 2004. The subjects of this study were 192 surgical members working in the operating room at an university hospital in Daegu, Korea. Results: The timeout protocol was developed in six steps; participants verification, encouragement of compliance, verification of right 3 PSP, agreement of surgical team members, verification of the parties to a patient, patient agreement. The data which have been resulted from the experimental group show significantly higher than those of control group as follows; cognition(t = -6.580, p = .000), contents of performance; progress of anesthesiologist as leader(${\chi}^2$ = 29.029, p = .000), verification of right patient, right site and right procedure(${\chi}^2$ = 40.663, p = .000), participation of surgical team(${\chi}^2$ = 68.412, p = .000), and the number of cases of performance(${\chi}^2$ = 242.900, p = .000). Conclusion: It suggests that medical accidents caused by failures in a preoperative verification process can be prevented if a timeout is conducted active involvement and effective communication among surgical team members for a final verification of the correct patient, procedure, and site.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권5호
• /
• pp.147-156
• /
• 2022

다양한 산업을 관리하고 유지하는 산업제어시스템은 주로 외부와의 연결 없이 폐쇄적으로 운영됐지만 최근 인터넷의 발전과 ICT 기술의 도입으로 외부나 공격자의 산업제어시스템에 접근이 쉬워졌다. 잘못된 접근이나 공격은 산업제어시스템의 주요 속성인 가용성을 해칠 수 있으며, 가용성이 침해될 경우 큰 피해가 발생할 수 있다. 본 논문에서는 산업제어시스템에서 명령을 내릴 때 랜덤리스트를 생성해 검증그룹을 구성하여 명령을 검증 후 실행하며, 명령 실행 결과를 이용해 검증을 진행한 검증그룹에 피드백을 적용하는 신뢰 점수 기법을 도입한다. 이를 통해 명령 검증 요청과정에서 랜덤 생성에 발생하는 오버헤드를 줄일 수 있으며, 검증 과정에 유연성을 부여하고 시스템의 가용성을 보장할 수 있다. 시스템의 성능 분석을 위해 스마트 계약 배포 시 걸리는 시간과 가스 사용량, 명령 검증 시 가스 사용량을 측정했다. 그 결과, 기존시스템과 비교해 랜덤리스트를 생성하지만, 스마트 계약 배포에 걸리는 시간은 거의 차이가 없음을 확인했고 스마트 계약 배포에 사용되는 가스는 랜덤리스트 생성과정에서 약 1.4배 증가함을 확인했다. 하지만, 명령 검증 과정에서 명령 검증과 신뢰 점수 기법의 연산을 함께 진행함에도 랜덤 연산을 하지 않아 검증 1회당 약 9% 적은 가스를 사용해 검증 과정에 가용성을 보장한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2010년도 춘계학술대회 논문집
• /
• pp.603-604
• /
• 2010