Difference between revisions of "Simulink Tester for T-VEC"

From T-VEC Wiki
Jump to: navigation, search
 
Line 13: Line 13:
 
* Statement Coverage
 
* Statement Coverage
 
* Interface Coverage
 
* Interface Coverage
 +
 +
==Design Model==
 +
The [http://www.mathworks.com Mathworks' Simulink and Stateflow] allow users to develop behavioral specification used as basis of for simulation or code generation, and more. When used for code generation, the models represents "what’s in the box."
 +
 +
===Hybrid===
 +
Simulink was originally used for control system modeling, but with the addition of Stateflow and other features, it now provides hybrid modeling support for integrating control system and state machine models.
  
 
==Model Analysis==
 
==Model Analysis==

Revision as of 15:13, 7 February 2007