Automated Production Code
Handwritten code often takes the longest to develop, and despite that, will likely contain many errors. Using the production code generator TargetLink, you can skip the unnecessary manual translation of the code, and can instead focus on more important problems. Automatic generation of production code means less testing in the target system is required, as compliance with earlier verified models is guaranteed. With TargetLink, production code will be generated in C directly from the Simulink®- or Stateflow® model, and simulation of the code is done directly on the PC to verify that scaling effects etc. don’t affect the functionality.
For guideline checking of Simulink®- and TargetLink models, you can use Model Examiner (MXAM), created by dSPACEs strategic partner Model Engineering Solutions GmbH (MES). MXAM is industry standard for guideline checking of Simulink®- and TargetLink models.
Quality code needs quality specifications. For that reason, dSPACE’s strategic partner BTC Embedded Systems provides Embedded Tester, a tool for automated generation of test vectors for structural testing and verification of structural requirements. In an ISO 26262 compliant workflow, verification is all-important, but so is traceability. With the help of BTC’s Embedded Specifier, the specifications are coupled with the tests to systematically check if the requirements are fulfilled.
The complexity of large control systems is a huge challenge for the automotive producers and their suppliers. When functions are developed for an ECU or a network of ECUs, the ease of communication is greatly increased by formal system models. To meet this challenge, dSPACE has integrated an architecture tool into their toolchain called SystemDesk. Developers working with SystemDesk can plan, execute and integrate complex system architecture and distributed control systems faster than ever before. A large focus is on AUTOSAR and simulation possibilities, including bus communication.