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 %


Kontakt

Vereinbaren Sie einen Termin mit uns.

Tel: +49 441 96 97 38-0

E-Mail: info@btc-es.de