Title :
Bridging the Gaps in a Model-Based System Engineering Workflow by Encompassing Hardware-in-the-Loop Simulation
Author :
Kalawsky, Roy S. ; O´Brien, John ; Seng Chong ; ChiBiu Wong ; Haibo Jia ; Hongtao Pan ; Moore, Philip R.
Author_Institution :
Res. Sch. of Syst. Eng., Loughborough Univ., Loughborough, UK
Abstract :
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.
Keywords :
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; Analytical models; Mathematical model; Software packages; Unified modeling language; Hardware-in-the loop (HIL) simulation; model-based design; model-based system engineering (MBSE); model-driven architecture (MDA);
Journal_Title :
Systems Journal, IEEE
DOI :
10.1109/JSYST.2012.2230995