Hitex SafeTpal

Model Predictive Control Toolbox™ provides functions, an app, Simulink® blocks, and reference examples for developing model predictive control (MPC). For linear problems, the toolbox supports the design of implicit, explicit, adaptive, and gain-scheduled MPC. For nonlinear problems, you can implement single- and multi-stage nonlinear MPC. The toolbox provides deployable optimization solvers and also enables you to use a custom solver. You can evaluate controller performance in MATLAB® and Simulink by running closed-loop simulations. For automated driving, you can also use the provided MISRA C®- and ISO 26262-compliant blocks and examples to quickly get started with lane keep assist, path planning, path following, and adaptive cruise control applications. Design implicit, gain-scheduled, and adaptive MPC controllers that solve a quadratic programming (QP) problem. Generate an explicit MPC controller from an implicit design. Use discrete control set MPC for mixed-integer QP problems.

Axivion helps development teams deliver safer, cleaner, and more maintainable C, C++, and CUDA code by automatically detecting coding standard violations, security vulnerabilities, dead code, and code clones. It provides actionable recommendations and detailed analytics, helping teams track, resolve, and prevent defects early in the development process. Axivion also supports architecture verification, enabling teams to maintain modular and scalable codebases. Designed for safety-critical industries like automotive, aerospace, medical devices, and industrial automation, Axivion supports functional safety standards including MISRA, ISO 26262, and IEC 61508. By combining static code analysis with architecture verification, it helps teams maintain long-term code health, accelerate certification readiness, and deliver high-performance software while reducing technical debt and ensuring compliance.