Bridging the Gaps in a Model-Based System Engineering Workflow by Encompassing Hardware-in-the-Loop Simulation.

IEEE Systems Journal(2013)

引用 28|浏览9
暂无评分
摘要
This paper discusses how gaps in a model-based system engineering (MBSE) workflow can be bridged through the use of special model transformation tools. The goal is to create an integrated workflow tool chain to facilitate integration of various subsystems and verification of the overall system performance to meet a set of desired system requirements. This paper describes an implementation in a model-based representation that encompasses real system hardware-in-the-loop (HIL) components to verify the effectiveness and capability of the development platform. Discussion is provided on the developed model transformation processes that make this possible and is explained through the application of our approach to the development of subsystems for a vehicle system. The key contributions of research include: 1) identification of a suitable model-based systems design methodology and toolset (based on IBM Rhapsody/Mathworks Simulink combination) to include HIL for system verification; 2) design and development of model transformation tools to facilitate bidirectional transformation of an IBM Rhapsody model to a Simulink model; and 3) successful mapping between platform independent models and platform-specific models involving HIL. The research outcomes show particularly promising results that are anticipated to benefit the MBSE community.
更多
查看译文
关键词
control engineering computing,formal specification,formal verification,railway rolling stock,software tools,vehicles,HIL components,IBM Rhapsody model,IBM Rhapsody-Mathworks Simulink combination,MBSE workflow,Simulink model,bidirectional transformation,capability verification,development platform,effectiveness verification,hardware-in-the-loop simulation,model transformation tools,model-based representation,model-based system engineering workflow,platform independent model,platform-specific model,rail vehicle,system performance verification,system requirements,system verification,vehicle system,Hardware-in-the loop (HIL) simulation,model-based design,model-based system engineering (MBSE),model-driven architecture (MDA)
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要