Skip to Main Content Skip to Search
Home |   Select Country  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Solutions Academia Support User Community Company
spacer spacer spacer spacer spacer spacer

Verification, Validation (V&V), and Test in Model-Based Design

Design Verification Through Model Testing

Continuous test and verification is a cornerstone of Model-Based Design. Early verification and validation, also known as V&V, enables you to find errors early in the development process, when they are less costly to fix. One way that Model-Based Design achieves this efficiency is through simulation and testing.

Get V&V trial software Contact Sales

User Stories


Aerospace and Defense
BAE SYSTEMS CNIR - BAE SYSTEMS CNIR Develops On-the-Move Antenna Pointing and Stabilization System
Cessna Aircraft Company - Cessna Enhances Antiskid Technology with Hardware-in-the-Loop Testing
EADS - EADS Ensures Launch Vehicle Dependability with PolySpace Products for Ada
Rod Millen Special Vehicles - Rod Millen Special Vehicles Develops Suspension System for Military Vehicle Using MathWorks Tools
U.S. Air Force Guided Weapons Evaluation Facility - Guided Weapons Evaluation Facility Replaces Missile Testing System with xPC Target

Automotive
Eaton Corporation (2) - Eaton Tests an Automated Transmission Controller in Real Time Using xPC Target
ELESYS - ELESYS North America Speeds Verification of Safety-Critical Embedded Software with PolySpace Products for C/C++
Motorola Automotive Group - Motorola Creates Electric Vehicle Battery Management Controller with Real-Time Workshop Embedded Coder
Nissan Motor Company - Nissan Increases Software Reliability with PolySpace Products for C/C++
Pacifica Group Technologies - Pacifica Group Technologies Advances Brake-by-Wire Technology with Simulink and xPC Target

Industrial Automation and Machinery
CR-Realtime Systems - CR-Realtime Systems Designs Embedded Controller for Fuel Cell System
Electrodynamics Associates - Electrodynamics Associates Designs High-Performance Generator Controller for the Military with Simulink and xPC Target
IRSN - Institute for Radiological Protection and Nuclear Safety Verifies Nuclear Safety Software with PolySpace Products for C/C++
Xerox - Xerox Reduces Development Time Using MathWorks Tools

Biotech, Pharmaceutical and Medical
GlucoLight - GlucoLight Ensures Reliable Software for Medical Trials Using PolySpace Products for C/C++
Medrad - Medrad Ensures Safety of MRI Vascular Injection Pump Using MathWorks Tools

Other
Alliance Semiconductor - Alliance Semiconductor Develops State-of-the-Art EMI Reduction Device
CSEE Transport - CSEE Transport Ensures Reliability of High-Speed Rail Software with PolySpace Products for Ada

Trial Software Available

Licensed Users: Download a 15-day trial of most MathWorks products (login required).
Don't Have a License? Request Trial Software and a MathWorks representative will call to get you started