• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.43 no.1
• /
• pp.34-41
• /
• 2020

There has not been any scientific analysis on appropriate size of workforce and salary for civilian workers in military so far. Thus, this paper conducted analysis on propriety in employment size of military doctrine researchers using system dynamic methodology based on annual military doctrine workload. Vensim software was mainly used to measure complement of the research group based on data from job analysis. Secondly, a multiple regression analysis was performed to study an appropriate wage for researchers based on their expertise and working condition. The data from twenty public research institutions and twenty eight job positions that are performing similar duty with military doctrine researchers was obtained and utilized to create a salary-estimation regression equation in the analysis. Finally, with cost-benefit analysis method this paper studied financial effectiveness of hiring military doctrine researchers. Contingent valuation method, which has been recognized as one of the most effective methodologies in cost-benefit analysis on intangible value, was utilized to measure benefit of hiring the researchers. The methodology presented in this paper can be applied to measure and improve the efficiency of military organization not only in military doctrine research area but also in several military functional area (military training, logistics, administration, combat development, and combat support).

• Korean Journal of Construction Engineering and Management
• /
• v.23 no.1
• /
• pp.37-45
• /
• 2022

It is very important to measure the displacement of a structure to evaluate the safety of the structure. This study shows a methodology to measure the displacement to determine the stability of a structure when it is damaged by loads. The methodology used Moiré's phenomenon and was verified through experiments. The experiments utilized pipes to simulate the pipe supports in the construction site and measured the vertical displacement of the Moiré interference patterns according to the horizontal displacement of the pipes. Experiments confirmed that the linear relationship between horizontal displacement of pipes and vertical displacement of Moiré patterns and derive a relational expression. In conclusion, the methodology presented in this work allows us to simultaneously measure a number of vertical members' displacements regardless of distance and determine the safety of the structure.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.10
• /
• pp.28-39
• /
• 1996

The methodology is suggested to measure the quality of service in telecommunications. Through questionnaire, the subjective evaluation of users is surveyed, and quantified by MOS method. The MOS mehtod has some problems in interpretation which are mentioned in this paper. The cumulative percent curve is proposed to evaluate the quality of service. As an example, the image quality of G3 facsimile is measured.

• IEIE Transactions on Smart Processing and Computing
• /
• v.5 no.6
• /
• pp.390-394
• /
• 2016

This paper presents a new comparison method for haze-removal algorithms in next-generation automotive systems. Compared to previous peak signal-to-noise ratio-based comparisons, which measure similarity, the proposed modulation transfer function-based method checks sharpness to select a more suitable haze-removal algorithm for lane detection. Among the practical filtering schemes used for a haze-removal algorithm, experimental results show that Gaussian filtering effectively preserves the sharpness of road images, enhancing lane detection accuracy.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.48.6-48
• /
• 2002

in this paper, each methodology, e.g. normal single PID controller, direct synthesis method and inverse response compensator, will be compared to determine the best inverse response plant control method, by based on the appearance of the control performance and robustness from the simulation results. The flexibility of being able to maintain the system stability during the presence of plant model mismatch is one of the criteria to measure the robustness of overall control system. Once, plant has changed the condition, the model will need to be updated. Hence, the designed controller will not work properly. The caused of plant model mismatch is stayed by definition unknown but the most possib...

• Proceedings of the IEEK Conference
• /
• 2001.06b
• /
• pp.325-328
• /
• 2001

This paper describes a VHDL code coverage checker for If design and verification. Applying the verification coverage to IP design is a methodology rapidly gaining popularity. This enables the designers to improve the IP design quality and reduces the time-to-market by providing the Quantitative measure of simulation completeness and test benches. To support this methodology, a VHDL code coverage model was defined and the measurement tool was developed.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.616-623
• /
• 2002

This paper proposes a new DFA methodology that ran estimate the standard assembly time and evaluate the assemblability of parts for small-sized product. We deride some determining and influencing factors related with assembly process and measure the assembly time using notion analysis to estimate of assemblability. We deduce quantitative store of assemblability through analysis of a correlation between determining factors and grade of influencing factors.

• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• pp.177-187
• /
• 2002

In this paper, we consider a multi-factor, multi-cause decision making problem of supply chain. And we show how to measure the operational efficiency of the components in supply chain and also how to improve the efficiency of each component and whole supply chain. As a methodology, the data envelopment analysis (DEA) is adopted to measure the efficiency by considering weight factors such as flexibility, information sharing, logistics level, etc. The proposed algorithm allows whole supply chain to have the improved efficiency rate.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.127.4-127
• /
• 2001

Inspection and shape measurement of three-dimensional objects are widely needed in industries for quality monitoring and control. A number of visual or optical technologies have been successfully applied to measure three dimensional surfaces. Especially, the shape measurement using an interferometric principle becomes a successful methodology. However, those conventional interferometric methods to measure surface profile have an inherent shortcoming, namely 2∏ ambiguity problem. The problem inevitably happens when the object to be measured has discontinuous shape due to the repetition of interferometric signal with phase period of 2∏. Therefore, in this paper, we choose as a shape measuring method, ...