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

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.

[1]  Manfred Broy,et al.  Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.

[2]  Bernhard Rumpe,et al.  Assessing usability of model driven development in industrial projects , 2014, ArXiv.

[3]  Philip Moore,et al.  Model Driven System Engineering for vehicle system utilizing Model Driven Architecture approach and hardware-in-the-loop simulation , 2011, 2011 IEEE International Conference on Mechatronics and Automation.

[4]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[5]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[6]  Xing-hua Liu,et al.  Design of UAV Flight Control System Virtual prototype using Rhapsody and Simulink , 2010, 2010 International Conference On Computer Design and Applications.

[7]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[8]  Hassan Gomaa.  Software Modeling and Design: Use Case Modeling , 2011 .

[9]  Klaus D. Müller-Glaser,et al.  Supporting system level design of distributed electronic control units for automotive applications , 2006 .

[10]  Sergiu M. Dascalu,et al.  Tools for MDA Software Development: Evaluation Criteria and Set of Desirable Features , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

[11]  Patrick Büchler,et al.  Ibex-A Framework for Hardware in the Loop Simulation , 2005 .

[12]  Jianlin Shi,et al.  Mapping Simulink to UML in the design of embedded systems:Investigating scenarios and transformations , 2008 .

[13]  Wim Dehaene,et al.  From UML/SysML to Matlab/Simulink: Current State and Future Perspectives , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[14]  Carl During,et al.  Designing mechatronic systems, a model-based perspective, an attempt to achieve SysML-Matlab/Simulink model integration , 2009, 2009 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[15]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[16]  Akira Shimada,et al.  An approach to SysML and Simulink based motion controller design for inverted pendulum robots , 2011, SICE Annual Conference 2011.

[17]  Dolev Dotan,et al.  Verification of embedded system's specification using collaborative simulation of SysML and simulink models , 2009, 2009 International Conference on Model-Based Systems Engineering.