- Home
- Products
- Software
- Production Code Generation Software
- TargetLink
- Third-party Tools for TargetLink
This page provides an overview of complementary products that support you in establishing a model-based development process and tool chain built around TargetLink.
TargetLink Partner Products
| Product | Description | Company | |
| BTC Embedded Tester | Certified TargetLink test environment | BTC EmbeddedTester® provides a test environment for automatic test generation and execution to verify TargetLink code. Back-to-back test execution is performed on MIL, SIL, and PIL level, and comes with advanced code coverage capabilities. BTC EmbeddedTester® has been certified by TÜV SÜD as fit for purpose according to ISO 26262 and IEC 61508. | BTC Embedded Systems AG |
| BTC Embedded Validator | Formal specification and verification for TargetLink models | BTC EmbeddedValidator® provides a tool suite for formal specification and automatic model-based verification. BTC EmbeddedValidator® checks models for formally specified functional properties. It gives function developers clear information on whether a TargetLink model meets its functional specifications under all environmental conditions. | BTC Embedded Systems AG |
| Model Examiner | Automated guideline checking and model repair | MXAM ensures that your Simulink® models and TargetLink® models are consistent with established modeling guidelines such as MAAB, dSPACE TargetLink Modeling Guidelines and MISRA AC TL, and with your own in-house requirements. The optional Strong Data Typing Toolbox ensures that your TargetLink models are checked for functional safety aspects, as required in ISO 26262 and DO-178B. With its clearly structured reports, MXAM makes the model review process fast and easy to handle. |
Model Engineering Solutions GmbH |
| M-XRAY | Model structure analysis and complexity measurement | M-XRAY measures the complexity of Simulink and TargetLink models. The results of model analysis are then collated and visualized in HTML reports and Microsoft® Excel® spreadsheets. You can use these reports to identify parts of models that make the testing and review effort abnormally high. | Model Engineering Solutions GmbH |
| MTest Classic | Model test manager for Simulink®/TargetLink | MTest classic is a TargetLink-specific unit test framework that automates all the standard tasks within the functional testing workflow in MIL, SIL, and PIL mode. All the steps from test design to test documentation are included. Aggregation of code coverage data as well as access to TargetLink internal simulation data is supported. |
Model Engineering Solutions GmbH |
| Reactis | Model-based testing and validation | Reactis automates the validation of Simulink/Stateflow® and TargetLink models, and the generation of test data from them. | Reactive Systems Inc. |
| TPT | Model-based testing of embedded control systems | TPT is a model-based testing tool for testing embedded systems, especially control systems. TPT supports all important fields in the test process: test management, test modeling, test execution, test assessment, and test documentation. | PikeTec GmbH |
| StyleChecker | Automated model reviews, guideline check, model repair and reporting | StyleChecker reduces model review times and helps improve software quality. It automatically checks Simulink®, Stateflow® and TargetLink® models for compliance with MAAB, dSPACE and inhouse guidelines. All the results are included in automated reports. | AFT Atlas Fahrzeugtechnik GmbH |
| MEDKit - Motor-Control Education Kit | Training and Development Platform | The MEDKit is a microcontroller-based training platform that is specially designed for the seamlessly integrated teaching of C programming, model-based software development and automatic code generation with TargetLink. | Emerge-Engineering |
Further TargetLink Third-Party Tools
| Product | Description | Company | |
| Simulink® Verification and Validation | Verification and validation tools | Requirements management interface (RMI) for connecting requirements with Simulink and TargetLink models, and measuring model coverage and compliance with guidelines. | MathWorks |
| PolySpaceTM Model Link TL (for dSPACE TargetLink) | Static code analysis | PolySpaceTM Model Link TL traces PolySpaceTM results to TargetLink models. | MathWorks |
| Simulink Design Verifier | Test generation and model verification | The Simulink Design Verifier generates tests and verifies model properties using formal methods. | MathWorks |
Note: To purchase third-party products or get technical support, please contact the third-party product vendor directly
