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 2017
Produkt vergrößern LOGO_Systerel Smart Solver

Systerel Smart Solver

LOGO_Systerel Smart Solver

Systerel Smart Solver

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 möchten mehr Möglichkeiten und Vorteile der Plattform nutzen? Dann loggen Sie sich bitte ein – oder registrieren Sie sich gleich hier.

Es ist ein Fehler aufgetreten.

Statische Analyse und Beweis von Systeme und Software

Systerel bietet eine Auswahl an industriell bewährten, auf Modellprüfung basierte Lösungen für die statische Analyse und den Beweis der Systeme und Software. Systerel Smart Solver (S3), ein auf SAT basiertes statische Analysewerkzeug, ist der Kern dieser Lösungen.

Eine große Auswahl Dienstleistungen

Zusammen mit spezialisierten Übersetzern und Spezialwerkzeugen bietet S3 eine Reihe von Leistungen:

  • statische Codeanalyse
  • Beweis von Sicherheitseigenschaften - Zertifizierung
  • Beweis von kundenspezifische Eigenschaften mit Werkzeugen für das Analysieren der Gegenbeispiele
  • automatisierte Testfallerzeugung (funktional oder struktural)

und ganz allgemein eine effiziente Antwort auf Constraint-Satisfaction-Probleme: Optimierung, Routing, Planung…

Vorteile

  • Automatisierte Analyse und Beweis
  • Vollständigkeit der Analyse
  • Genaue Modellierung (keine Abstraktionen)
  • Entspricht die Zertifizierungsprozesse
  • Experten-Team für die Technologie und Werkzeuge

Funktionalitäten

  • statische Codeanalyse: Abwesenheit von undefinierte Verhalten (OOB, UMR, OVF, DIV0), Abwesenheit unerreichbares Codes und totes Codes
  • Beweis kundenspezifischer Eigenschaften
  • Gegenbeispielanalyse der falsifizierter Eigenschaften
  • Automatisierte Testfallerzeugung (funktional oder struktural)
  • Äquivalenzbeweis zwischen Entwurf und Code oder zwischen diversifizierten Coden
  • Programmiersprachen: C (C99 mit Beschränkungen), Ada (Teilmenge), SCADE (v5, v6)

Certifiable Smart Solver

  • Zertifizierbare Analyse der Übereinstimmung eines Systems mit einem Satz von Eigenschaften (Sicherheit, Entwurf, …)

  • T2-Klasse Werkzeug für SIL-4 Systeme nach Norm EN 50128:2011
  • Basiert auf Diversifizierung, sequenzielle Äquivalenzbeweis und a posteriori Verifizierung des Beweises

Industrielle Anwendungen

Sicherheitsbewertung für eine große Auswahl Systeme einschließlich:

  • Eisenbahn Verriegelungen (entweder auf Relais basiert oder rechnergesteuerte)
  • Communication-Based Train Control System (CBTC)
  • Luftmengenregelung für Luftfahrt Systeme

Sichere Implementierung des OPC-UA-Protokolls

LOGO_Sichere Implementierung des OPC-UA-Protokolls
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.