BTC Produkte

Entwickeln Sie neue Möglichkeiten

Ob formales Spezifizieren, Verifizieren oder hochautomatisiertes Testen - mit den Werkzeugen von BTC sind Sie immer eine Idee voraus.

Mit Leichtigkeit in die formale Welt: BTC EmbeddedSpecifier

Formales Spezifizieren von Requirements muss keine Hürde sein:
Der BTC EmbeddedSpecifier  ist eine Revolution in der modellbasierten Entwicklung.

• Semi-formales und formales Spezifizieren von Requirements
• Automatisierte Generierung von Diagnoseeinheiten (C-Observer)
• Ermöglicht formales Testen auch ohne Kenntnisse Formaler Methode

Beweisen Sie es sich: BTC EmbeddedValidator

Ohne Wenn und Aber:
BTC EmbeddedValidator gibt Ihnen 100 %ige Sicherheit bei der formalen Verifikation von TargetLink-Modellen.

• Formale Verifikation von Modell gegen die Requirements
• Vollautomatisierte Robustheitsanalyse von Modellen
• Verifiziert mit mathematischer Beweiskraft

Doppelt so schnell am Ziel: BTC EmbeddedTester

Der BTC EmbeddedTester ist eine zertifizierte, hochintegrierte und vollautomatisierte Testumgebung für den weltweit führenden Auto-Code-Generator TargetLink.

• Requirements-Based Testing
• Back-To-Back Testing mit Abedeckungsmessung
• Simulationsbasierte, formale Verifikation
•  Reduziert Ihren Testaufwand um bis zu 70 %