Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
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. © 2013 Takashi Sakairi et al.
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
B.K. Boguraev, Mary S. Neff
HICSS 2000