Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
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.
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Zohar Feldman, Avishai Mandelbaum
WSC 2010
György E. Révész
Theoretical Computer Science
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013