Industry-Grade Validation for EV Motor Drives

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.

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.

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

- 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.

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.

PMSM EduLab Explorer Kit

PMSM 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 | ✅ | ✅ | ✅ |