- Home
- Products
- Software
- Production Code Generation Software
- TargetLink
- Third-party Tools and Services 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 Strategic Partners
| 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 verification of 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 |
| BTC EmbeddedSpecifier | Formal specification of requirements | BTC EmbeddedSpecifier provides a computer-aided, intuitive and constructive method for specifying requirements, without having in-depth expertise in the theory of formal methods. Automatic C-observer generation by BTC EmbeddedSpecifier allows a completely automated, requirement-based test approach, at model level (BTC EmbeddedValidator) as well as at code and implementation levels (BTC EmbeddedTester). | BTC Embedded Systems AG |
| Model Examiner | Automated guideline checking and management | MXAM ensures that Simulink®, Stateflow® and TargetLink models are consistent with established modeling guidelines and company-specific requirements. The two different editions of MXAM, the MISRA® Compliance Solution and the Functional Safety Solution, help fulfill all the key criteria for MISRA and ISO 26262 compliance on model level. |
Model Engineering Solutions GmbH |
| M-XRAY | Model metrics and model complexity | M-XRAY provides model metrics measurement and model complexity analysis of Simulink, Stateflow, and TargetLink models. M-XRAY helps to fulfill important ISO 26262 requirements: it analyzes the model architecture and detects overly complex and error-prone model sections, and plays a vital part in keeping model complexity low. | Model Engineering Solutions GmbH |
| MTest Classic | Model test manager for TargetLink | MTest classic is a framework with a straightforward and intuitive user interface for test management, functional testing, back-to-back testing and regression testing in MIL, SIL, and PIL modes. MTest supports and automates all testing tasks for efficient unit and system testing of Simulink and TargetLink models. |
Model Engineering Solutions GmbH |
Third-Party Tools and Services for TargetLink®
| Consulting Services | Description | Company | |
| MES ISO 26262 Consulting Services | MES ISO 26262 process deployment services for model-based software development with TargetLink | The major goal of the Model Engineering Solutions GmbH (MES) ISO 26262 process deployment services is to define and apply a well-defined and cost-effective development and V&V process relying on best practices from the automotive industry in order to achieve full ISO 26262 standard compliance. With MES being a TargetLink strategic partner, its consultants are highly specialized in model-based development processes for safety-critical software development with TargetLink. ISO 26262 process deployment is carried out worldwide by senior MES consultants, who are experienced in company-wide adoption and implementation of ISO 26262-compliant model-based development. | Model Engineering Solutions GmbH |
TargetLink Partners
| Product | Description | Company | |
| 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 Simulink and TargetLink models. TPT supports functional verification in a systematic way on MIL, SIL and PIL platforms. Test results are evaluated using a specialized test assessment supported by graphical user interfaces. The results are documented in detailed reports. Among other features, TPT supports automatic test harness generation, usage of TargetLink model-internal signals, parameter exchange, closed-loop testing, code coverage and requirements tracing. TPT can be qualified for use in ISO26262 safety projects. | PikeTec GmbH |
| StyleChecker | Automated model reviews, guideline check, model repair and reporting | StyleChecker designed by Schaeffler Engineering 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. | Schaeffler Engineering 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
