L’écosystème TargetLink

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 leur 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 comme les normes ISO 26262 ou DO-178C.

Exigences de manipulation et de traçage

Product Company
TargetLink in combination with www.dspace.com
Simulink Requirements™, and www.mathworks.com
IBM® Rational® DOORS®, www.ibm.com
PTC™ Integrity, www.ptc.com
BTC EmbeddedSpecifier® or www.btc-embedded.com
Microsoft® Excel® www.microsoft.com

Conception d’architecture

Product Company
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

Product Company
MES Model Examiner® (MXAM) www.model-engineers.com

Modeling Support

Product Company
MES Model & Refactor® (MoRe) www.model-engineers.com

 

Comparaison d’artefacts AUTOSAR et de modèles

Product Company
dSPACE AUTOSAR Compare www.dspace.com
Model Compare www.dspace.com
SimDiff www.ensoft.de

Analyse de la couverture de modèle

Product Company
BTC EmbeddedTester® www.btc-embedded.com
Simulink Coverage™ www.mathworks.com

Génération du vecteur de test

Product Company
BTC EmbeddedTester® www.btc-es.de
Reactis® www.reactive-systems.com
TPT www.piketec.com

Exécution de tests basée sur modèle

Product Company
BTC EmbeddedTester® www.btc-es.de
Reactis® www.reactive-systems.com
TPT www.piketec.com

Vérifications formelles

Product Company
BTC EmbeddedSpecifier® www.btc-embedded.com
BTC EmbeddedValidator® www.btc-embedded.com

Coder une vérification de directives

Product Company
QA-C www.qa-systems.com
PC-lint www.gimpel.com

Analyse de la couverture du code

Product Company
BTC EmbeddedTester® www.btc-embedded.com
Testwell CTC++ www.verifysoft.de

Analyse d’erreurs de fonctionnement

Product Company
Astrée www.absint.com
Polyspace Code Prover™ www.mathworks.com

Analyse de l’utilisation de ressources

Product Company
aiT WCET Analyzer www.absint.com
StackAnalyzer www.absint.com
TimingProfiler www.absint.com

Analyse de la couverture d’exigences

Product Company
BTC EmbeddedTester® www.btc-embedded.com
TPT www.piketec.com

Tests logiciels

Product Company
dSPACE VEOS www.dspace.com
dSPACE Real-Time Hardware www.dspace.com

Boîtes d’outils MathWorks® supplémentaires

Product Company
Simulink Control Design™ www.mathworks.com
Simulink Coder™ www.mathworks.com
Further toolboxes www.mathworks.com

Services de conseils ISO 26262

Product Company
dSPACE Consulting Services www.dspace.com
MES ISO 26262 Consulting Services www.model-engineers.com

Informations approfondies Informations produit

Faire avancer l'innovation. Toujours à la pointe de l'évolution technologique.

S’abonner à nos newsletters, gérer ses abonnements ou se désabonner. La newsletter mensuelle contenant toutes les informations liées à l’aéronautique et défense.

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.