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 |