MathWorks Product Overview

Verification, Validation and Test

• Simulink Verification and Validation
  Verify models and generated code
• Simulink Design Verifier
  Identify design errors, generate test vectors, and verify designs against requirements
• SystemTest
  Manage tests and analyze results for system verification and validation
• HDL Verifier
  Verify VHDL and Verilog using HDL simulators and FPGA-in-the-loop test benches
• Simulink Code Inspector
  Automate source code reviews for safety standards
• Polyspace Client for C/C++
  Prove the absence of run-time errors in source code
• Polyspace Server for C/C++
  Perform code verification on computer clusters and publish metrics
• Polyspace Client for Ada
  Prove the absence of run-time errors in source code
• Polyspace Server for Ada
  Perform code verification on computer clusters and publish metrics
• Polyspace Model Link SL
  Trace Polyspace results to Simulink models
• Polyspace Model Link TL
  Trace Polyspace results to dSPACE TargetLink blocks
• Polyspace UML Link RH
  Trace Polyspace results to IBM Rational Rhapsody models
• DO Qualification Kit
  Qualify Simulink and Polyspace verification tools to DO-178
• IEC Certification Kit
  Qualify code generation and verification tools for ISO 26262 and IEC 61508 certification

Physical Modeling

• Simscape
  Model and simulate multidomain physical systems
• SimMechanics
  Model and simulate multibody mechanical systems
• SimDriveline
  Model and simulate one-dimensional mechanical systems
• SimHydraulics
  Model and simulate hydraulic systems
• SimRF
  Design and simulate RF systems
• SimElectronics
  Model and simulate electronic and mechatronic systems
• SimPowerSystems
  Model and simulate electrical power systems

Fixed-Point Modeling

• Simulink Fixed Point
  Design and simulate fixed-point systems

Simulation Graphics and Reporting

• Simulink 3D Animation
  Animate and visualize models in three dimensions
• Gauges Blockset
  Monitor signals with graphical instruments
• Simulink Report Generator
  Generate documentation for Simulink and Stateflow models

Event-Based Modeling

• Stateflow
  Design and simulate state charts
• SimEvents
  Model and simulate discrete-event systems

• Simulink
  Simulink is an extensible block diagram environment for system simulation and Model-Based Design. It enables engineers to simulate and analyze a broad range of systems including controls, signal and image processing, communications, and multidomain physical systems.

Rapid Prototyping and HIL Simulation

• xPC Target
  Perform hardware-in-the-loop simulation and real-time rapid prototyping
• xPC Target Embedded Option
  Run xPC Target applications on standalone target computers
• Real-Time Windows Target
  Run Simulink models in real time on Microsoft Windows PCs

Application Deployment

• MATLAB Compiler
  Build standalone executables and software components from MATLAB code
• MATLAB Builder NE
  Deploy MATLAB code as .NET or COM components
• MATLAB Builder JA
  Deploy MATLAB code as Java classes
• MATLAB Builder EX
  Deploy MATLAB code as Microsoft Excel add-ins
• Spreadsheet Link EX
  Use MATLAB from Microsoft Excel

Database Access and Reporting

• Database Toolbox
  Exchange data with relational databases
• MATLAB Report Generator
  Generate documentation for MATLAB applications and data

• MATLAB

  MATLAB is a high-level programming language and interactive environment for technical computing, and includes functions for algorithm development, data analysis, numeric computation, and visualization.

  MATLAB serves as the foundation for all other MathWorks products.

Math, Statistics, and Optimization

• Symbolic Math Toolbox
  Perform mathematics using symbolic computation and variable-precision arithmetic
• Partial Differential Equation Toolbox
  Solve partial differential equations using finite element methods
• Statistics Toolbox
  Perform statistical modeling and analysis
• Curve Fitting Toolbox
  Fit curves and surfaces to data using regression, interpolation, and smoothing
• Optimization Toolbox
  Solve standard and large-scale optimization problems
