Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(Getting Started)
(Other Common Questions)
Line 37: Line 37:
===Other Common Questions===
===Other Common Questions===
*[[Measurement|Product and Product Measurement]]
*[[DO-178B and DO-178C]]
*[[DO-178B and DO-178C]]
*[[Formal Methods and Theorem Provers]]
*[[Formal Methods and Theorem Provers]]

Revision as of 20:47, 17 January 2007

Welcome to the T-VEC Wiki



This wiki provides information on using the T-VEC Suite of tools. The wiki is for information about T-VEC tools and related information. It has no specific topic but is for all things T-VEC. Anyone can read it but only registered users can edit pages. Users are encouraged to donate meaningful documentation and information If you are new here, you must register for a www.t-vec.com username/password. All documentation contributed is covered by the documentation license.

Getting Started

The T-VEC suite of tools provide model-based test support. The tools include:

If you're new to modeling, TTM is easy to use, and you can create your first model in a matter of minutes. TTM integrates seamlessly with VGS, and with one mouse click tests for your first model can be produced quickly.

Simulink users can use SL2TVEC and VGS to support model analysis, test generation and execution for auto-generated code, manually produced code, and the Matlab simulator.

Pilot Projects or Workshops are often the best way to get started with T-VEC tools.


Tvecwiki provides guidance on using the tools, from installation, tutorials, usage, and FAQs.

Other Common Questions


Register here.