Referenced Items are not available for this document.
The authors propose an extension of SysML which enables description of continuous-time behavior. The authors also develop its execution tool integrated on Eclipse-based platform by exploiting co-simulation of SysML and MATLAB / Simulink. To demonstrate the effectiveness of the tool and the extension to SysML in verifying specifications of an embedded system, we create a sample model and analyze its execution results by checking constraints under a test case.
Published in:
Model-Based Systems Engineering, 2009. MBSE '09. International Conference on
Date of Conference: 2-5 March 2009
- Page(s):
- 21 - 28
- E-ISBN :
- 978-1-4244-2968-4
- Print ISBN:
- 978-1-4244-2967-7
- INSPEC Accession Number:
- 10688497
- Conference Location :
- Haifa
- Digital Object Identifier :
- 10.1109/MBSE.2009.5031716
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