• Global Optimization Toolbox
  Solve multiple maxima, multiple minima, and nonsmooth optimization problems
• Neural Network Toolbox
  Design and simulate neural networks
• Model-Based Calibration Toolbox
  Calibrate complex powertrain systems

Control Systems

• Control System Toolbox
  Design and analyze control systems
• System Identification Toolbox
  Create linear and nonlinear dynamic system models from measured input-output data
• Fuzzy Logic Toolbox
  Design and simulate fuzzy logic systems
• Robust Control Toolbox
  Design robust controllers for uncertain plants
• Model Predictive Control Toolbox
  Design and simulate model predictive controllers
• Aerospace Toolbox
  Aerospace reference standards, environmental models, and aerodynamic coefficient importing
• Simulink Control Design
  Compute PID gains, linearize models, and design control systems
• Simulink Design Optimization
  Estimate and optimize Simulink model parameters
• Aerospace Blockset
  Model and simulate aircraft, spacecraft, and propulsion systems

Computational Biology

• Bioinformatics Toolbox
  Read, analyze, and visualize genomic and proteomic data
• SimBiology
  Model, simulate, and analyze biological systems

Computational Finance

• Financial Toolbox
  Analyze financial data and develop financial algorithms
• Econometrics Toolbox
  Model and analyze financial and economic systems using statistical methods
• Datafeed Toolbox
  Access financial data from data service providers
• Database Toolbox
  Exchange data with relational databases
• Spreadsheet Link EX
  Use MATLAB from Microsoft Excel
• Fixed-Income Toolbox
  Model and analyze fixed-income securities
• Financial Derivatives Toolbox
  Model and analyze equity and fixed-income derivatives

Image Processing and Computer Vision

• Image Processing Toolbox
  Perform image processing, analysis, and algorithm development
• Computer Vision System Toolbox
  Design and simulate computer vision and video processing systems
• Image Acquisition Toolbox
  Acquire images and video from industry-standard hardware
• Mapping Toolbox
  Analyze and visualize geographic information

Signal Processing and Communications

• Signal Processing Toolbox
  Perform signal processing, analysis, and algorithm development
• DSP System Toolbox
  Design and simulate signal processing systems
• Communications System Toolbox
  Design and simulate the physical layer of communication systems
• Wavelet Toolbox
  Analyze and synthesize signals and images using wavelet techniques
• Fixed-Point Toolbox
  Design and execute fixed-point algorithms and analyze fixed-point data
• RF Toolbox
  Design, model, and analyze networks of RF components
• Phased Array System Toolbox
  Design and simulate phased array signal processing systems
• SimRF
  Design and simulate RF systems
• Computer Vision System Toolbox
  Design and simulate computer vision and video processing systems

Test and Measurement

• Data Acquisition Toolbox
  Connect to data acquisition cards, devices, and modules
• Instrument Control Toolbox
  Control and communicate with test and measurement instruments
• Image Acquisition Toolbox
  Acquire images and video from industry-standard hardware
• OPC Toolbox
  Read and write data from OPC servers and data historians
• Vehicle Network Toolbox
  Communicate with in-vehicle networks using CAN protocol

Code Generation

• MATLAB Coder
  Generate C and C++ code from MATLAB code
• Filter Design HDL Coder
  Generate HDL code for fixed-point filters
• Simulink Coder
  Generate C and C++ code from Simulink and Stateflow models
• Embedded Coder
  Generate C and C++ code optimized for embedded systems
• HDL Coder
  Generate VHDL and Verilog code for FPGA and ASIC designs
• Simulink PLC Coder
  Generate IEC 61131 structured text for PLCs and PACs

Parallel Computing

• Parallel Computing Toolbox
  Perform parallel computations on multicore computers, GPUs, and computer clusters
• MATLAB Distributed Computing Server
  Perform MATLAB and Simulink computations on clusters, clouds, and grids