SysML-Companion Flyer

SysML-Companion Virtual prototyping from SysML models Give life to your specification with Model-based System Engineering (MBSE)! SysML-Companion automatically generates simulable and formally analysable models from SysML specification. FEATURES: l o de Based on SysML 1,1 (standardized by OMG) M modelling language L M ys S VHDL-AMS generation (IEEE 1076-1993, IEEE 1076.1-1999) for discrete and continuous time simulation Modelica, Scilab/Scicos, u lts OpenMAST, Uppaal, Spin es and other on request r n a ti o Deeply integrated with ul Topcased and Artisan soon to come im S Easily customisable to your context and in-house © Copyright 2009 RTaW methodology RealTime-at-Work offers assistance in the specification, analysis, design, verification and validation of software-intensive systems for which performance and dependability really matter. Complexity mastered 615, rue du Jardin Botanique - F 54600 Villers-lès-Nancy Tél. : +33(0)3 54 95 86 07 / 08 - Fax : +33(0)3 83 27 56 52 www.realtimeatwork.com - info@realtimeatwork.com

http://www.realtimeatwork.com	15
http://www.techgig.com	4
http://www.lmodules.com	2
http://www.slideshare.net	1

SysML-Companion Flyer

by RealTime-at-Work SARL on Nov 15, 2009

Accessibility

Categories

Tags

Upload Details

Usage Rights

4 Embeds 22

Statistics

SysML-Companion Flyer — Document Transcript