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 EmbeddedSpecifier

BTC EmbeddedSpecifier

LOGO_BTC EmbeddedSpecifier

BTC EmbeddedSpecifier

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 Spezifikation für sicherheitskritische Anforderungen

BTC EmbeddedSpecifier ist ein Werkzeug für die Erstellung und Verwaltung von semi-formalen und formalen Anforderungen in sicherheitskritischen Projekten. Während die semi-formale und formale Beschreibung von Anforderungen im ISO 26262 und IEC 61508 Standard empfohlen wird, ist für das Lesen und Schreiben der Anforderungen, in den meisten formalen Beschreibungssprachen ein umfangreiches Expertenwissen notwendig. Dies ändert sich nun dank BTC EmbeddedSpecifier. Den Ausgangspunkt des Formalisierungsprozesses bildet die informale textuelle Anforderung, welche sich tool-gestützt Schritt für Schritt und intuitiv in eine formale Anforderung ableiten lässt.

Features:

  • Intuitive semi-formale und formale Anforderungsspezifikation
  • Direkte Anbindung an Requirements-Management Tools wie DOORS oder PTC Integrity zur Verknüpfung von informalen und formalen Anforderungen
  • Durchgängige Traceability durch konsequentes Verlinken der Artefakte

BTC EmbeddedTester

LOGO_BTC EmbeddedTester

BTC EmbeddedTester BASE

LOGO_BTC EmbeddedTester BASE

BTC EmbeddedValidator

LOGO_BTC EmbeddedValidator

Formal Verification Package for VEOS and HIL

LOGO_Formal Verification Package for VEOS and HIL
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.