Third-party Tools for TargetLink
Products by BTC – Embedded Systems AG (formerly OSC)
EmbeddedTester
Automatic Test Vector Generation:
- Automatic production code testing and validation
- Operates on TargetLink-generated code
- Automatically high code condition/decision coverage of up to 100%
EmbeddedValidator
Simulink/Stateflow Verification Environment:
- Automatic Simulink®/Stateflow® and TargetLink model validation
- Operates on TargetLink generated code
- Full support of Stateflow charts
- Support of Simulink subsystems with a large set of open-loop control blocks (Simulink/TargetLink)
- Powerful verification support by complete and bounded engines
- Pattern-based requirements specification