Menü Schließen






PMSM ProVerif Integration Suite


Industry-Grade Validation for EV Motor Drives

ProVerif Integration Suite

Purpose

The ProVerif Integration Suite is a comprehensive environment for developers targeting EV-oriented motor drives. It combines full software-component access with seamless simulation-to-hardware workflows. The suite validates and integrates advanced PMSM control strategies—including motor-inverter matching and regenerative-braking calibration—within an electric-vehicle context.

Simulink Model


Key Features

  • Full Access to SW Components: Unlocked Simulink blocks for current, torque, and speed loops—tweak algorithms end-to-end.
  • Develop & Test Efficiently: Rapidly prototype new control strategies in simulation, then deploy to hardware without rewriting models.
  • Accelerated Innovation: Seamless code generation scripts bridge model-based design to embedded C code for NXP ECUs.
  • Flexible Simulation & HW Testbed: Variant Source/Sink blocks let you switch between pure simulation and real-time hardware-in-the-loop.
  • Live EV-Oriented Validation: Motor-inverter matching templates and regenerative-braking calibration tools with automated FreeMASTER GUI or MATLAB Script.

ProVerif Hardware


Core Components

  • Dual low-voltage PMSM modules in a portable form-factor
  • Basic inverter drive with open-loop and closed-loop modes
  • Transparent engine casing for mechanical visibility
  • Real-time data acquisition interface using FreeMASTER
  • Instructor station with guided experiment software
  • Emergency stop and safety interlocks

Core Components

  • PMSM Testbench Hardware
    • Motor & Inverter: A single PMSM coupled to its inverter board, powered by a DC supply.
    • ECU Board: NXP-based controller for real-time PWM generation and signal processing.
    • Sensors: Current and speed sensors integrated on the inverter board.
  • Software Environment
    • Simulink Model: Pre-built “EduLab” model using Variant Source/Sink to switch seamlessly between simulation and real-hardware modes.
    • FreeMaster GUI: Real-time dashboard for setpoints, monitoring speed, torque, currents, and bus voltage.
    • Data Dictionary: Shared global variables via Simulink.Bus for parameter tuning without model recompilation.

Simulation & Code generation mode

Simulation & Code generation mode
ECU Architecture Control Model
ECU Architecture Control Model
FreeMASTER GUI


Key Objectives

Provide a hands‑on educational environment to illustrate core PMSM principles using real hardware.

Integrate generated code from model-based design tools.

Execute iterative testing of embedded software.

Verify full system operation, including hardware and firmware.


Expected Outcomes

Verified and robust motor-drive software for production.

Reduced deployment and debugging cycles.

Full traceability from model to hardware validation.

Use Case: PMSM ProVerif Integration Suite


1. Full software stack transparency

  • Unlocked Control Loops: Every PI/FOC loop (current, torque, speed) in the Simulink model is exposed as editable blocks—inspect, replace, or extend algorithms.
  • Global Data Dictionary: Centralized Simulink.Bus objects hold all key parameters. Any change propagates instantly to both simulation and generated code.

2. Rapid Prototyping & Code Generation

  • Variant-Driven Workflow: Swap “Simulation” and “Production” variants to validate ideas in Simulink, then flip to code-gen–ready model.
  • Automated Build Scripts: One-click MATLAB scripts generate optimized C code for NXP MPC5744P with makefiles, link scripts, memory maps.
  • Cross-Platform Compatibility: Generated code conforms to MISRA-C guidelines for integration in any ECU toolchain.

3. EV-Oriented Validation Tools

  • Motor-Inverter Matching Templates: Pre-configured parameter sets for common EV motor/inverter pairings.
  • Regenerative-Braking Calibration Suite: Step-by-step brake torque profiling for maximum energy recovery.
  • Thermal & Efficiency Mapping: MATLAB routines sweep speed vs. torque points, logging temperature and efficiency curves.

4. Live Testing & Data Acquisition

  • FreeMASTER Interface: GUI dashboard displays stator currents, rotor speed, bus voltage, and torque in real time.
  • High-Resolution Logging: Time-stamped traces up to 1 MHz for post-analysis in MATLAB.

5. Automated Validation & Reporting

  • Batch Test Harness: MATLAB scripts loop through parameter grids, logging metrics against performance criteria.
  • Compliance Documentation: Generates CSV or MATLAB reports for traceability from model to final motor-drive behavior.

6. User Empowerment & Workflow Integration

  • No-Code GUI Controls: Calibration and validation actions via interactive MATLAB apps—no hand-coding needed.
  • Seamless Toolchain Handoff: Simulation and code-gen on same model ensures zero drift between Simulink and ECU.
  • Scalable for R&D or Production: From university labs to production inverter integration.

Combining deep model access, automated code workflows, and industrial-grade validation scripts, the PMSM ProVerif Integration Suite delivers an end-to-end environment for robust motor-control software.

Contact us for enterprise licensing, custom EV-drive extensions, and on-site support.

ProVerif Suite

PMSM EduLab Explorer Kit

EduLab Explorer Kit

PMSM DevLab Research Platform

DevLab Research Platform

PMSM ProVerif Integration Suite

Feature / Capability 🧑‍🔬 EduLab 🔬 DevLab 🏭 ProVerif
Dual low-voltage PMSM modules
High-performance tunable PMSM
Full Industry-Grade PMSM Drive Stack
Access to Internal Simulink Model 70-80% ✅ 100% ✅
Automatic Code Generation Support
Test Automation Scripts
Hardware-in-the-Loop (HIL) support
Real-Time Data Acquisition (FreeMASTER)
Advanced Diagnostics & Fault Logging
EV Functionality (Regen Braking, Torque Vectoring) ✅ (basic) ✅ (adv) ✅ (full)
Portable Form-Factor
Instructor-Led Guided Software
Simulink co-simulation / HIL integration
Production-Ready CI/CD Pipeline
Emergency Stop & Safety Interlocks