loader image

Test Lösungen für Simulink Modelle und Seriencode

Challenges of Virtual Validation for ADAS/AD

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Produkte

BTC EmbeddedValidator

100%-ige Sicherheit durch mathematisch vollständige formale Verifikation

100% mathematische Vollständigkeit

Mehr als Testen

BTC EmbeddedValidator ist ein Werkzeug zur formalen Verifikation von sicherheitskritischen Anforderungen. Bei einer typischen Softwarekomponente für eingebettete Systeme ist die Anzahl der Kombinationsmöglichkeiten aller Eingangssignale und Parameterwerte nahezu unendlich. Das bedeutet, dass selbst eine große Anzahl an Testfällen nicht in der Lage ist, alle möglichen Pfade und Kombinationen abzudecken. Damit bleibt auch mit einem guten Set an Testfällen am Ende die Frage offen: „Kann eine bestimmte Sicherheitsanforderung verletzt werden?“ BTC EmbeddedValidator nutzt Model Checking Technologie, um automatisch mit einem vollständigen mathematischen Beweis zu zeigen, dass eine Anforderung nicht verletzt werden kann. Damit wird garantiert, dass es keine Kombination von Eingangssignalen und Parameterwerten gibt, welche das System in einen Zustand bringt, der die Anforderung verletzt.
info (3)

Model Checking

BTC Embedded Systems ist Pionier bei der Integration der Model Checking Technologie in ein kommerzielles Entwicklungswerkzeug. Wir machen diese hochautomatisierte Technologie für die Industrie verfügbar und tragen zu einer signifikanten Steigerung von Effizienz und Qualität in den Entwicklungsprojekten unserer Kunden bei. Das Ziel eines Model Checkers ist es, das Verhalten eines Systems vollständig auf eine bestimmte temporale Eigenschaft zu überprüfen und automatisch zu beweisen, dass diese Eigenschaft stets erfüllt ist. Ist dies nicht möglich, liefert der Model Checker ein Gegenbeispiel, das explizit zeigt, wie die zu prüfende Eigenschaft verletzt werden kann. Im Gegensatz zur Ausführung von Testfällen analysiert der Model Checker alle möglichen Läufe eines Systems und liefert einen vollständigen mathematischen Beweis, der das dynamische Verhalten des Systems über die Zeit berücksichtigt. Insbesondere die Bereitstellung eines Gegenbeispiels unterscheidet Model Checking von anderen automatischen Analysemethoden wie der Abstract Interpretation.

intelligent und praktisch

Debugging

Falls BTC EmbeddedValidator einen Testfall als Beispiel einer möglichen Requirements-Verletzung generiert, können Sie die flexiblen Debugging-Möglichkeiten von BTC EmbeddedPlatform nutzen, um mögliche Fehlerursachen einfach zu finden.

Bei der Entwicklung dieser Funktion haben wir uns gefragt: Welche Eigentschaften sollte eine gute Debug-Umgebung mitbringen?

  1. Der Prozess des Debugging verläuft häufig nicht gradlienig sondern hat einen iterativen und experimentellen Charakter. Daher sollte das Debugging idealerweise auf einer Kopie von Modell bzw. Code stattfinden
  2. Häufig ist es notwendig, Debug-Umgebungen mit Kollegen oder Kunden zu teilen. Also sollte eine Debug-Umgebung möglichst eigenständig sein und keine Abhängigkeiten zu einer bestimmten Toolkette haben.
In einem Modell-basierten Entwicklungsprozess ist die intuitivste Debug-Umgebung mit Sicherheit das Simulink Modell. BTC EmbeddedValidator generiert dazu eine „Sandbox“ als Kopie des Modells, welche auch direkt die entsprechenden Test- und Kalibrations-daten enthält. Um das Verhalten auf Code-Ebene genauer zu analysieren, kann ebenfalls ein Microsoft Visual Studio Projekt oder eine IDE-unabhängige Debug-Umgebung exportiert werden.

Zertifiziert

ISO 26262

BTC EmbeddedPlatform (inkl. BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) ist vom TÜV Süd für die Nutzung in sicherheitskritischen Projekten zertifiziert. Das Zertifikat gilt für die Standards IEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304 as well as ISO 25119. Für den in der Automobilbranche geltenden Standard ISO 26262 ist BTC EmbeddedPlatform mit dem höchsten Tool Confidence Level TCL 3 für alle ASIL Level inklusive ASIL D zertifiziert. Dank dieses Zertifikats, welches wir unseren Kunden kostenfrei zur Verfügung stellen, lässt sich der Aufwand zur Tool Qualifizierung innerhalb Ihrer Projekte nahezu eleminieren.

Evaluierungs Lizenz

Sie möchten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verfügung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.

Buchen Sie ein Meeting mit unserem Engineering Team

Sie haben Fragen oder Interesse an einer persönlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen. 

Evaluierungs Lizenz

Sie möchten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verfügung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.

Buchen Sie ein Meeting mit unserem Engineering Team

Sie haben Fragen oder Interesse an einer persönlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen. 

BTC EMBEDDED SYSTEMS BLOG

Unser Blog

Unser Blog mit Artikeln rund um die Themen Embedded Software Entwicklung, Model-based Design, Serien-Code Generierung, ISO 26262, Continuous Integration und mehr.

PRODUCT VIDEOS

Videos

Entdecken Sie die wichtigsten Features unserer Tools in diesen kurzen Demo Videos.

BTC EmbeddedSpecifier

Intuitive formale Spezifikation von sicherheitskritischen Anforderungen