• Nuclear Engineering and Technology
• /
• 제36권4호
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 Proceeding
• /
• pp.19-27
• /
• 2003

Any ERP system pushes a company toward full process integration and solves the fragmentation of information. However, the tight process integration can propagate and magnify mistakes made in one department into the other departments in real time. Thus, it can be posited that a central support system for the coordination can help ERP users and administrators dig out problems, take care of tedious validation and verification, and maintain process integration of ERP with great consistency. This paper ,proposes an agent-based ERP operations support system (EOSS) that aims at achieving and maintaining process integration of ERP at the highest level possible. With EOSS, the process integrity is monitored, with anomalies prevented as early as possible and repaired as precisely as possible.

• 시스템엔지니어링학술지
• /
• 제18권1호
• /
• pp.58-65
• /
• 2022

An application case of systems engineering (SE) processes for the small unmanned aerial vehicle (UAV) development project, which was funded by the Korean government during June 2017 ~ August 2020, is briefly presented in this paper. From the beginning to the end of the project, SE processes had been applied and managed by simple and intuitive aspects for the small/medium business companies joined with insufficient experiences of SE. And the specific considerations of the processes were focused to the missions of disaster and public safety purposes required from the government, such as identification, patrol, fire, rescue, etc. As a result, the project applied by the tailored SE processes had been rated of a good and higher accomplishment on the final evaluation, and then the related several programs were prepared successively for the other opportunities.

• KEPCO Journal on Electric Power and Energy
• /
• 제2권3호
• /
• pp.409-413
• /
• 2016

The 500 MW rated steam turbine model in coal fired power plant is developed to be used for validation and verification of controller rather than for the education of operator. The valve, steam turbine, reheater and generator are modeled and integrated into the simulator. And the data from the plant heat balance diagram are used for estimation of the model parameters together with actual operating data. It is found that the outputs of model such as pressure, temperature and speed are similar to the operating ones. So, it is expected that the developed model will play a very big role in controller development.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제13권4호
• /
• pp.287-298
• /
• 2013

This paper presents a case study of PSD(Platform Screen Door) system assurance based on EN50126 life-cycle stage. By applying this system assurance, the accidents related to urban light transit railway especially that caused casualties could be reduced tremendously. This case study contributes significantly to the reliability, availability, maintainability and safety of the PSD system. Request For Proposal (RFP) of a rail road operator in which required by RAMS is prepared in which to ensure all system assurance activity and safety assessment are compulsory. The step-by-step activities and related deliverables are used which include functional analysis, FMECA, hazard identification analysis, system hazard analysis, maintainability analysis, FRACAS, and finally verification and validation of the system.

• 대한기계학회논문집A
• /
• 제25권4호
• /
• pp.695-702
• /
• 2001

In this paper, the drop/impact simulation for a mobile phone has been carried out with the explicit code LS-DYNA and its validation has been experimentally verified. The small size of this kind of electronics products makes it time-consuming, and difficult to conduct drop tests to detect the failure mechanism and identify their drop behaviors. Strict drop/impact performance criteria of such hand held electronic products as mobile phones play an important role in their design because these products must withstand both normal and unexpected shock. Usually, the product durability on drop impact depends on designers experience. The present reliable methodology of drop/impact simulation provides an efficient and powerful vehicle to improve the design quality and reduce the design period.

• 대한안전경영과학회지
• /
• 제6권3호
• /
• pp.161-174
• /
• 2004

The existing PKI authentication structure uses the OCSP method. The primary task of OCSP is to verify the status of a transaction after verifying the validity of the certificate; but, because of continuing policy changes and updates within the PKI authentication method, the status of certificates and the structures are not consistent. Therefore, the SCVP method can be selected as the broadest method for completing authentication tasks accurately because the SCVP method includes validation of policy changes. An appropriate method for building an mobile environment within the capabilities of low-memory and reduced processing CPU needs to be assessed and developed. This thesis proposes a verification method that is independent of platform and applicable to any 05 in building and expanding the mobile environment.

• Nuclear Engineering and Technology
• /
• 제44권6호
• /
• pp.663-672
• /
• 2012

As software based digital I&C (Instrumentation and Control) systems are used more prevalently in nuclear plants, enhancement of software dependability has become an important issue in the area of nuclear I&C systems. Critical attributes of software dependability are safety and reliability. These attributes are tightly related to software failures caused by faults. Software testing and V&V (Verification and Validation) activities are hence important for enhancing software dependability. If the risky modules of safety-critical software can be predicted, it will be possible to focus on testing and V&V activities more efficiently and effectively. It should also make it possible to better allocate resources for regulation activities. We propose a prediction technique to estimate risky software modules by adopting machine learning models based on software complexity metrics. An empirical study with various machine learning algorithms was executed for comparing the prediction performance. Experimental results show SVMs (Support Vector Machines) perform as well or better than the other methods.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.297-305
• /
• 2002

웹 어플리케이션의 경제적 연관성은 웹의 질적 유지 및 향상의 중요성이 매우 증가되고 있다. 더욱이 이러한 웹 어플리케이션의 개발을 위해 새로운 개념을 적용 및 사용 가능한 기술들은 매우 개선되고 세련된 기능들의 접목을 요구하고 있지만 조직과 개선을 책임지고 있는 개발자들은 자주 떠나는 실정에 있다. 그 결과로 이러한 수준 높은 요구 시스템 기반의 모든 웹의 질적 보장을 위해 방법론과 툴 들이 나타나게 하고 있다. 본 논문에서는 위에서 언급한 높은 수준의 요구사항에 만족하기 위해 하나의 웹 어플리케이션 모델을 소개하고 실제 웹 어플리케이션의 검증 및 확인 기술에 대한 개념과 향후 국내 웹사이트를 대상으로 한 분석 알고리즘을 제안하고 실험을 통한 결과를 제시하였다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• pp.308-311
• /
• 2004

This paper describes design, implementation and functional test of on-board flight analog video system. Video system is the part of the telemetry system as a means of providing flight vehicle's image data. Adopting analog video transmission technique, we could design and test the system in a short time and implement the prototype model with simpler circuits. As results of the functional test, we have made the verification and validation of two cameras' switching in time, and frequency modulation and demodulation of NTSC color signals successfully.