OVADO

Produkt von SYSTEREL

  • InnoTrans 2018
  • Halle 11.2 210

Kontaktieren Sie uns

Persönliche Angaben

Bitte geben Sie Ihren Vornamen an.
Bitte geben Sie Ihren Nachnamen an.
Bitte geben Sie Ihren Firmennamen an.
* erforderlich

Ihre Nachricht

Bitte geben Sie eine Nachricht ein.
Bitte wählen Sie einen Empfänger aus.

Nachricht senden

Ihre Nachricht wurde erfolgreich versendet.
Weitere Nachricht senden.

Les Portes de l'Arbois 1090 rue René Descartes
13100 AIX EN PROVENCE
Frankreich

  • InnoTrans 2018
  • Halle 11.2 210

Link teilen

Empfehlen

Weiterempfehlen von OVADO

Trennen Sie mehrere E-Mail-Adressen durch ein Komma voneinander. Die Empfänger erhalten einen Link zu dieser Plattform.

Bitte geben Sie einen gültigen Empfänger an.
Bitte geben Sie eine gültige E-Mail-Adresse ein.
Bitte geben Sie eine Nachricht ein.
* erforderlich
Ihre Empfehlung wurde erfolgreich versendet.
Weitere Nachricht senden.

Produktbeschreibung

Validieren Ihren sicherheitskritische Daten

Agile Datenvalidierung basierend auf formalen Methoden
  • skalierbare Modellierung von Eigenschaften gegen traditionelle Programmierung
  • Analyse von Gegenbeispielen und automatische Erstellung von Validierungsberichten
  • T2 SIL4 (EN50128:2011)

Hauptaktoren des Eisenbahnbereichs, Industriedienstleister sowie Betreiber, nutzen schon Ovado (RATP, Alstom, Thales).

Weitere Produkte des Ausstellers