27. Februar - 1. März 2018 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2018
Produkt vergrößern LOGO_BTC EmbeddedValidator

BTC EmbeddedValidator

LOGO_BTC EmbeddedValidator

BTC EmbeddedValidator

Infos anfordern Infos anfordern

Kontaktieren Sie uns

Bitte geben Sie Ihre persönlichen Informationen und Ihren Terminwunsch an. Gerne können Sie uns auch eine Nachricht hinterlassen.

Ihre persönlichen Informationen

Ihre Nachricht an uns

Ihr Terminwunsch während der Messe

* Pflichtfelder, die von Ihnen eingegeben werden müssen.
Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller-Plattform.

Es ist ein Fehler aufgetreten.

Formale Verifikation für sicherheitskritische Anforderungen

BTC EmbeddedValidator ist ein Werkzeug zur formalen Verifikation von sicherheitskritischen Anforderungen. Die formale Verifikation nutzt als Basis die formalisierten Anforderungen aus BTC EmbeddedSpecifier und wird auf dem Seriencode durchgeführt.

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.

Sollte es doch möglich sein eine Anforderung zu verletzen, generiert BTC EmbeddedValidator automatisch einen Testfall als Gegenbeispiel. Dieser Testfall zeigt, wie das System in einen Zustand gebracht werden kann, der die zugehörige Anforderung verletzt.

Features:

  • Vollständige mathematische Analyse von Software Units (Seriencode), zum Auffinden von möglichen Anforderungs-Verletzungen
  • Automatische Generierung von Gegenbeispielen, wenn eine Anforderungsverletzung möglich ist

BTC EmbeddedSpecifier

LOGO_BTC EmbeddedSpecifier

BTC EmbeddedTester

LOGO_BTC EmbeddedTester

BTC EmbeddedTester BASE

LOGO_BTC EmbeddedTester BASE

BTC Requirement Observers

LOGO_BTC Requirement Observers
top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und Aussteller-Shop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Aussteller oder Produkte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.