Table of Contents Author Guidelines Submit a Manuscript
Journal of Control Science and Engineering
Volume 2013, Article ID 485380, 14 pages
Research Article

Model Based Control System Design Using SysML, Simulink, and Computer Algebra System

1IBM Research-Tokyo, IBM Japan, NBF Toyosu Canal Front Building 6-52, Toyosu 5-chome, Koto-ku, Tokyo 135-8511, Japan
2Rational, IBM Israel, Park TMR, P.O. Box 2523, Rehovot 76123, Israel

Received 7 October 2012; Revised 16 June 2013; Accepted 1 July 2013

Academic Editor: Derong Liu

Copyright © 2013 Takashi Sakairi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language for model-based systems engineering (MBSE). SysML supports the specification, analysis, and design of a broad range of complex systems such as control systems. The authors demonstrate how they can integrate a SysML modeling tool (IBM Rational Rhapsody) with a proprietary simulation tool (MathWorks Simulink) and a Computer Algebra System (CAS) to validate system specification. The integration with Simulink enables users to perform systems engineering process in a SysML model, while designing continuous control algorithms and plant behavior in Simulink, and to validate the behavior by simulating the overall composition in Simulink. The integration with a CAS enables the evaluation of mathematical constraints defined in SysML parametric diagrams. The authors also show the overall approach using a Dual Clutch Transmission (DCT) and a Cruise Control System as examples.