zur Navigation zur Suche zum Inhalt

Produkt

Link teilen


Per E-Mail weiterempfehlenEmpfehlen

Weiterempfehlen von Systerel Smart Solver

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

* erforderlich

Ihre Empfehlung wurde erfolgreich versendet.

Produktbeschreibung

Prove that your design is correct and safe

Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel Smart Solver, a SAT based analysis tool is central to these solutions.

Benefits:
  • Automated analyses and proofs
  • Analysis completeness
  • Exact modeling (no abstractions)
  • Compliant with certification processes
  • Dedicated team of specialists of the technology and tools
Safety verification for a wide range of systems, including:
  • Railway Interlocking systems (relay-based and computerized)
  • CBTC
  • ERTMS

Aussteller

SYSTEREL

SYSTEREL

Aussteller

Ausstellerprofil

Innovativer Spezialist für kritische Systeme

Die Gruppe Systerel ist seit 15 Jahren aktiv in der Planung, dem Design und der Umsetzung innovativer Lösungen im Bereich der Echtzeit- und kritischen Systeme. Die Tochtergesellschaft Systerel ist insbesondere auf sicherheitskritische Software und Betriebssicherheit spezialisiert.

Ihre Fachkompetenz umfasst:
 
  • Entwicklung, Verifikation und Validierung, sowie Evaluierung von Software für alle Sicherheitsstufen,
  • vollständige Ausarbeitung von Sicherheitsnachweisen (safety cases), bis hin zu deren Genehmigung durch Zertifizierungsstellen,
  • verwandte Aktivitäten: Methodologie, Architekturbewertung, Werkzeuge, etc.
Systerel bietet industrielle Lösungen, die die Sicherheit und Gefahrenabwehr drastisch erhöhen und es seinen Kunden erlauben, Kosten zu minimieren und Time-To-Market zu verkürzen.
 
  • S2OPC: Sichere Implementierung des OPC-UA Protokolls (EAL4+ und SIL2 zertifiziert)
  • Systerel Smart Solver: Beweis der Sicherheit von Systemen oder Software (SCADE, C oder Ada) durch Verwendung formalen Methoden
  • Systerel IXL Builder: Entwicklung von bewiesenen Automaten-basierenden Systemen
  • Ovado2: formale bewiesene Erzeugung und Überprüfung von sicherheitskritischen Daten
Die Beherrschung von Spitztechnologien, wie zum Beispiel formale Methoden, kombiniert mit einer fundierten Branchenkenntnis erlaubt es Systerel, hochinnovative und wettbewerbsfähige Lösungen für die Entwicklung und Analyse sicherheitskritischer Systemen sowohl für Industriedienstleister als auch für Betreiber anzubieten.

Seit seiner Gründung hat Systerel starke wirtschaftliche und technische Kooperationen mit Hauptaktoren des Eisenbahnbereichs wie Alstom, Ansaldo STS, RATP, Siemens, SNCF oder Thales entwickelt.

Systerel hat Teams sowohl in Frankreich als auch in Deutschland.

Kontaktieren Sie uns

Persönliche Angaben

* erforderlich

Ihre Nachricht (max. 200 Zeichen)
Nachricht senden
Ihre Nachricht wurde erfolgreich versendet.

Zum Aussteller