| Products |
Description |
|
Company |
|
BTC Embedded Tester
|
Certified TargetLink text 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
|
The Model Examiner ensures that Simulink and TargetLink models are consistent with established standards such as MISRA and IEC 61508, and with your own in-house requirements.
|
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 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
|
|
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
|
Automatic model reviews
|
StyleChecker shortens model review times and helps improve software quality.
|
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
|