Sciweavers

3605 search results - page 1 / 721
» System and simulation modeling using SysML
Sort
View
WSC
2007
13 years 7 months ago
System and simulation modeling using SysML
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
Edward Huang, Randeep Ramamurthy, Leon F. McGinnis
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
13 years 8 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
JSW
2008
163views more  JSW 2008»
13 years 4 months ago
Model-Driven User Requirements Specification using SysML
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...
Michel dos Santos Soares, Jos L. M. Vrancken
FDL
2006
IEEE
13 years 10 months ago
Bridging the Gap Between SysML and Design Space Exploration
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
Mauro Prevostini, Sivakumar Ganesan
FDL
2008
IEEE
13 years 11 months ago
Model-based Design Space Exploration for RTES with SysML and MARTE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
Marcello Mura, Luis Gabriel Murillo, Mauro Prevost...