• Nuclear Engineering and Technology
• /
• v.36 no.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.

• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• 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.

• Journal of the Korean Society of Systems Engineering
• /
• v.18 no.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
• /
• v.2 no.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.

• Journal of Applied Reliability
• /
• v.13 no.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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.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.

• Journal of the Korea Safety Management & Science
• /
• v.6 no.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
• /
• v.44 no.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.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.297-305
• /
• 2002

The economic relevance of Web applications increases the importance of controlling and improving their quality. Moreover the new available technologies for the development allow the insertion of sophisticated funcations, but often leave the developers responsible for the organization and evolution. As a consequence, a high demand is emerging for methodologis and tools for quality assurance of Web based systems. In this paper, a UML model of Web applications is inroduced for their high level representation and concept of the verification and validation activities. In this paper proposed analysis algorithm that was based on Domestic Website and presented result through experiments.

• Bulletin of the Korean Space Science Society
• /
• 2004.10b
• /
• 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.