• TTM and MetaEdit+, Modelica Integrated using Semantic Web Technologies
• Capers Jones Reports that T-VEC Method Finds More Software Defect
• The First Aircraft Institute of AVIC Chooses T-VEC for Model-Based Testing
• MetaEdit+ DSM and T-VEC integration
• T-VEC Project at Lockheed Martin Published in STSC CrossTalk
• Dr. Blackburn Presents Model-Based Tool Comparison at S5 Symposium
• Support for Arrays in TTM
• LDRA Integration Support
• T-VEC Wiki
• Vision Microsystems distributes T-VEC in China
• Fujisetstubi distributes T-VEC in Japan
• T-VEC Completes Model for Government Smart Card Interoperability Specification

• Archives

New Release: T-VEC Tester for Simulink and Stateflow 4.2.1

T-VEC Tester for Simulink and Stateflow 4.2.0 is now generally available.

• Resolved several warning messages that appeared during model export and test execution.
• All temporary files made during model export are now deleted.
• Updated mappings file and sl2tvec_schema file to enhance LDRA support.
• Corrected reference to unknown schema in Flow Control example.
• Installation of updated TVECService will complete upon computer restart if an existing installation of the TVECService is running during installation.

Please see the Release Notes for more details on the changes in this release.