BTC Embedded Systems AG
BTC Embedded Systems AG est un Partenaire Stratégique de dSPACE pour les tests automatisés, la validation et la vérification formelle des systèmes intégrés.
BTC Embedded Systems AG est partenaire stratégique de dSPACE concernant TargetLink avec les produits BTC EmbeddedTester®, BTC EmbeddedTester BASE, BTC EmbeddedSpecifier® et BTC EmbeddedValidator®. De plus, BTC Embedded Systems AG est partenaire stratégique de dSPACE concernant AutomationDesk, ControlDesk, VEOS, la carte DS1006 et SCALEXIO avec les produits BTC Requirement Observers, BTC EmbeddedSpecifier et BTC EmbeddedTester.
Les produits BTC réduisent considérablement le temps et les efforts nécessaires aux tests et à la validation de systèmes embarqués tout en augmentant considérablement leur qualité. BTC EmbeddedTester est une solution certifiée et hautement intégrée destinée aux tests de modèles Simulink®/TargetLink et du code de production. Ceci comprend les tests basés sur exigences ainsi que la génération de cas de test automatiques pour les tests « back-to-back » automatisés. BTC EmbeddedSpecifier et BTC EmbeddedValidator permettent aux utilisateurs de spécifier intuitivement et formellement des exigences significatives pour la sécurité et de supporter aussi la vérification formelle, automatique et complète du code automatique TargetLink.
En combinaison avec la bibliothèque dSPACE RTT Observer Library, BTC EmbeddedSpecifier permet la vérification formelle par simulation des exigences pendant les tests HIL ou la validation virtuelle au moyen des BTC Requirement Observers. Ceci augmente notablement la profondeur et la couverture de test, en particulier pour les systèmes critiques. Les outils de tests et d’expérimentation dSPACE, AutomationDesk et ControlDesk, permettent l’observation continue des exigences en plus de tests automatisés et interactifs.
| Produits supplémentaires du programme de partenariat | Brève description | Produit dSPACE associé |
|---|---|---|
| BTC EmbeddedTester® | Tests basés sur les exigences, tests « back-to-back » automatiques et génération de vecteur de test automatique pour les modèles et le code TargetLink | TargetLink |
| BTC EmbeddedTester Base | Tests basés sur les exigences pour les modèles et le code TargetLink | TargetLink |
| BTC EmbeddedSpecifier® | Spécifications formelles d'exigences | TargetLink, AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006 |
| BTC EmbeddedValidator® | Vérification formelle du code de production | TargetLink |
| BTC Requirement Observers | Validation des exigences sur les plateformes temps réel et les plateformes de simulation basées sur PC de dSPACE | AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006 |
Site internet : https://btc-embedded.com
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.