In the past, LG Electronics software engineers wrote embedded control software by hand based on designs created by algorithm engineers. In addition to being slow, this process was susceptible to errors stemming from communication difficulties between the different groups. LG Electronics sought to establish a new development process in which teams used modeling and simulation to support early verification and production code generation.

Among the first projects to be completed with this new ISO 26262–compliant process was the design and implementation of an AUTOSAR software component for high-speed motor control. Performance specifications were stringent; the generated code needed to meet a strict execution time limit. To satisfy the project’s demanding requirements and deliver on schedule, the team needed to come up to speed quickly on the new development process.

LG Electronics adopted Model-Based Design with MATLAB and Simulink to develop and verify high-speed motor control software based on AUTOSAR and ISO 26262.

The LG Electronics team attended training and technical workshops conducted by bat365 engineers, who also helped them jumpstart development with a pilot project.

The team created a plant model with Simscape Electrical™ that included an interior permanent magnet synchronous motor (IPMSM) and a switching model of the inverter’s power electronics.

Using an AUTOSAR authoring tool, the team defined interfaces and other configuration details for the controller architecture. They then exported software component description ARXML files from the authoring tool and imported them into Simulink to generate a skeleton control model.

The engineers elaborated this model, adding application logic modeled in Stateflow^®. They also added a proportional-integral (PI) current controller to regulate torque, and algorithms for generating pulse-width modulated (PWM) output to modulate three-phase voltage for the vehicle’s IPMSM.

They used Simulink Check™ to find potential violations of the ISO 26262 standard and Simulink Design Verifier™ to check for divide-by-zero, overflow, and other run-time errors.

To verify the controller design, the engineers ran closed-loop simulations of the controller and plant models, using Simulink Coverage™ to measure how much of the controller model was exercised.

Next, the team generated C code from their models with Embedded Coder^® and compiled the code for their target NXP™ MPC5676R microcontroller.

Using Simulink Test™, they conducted back-to-back tests of the Simulink models and generated code, as required by ISO 26262 ASIL-C, and used Simulink Coverage to assess the coverage of these tests for the generated code.

LG Electronics completed development and verification of the inverter software platform on schedule.

• Stringent code performance requirement met. “Because the code we generated with Embedded Coder was highly optimized, we were able to meet our strict execution time requirement,” says Sohn. “The generated code’s performance was comparable to that of C code written by hand.”
• Communication improved; verification time reduced by 20%. “After adopting Model-Based Design, we saw a reduction in communication errors between teams,” says Sohn. “Because the model makes it easy to visualize the implementation, our verification time was shorter, as well.”
• ISO 26262–compliant software delivered on time. “Semi-formal verification, control flow analysis, data flow analysis, and comparative back-to-back tests between model and code were all done using MATLAB and Simulink,” Sohn says. “Without Model-Based Design I don’t think we would have achieved our ISO 26262 compliance objectives while completing the project on time.”