Difference between revisions of "Modeling"

From T-VEC Wiki
Jump to: navigation, search
(Tool Flow)
(Model Types)
Line 5: Line 5:
 
As shown in the figure, TTM provides constructs and a language to define requirement models. Simulink/Stateflow provide constructs and a language to define design models. TTM and the assertion mechanism supported by the Simulink Tester for T-VEC (SL2TVEC) provide a language and approach for defining properties (e.g., safety properties, security properties). The translators for both TTM and SL2TVEC perform modeling transformations.
 
As shown in the figure, TTM provides constructs and a language to define requirement models. Simulink/Stateflow provide constructs and a language to define design models. TTM and the assertion mechanism supported by the Simulink Tester for T-VEC (SL2TVEC) provide a language and approach for defining properties (e.g., safety properties, security properties). The translators for both TTM and SL2TVEC perform modeling transformations.
  
[[Image:Model_Spectrum.jpg|Model Spectrum]]
+
[[Image:Model_Spectrum.jpg|center|Model Spectrum]]
  
 
==Model Representation==
 
==Model Representation==

Revision as of 14:11, 15 February 2007