• Title/Summary/Keyword: Model-based approach

Search Result 6,958, Processing Time 0.037 seconds

Software Reliability of Safety Critical FPGA-based System using System Engineering Approach

  • Pradana, Satrio;Jung, Jae Cheon
    • 시스템엔지니어링학술지
    • /
    • 제14권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.

AUTOSAR와 모델기반 기법을 적용한 차량 임베디드 시스템 소프트웨어의 개발 및 검증 기법 (Automotive Embedded System Software Development and Validation with AUTOSAR and Model-based Approach)

  • 금대현;손장경;김명진;손준우
    • 제어로봇시스템학회논문지
    • /
    • 제13권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.

A novel multistage approach for structural model updating based on sensitivity ranking

  • Jiang, Yufeng;Li, Yingchao;Wang, Shuqing;Xu, Mingqiang
    • Smart Structures and Systems
    • /
    • 제25권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.

A Novel Approach for Deriving Test Scenarios and Test Cases from Events

  • Singh, Sandeep K.;Sabharwal, Sangeeta;Gupta, J.P.
    • Journal of Information Processing Systems
    • /
    • 제8권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.

R and S Arrays Approach for Transfer Function-Noise Model Identificaton

  • Kim, Hea-Jung
    • Journal of the Korean Statistical Society
    • /
    • 제19권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.

  • PDF

Design of a Feature-based Multi-viewpoint Design Automation System

  • Lee, Kwang-Hoon;McMahon, Chris A.;Lee, Kwan-H.
    • International Journal of CAD/CAM
    • /
    • 제3권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.

A New Approach to Robustly Exchange Models in Heterogeneous CAD/CAE Environment and its Application

  • Kim, In-Il;Jang, Young-Heuy;Suh, Heung-Won;Han, Seong-Hwan
    • Journal of Ship and Ocean Technology
    • /
    • 제10권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.

Artificial Intelligence for the Fourth Industrial Revolution

  • Jeong, Young-Sik;Park, Jong Hyuk
    • Journal of Information Processing Systems
    • /
    • 제14권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'.

시장접근법 기반의 기술가치평가를 위한 개념적 모형에 관한 연구 (A Study on a Conceptual Model for Technology Valuation Based on Market Approach)

  • 임성묵;김상국;박현우
    • 기술혁신학회지
    • /
    • 제18권1호
    • /
    • pp.204-231
    • /
    • 2015
  • 본 연구에서는 시장접근법 기반의 기술가치평가를 위한 원리적인 개념 모형을 제안한다. 하나의 기술이 기술성과 사업성을 기초로 기술가치를 부여받고, 다시 그 기술가치가 시장가치로 전이되는 개념모형을 제시하고 그 논리적인 타당성을 논의한다. 기술대가 지불방식의 두 가지 형태인 정액기술료 및 경상기술료 방식 각각에 대해, 기술-기술가치-시장가치 전이모형을 구성하는 구체적인 요인들을 식별하고 측정방식을 분석함으로써 구체화된 시장접근법 기반 기술가치평가 개념 모형을 개발한다. 더불어 본 연구에서 제안하는 개념 모형을 이용하여 기술가치평가의 세 가지 접근법인 비용-소득-시장접근법간의 관계를 설명할 수 있음을 보인다.

Hierarchical Bayesian Model을 이용한 GCMs 의 최적 Multi-Model Ensemble 모형 구축 (Optimal Multi-Model Ensemble Model Development Using Hierarchical Bayesian Model Based)

  • 권현한;민영미
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2009년도 학술발표회 초록집
    • /
    • 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.

  • PDF