Des chaînes d’outils puissantes
Combinées avec TargetLink, plusieurs outils dSPACE et de nombreux outils tiers permettent un développement logiciel basé sur modèles de haute qualité. Ensemble, ces outils forment l’écosystème TargetLink.
Une gamme étendue d’outils puissants est disponible pour chaque phase du développement. Ils peuvent être directement intégrés avec TargetLink. Ainsi, les utilisateurs TargetLink sont en mesure de constituer leurs propres chaines d’outils hautement efficaces pour leurs propres scénarios individuels, comme de répondre aux exigences poussées des normes de sécurité actuelles, par exemple ISO 26262 ou DO-178C.
Exigences de manipulation et de traçage
| Produit | Société |
| TargetLink en association avec | www.dspace.com |
| Requirements Toolbox™ | www.mathworks.com |
| IBM® DOORS® | www.ibm.com |
| PTC™ Integrity, | www.ptc.com |
| BTC EmbeddedSpecifier® ou | www.btc-embedded.com |
| Microsoft® Excel® | www.microsoft.com |
Conception d’architecture
| Produit | Société |
| SystemDesk | www.dspace.com |
| DaVinci Developer | www.vector.com |
| Enterprise Architect | www.sparxsystems.de |
| IBM® Rational® Rhapsody | www.ibm.com |
| EB tresos® Studio | www.elektrobit.com |
Analyse de modèle
| Produit | Société |
| MES Model Examiner® (MXAM) | www.model-engineers.com |
Support de modélisation
| Produit | Société |
| MES Model & Refactor® (MoRe) | www.model-engineers.com |
AUTOSAR et Comparaison de Modèle
| Produit | Société |
| dSPACE AUTOSAR Compare | www.dspace.com |
| Model Compare | www.dspace.com |
| SimDiff | www.ensoft.de |
Analyse de la couverture de modèle
| Produit | Société |
| BTC EmbeddedTester® | www.btc-embedded.com |
| Simulink Coverage™ | www.mathworks.com |
Génération de vecteur de test
| Produit | Société |
| BTC EmbeddedTester® | www.btc-embedded.com |
| Reactis® | www.reactive-systems.com |
| TPT | www.piketec.com |
Model-Based Testing
| Product | Company |
| BTC EmbeddedTester® | www.btc-embedded.com |
| Reactis® | www.reactive-systems.com |
| TPT | www.piketec.com |
Formal Verifications
| Product | Company |
| BTC EmbeddedSpecifier® | www.btc-embedded.com |
| BTC EmbeddedValidator® | www.btc-embedded.com |
Code Coverage Analysis
| Product | Company |
| BTC EmbeddedTester® | www.btc-embedded.com |
| Testwell CTC++ | www.verifysoft.de |
Run-Time Error Analysis
| Product | Company |
| Astrée | www.absint.com |
| Polyspace Code Prover™ | www.mathworks.com |
Resource Usage Analysis
| Product | Company |
| aiT WCET Analyzer | www.absint.com |
| StackAnalyzer | www.absint.com |
| TimingProfiler | www.absint.com |
Requirements Coverage Analysis
| Product | Company |
| BTC EmbeddedTester® | www.btc-embedded.com |
| TPT | www.piketec.com |
Software Testing
| Product | Company |
| dSPACE VEOS | www.dspace.com |
| dSPACE Real-Time Hardware | www.dspace.com |
Additional MathWorks® Toolboxes
| Product | Company |
| Simulink Control Design™ | www.mathworks.com |
| Simulink Coder™ | www.mathworks.com |
| Further toolboxes | www.mathworks.com |
ISO 26262 Consulting Services
| Product | Company |
| dSPACE Consulting Services | www.dspace.com |
| MES ISO 26262 Consulting Services | www.model-engineers.com |