• 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 Institute of Control, Robotics and Systems
• /
• v.13 no.12
• /
• pp.1179-1185
• /
• 2007

This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

• Smart Structures and Systems
• /
• v.25 no.6
• /
• pp.657-668
• /
• 2020

A novel multistage approach is developed for structural model updating based on sensitivity ranking of the selected updating parameters. Modal energy-based sensitivities are formulated, and maximum-normalized indices are designed for sensitivity ranking. Based on the ranking strategy, a multistage approach is proposed, where these parameters to be corrected with similar sensitivity levels are updated simultaneously at the same stage, and the complete procedure continues sequentially at several stages, from large to small, according to the predefined levels of the updating parameters. At every single stage, a previously developed cross model cross mode (CMCM) method is used for structural model updating. The effectiveness and robustness of the multistage approach are investigated by implementing it on an offshore structure, and the performances are compared with non-multistage approach using numerical and experimental vibration information. These results demonstrate that the multistage approach is more effective for structural model updating of offshore platform structures even with limited information and measured noise. These findings serve as a preliminary strategy for structural model updating of an offshore platform in service.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of the Korean Statistical Society
• /
• v.19 no.1
• /
• pp.1-14
• /
• 1990

This paper proposes an approach to the identification of trnasfer function models. A strategy for the identification of the model structure is based on R and S arrays constructed by the impulse response function of the model. Theoretical patterns of the arrays associated with the model are investigated, and the practical implementation method of the suggested approach is also discussed. Finally two published samples are employed to demonstrate the practicability of the approach.

• International Journal of CAD/CAM
• /
• v.3 no.1_2
• /
• pp.67-75
• /
• 2003

Viewpoint-dependent feature-based modelling in computer-aided design is developed for the purposes of supporting engineering design representation and automation. The approach of this paper uses a combination of a multi-level modelling approach. This has two stages of mapping between models, and the multi-level model approach is implemented in three-level architecture. Top of this level is a feature-based description for each viewpoint, comprising a combination of form features and other features such as loads and constraints for analysis. The middle level is an executable representation of the feature model. The bottom of this multi-level modelling is a evaluation of a feature-based CAD model obtained by executable feature representations defined in the middle level. The mappings involved in the system comprise firstly, mapping between the top level feature representations associated with different viewpoints, for example for the geometric simplification and addition of boundary conditions associated with moving from a design model to an analysis model, and secondly mapping between the top level and the middle level representations in which the feature model is transformed into the executable representation. Because an executable representation is used as the intermediate layer, the low level evaluation can be active. The example will be implemented with an analysis model which is evaluated and for which results are output. This multi-level modelling approach will be investigated within the framework aimed for the design automation with a feature-based model.

• Journal of Ship and Ocean Technology
• /
• v.10 no.2
• /
• pp.11-23
• /
• 2006

The model exchange from CAD system to CAE system in valid and effective manner is the major issue of automatic analysis modelling of ship structure. However, model exchange approaches based on the neutral CAD file have resulted in invalid model exchange that could not properly reflect the characteristics of CAD model and CAE model of ship structure. This paper presents the new approach of n-to-n mapping to exchange ship structure model in heterogeneous CAD/CAE environments. In this study, the common model called 'unified ship model for analysis' to directly extract proper information from different CAD systems for ship structural analysis is proposed. Moreover, a command language based model interfacing technique to construct an idealized model for analysis job is also proposed. The proposed approach has been actually implemented in DSME CAD/CAE environment of ship structure such as TRIBON system, PATRAN system and FLUENT system. The applicability and effectiveness of the proposed approach was verified by applying it to the real analysis project for fore-body of ship and block lifting. This application results show that the proposed approach can be effectively used for heterogeneous CAD/CAE environment.

• Journal of Information Processing Systems
• /
• v.14 no.6
• /
• pp.1301-1306
• /
• 2018

Artificial intelligence is one of the key technologies of the Fourth Industrial Revolution. This paper introduces the diverse kinds of approaches to subjects that tackle diverse kinds of research fields such as model-based MS approach, deep neural network model, image edge detection approach, cross-layer optimization model, LSSVM approach, screen design approach, CPU-GPU hybrid approach and so on. The research on Superintelligence and superconnection for IoT and big data is also described such as 'superintelligence-based systems and infrastructures', 'superconnection-based IoT and big data systems', 'analysis of IoT-based data and big data', 'infrastructure design for IoT and big data', 'artificial intelligence applications', and 'superconnection-based IoT devices'.

• Journal of Korea Technology Innovation Society
• /
• v.18 no.1
• /
• pp.204-231
• /
• 2015

This study aims to present a conceptual model for technology valuation based on market approach. We first propose a transition model in which technology itself is endowed with its intrinsic value based on its technology- and market-specific features, which subsequently goes through a transition to the market perceived value. We also discuss the model's logical validity. Based upon the transition model, we develop market approach based technology valuation models by identifying factors comprising each component of the transition model for each case of fixed royalty and running royalty. We also show that the proposed model can be used to describe the relationship between cost, income and market approaches for technology valuation.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1147-1151
• /
• 2009

In this study, we address the problem of producing probability forecasts of summer seasonal rainfall, on the basis of Hindcast experiments from a ensemble of GCMs(cwb, gcps, gdaps, metri, msc_gem, msc_gm2, msc_gm3, msc_sef and ncep). An advanced Hierarchical Bayesian weighting scheme is developed and used to combine nine GCMs seasonal hindcast ensembles. Hindcast period is 23 years from 1981 to 2003. The simplest approach for combining GCM forecasts is to weight each model equally, and this approach is referred to as pooled ensemble. This study proposes a more complex approach which weights the models spatially and seasonally based on past model performance for rainfall. The Bayesian approach to multi-model combination of GCMs determines the relative weights of each GCM with climatology as the prior. The weights are chosen to maximize the likelihood score of the posterior probabilities. The individual GCM ensembles, simple poolings of three and six models, and the optimally combined multimodel ensemble are compared.