Model based control system design using sysML, simulink, and computer algebra system

Authors:
Takashi Sakairi;Eldad Palachi;Chaim Cohen;Yoichi Hatsutori;Junya Shimizu;Hisashi Miyashita
Affiliations:
IBM Research-Tokyo, IBM Japan, Koto-ku, Tokyo, Japan;Rational, IBMIsrael, Rehovot, Israel;Rational, IBMIsrael, Rehovot, Israel;IBM Research-Tokyo, IBM Japan, Koto-ku, Tokyo, Japan;IBM Research-Tokyo, IBM Japan, Koto-ku, Tokyo, Japan;IBM Research-Tokyo, IBM Japan, Koto-ku, Tokyo, Japan
Venue:
Journal of Control Science and Engineering
Year:
2013

Citing 4
Cited 0

From UML/SysML to Matlab/Simulink: current state and future perspectives

Proceedings of the conference on Design, automation and test in Europe: Proceedings
SLIM: collaborative model-based systems engineering workspace for next-generation complex systems

AERO '11 Proceedings of the 2011 IEEE Aerospace Conference
A model-based method for system reliability analysis

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Integrated Modeling and Simulation Framework for Wireless Sensor Networks

WETICE '12 Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language formodel-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 (Math Works 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.