Home - Die Eisenbahn in de Welt - Unsere Systeme und Programme - Angebot - Hilfsmittel - Know-How - Signale und Indikatoren - Dokumente - Wer sind wir ? - Kunden und Partner - Messe - Links - Kontacte

Unser Know-How

Im Rahmen unseres Sicherheitsverfahrens entwickeln wir sichere Systeme und Programme, die die vollständige Sicherheit Ihrer Anwender gewährleisten.

Dazu bewegen wir uns in fächerübergreifenden Bereichen, indem wir unsere Kompetenz in verschiedenen Wissensgebieten mobilisieren:

  • Entwicklung von Sicherheitssystemen unter Nutzung formaler Methoden,
  • Betriebssicherheit,
  • Entwicklung von Systemen, die den Eisenbahnnormen entsprechen,
  • Sicherheitsprogramme,
  • Elektronik.

Diese Bereiche sind für sich genommen der Träger eines sicheren und innovativen Sicherheitssystems.

Nutzung formaler Methoden

Die Methode B ist eine der formalen Entwicklungsmethoden für das System und die Software, die wir nutzen. Sie ermöglicht mit der Sprache B die Rationalisierung und Modellierung des Verhaltens eines Programmes, um dann durch Verfeinerungen nach und nach zu einem konkreten Modell zu gelangen.

Sie wird verwendet im Rahmen:

  • der Umsetzung korrekter Programme nach Konstruktion
  • der Modellierung von Systemen in ihrer Umgebung

Diese Methode wird industriell im Eisenbahnbereich verwendet. Sie ist im Universitätsbereich weit verbreitet und anerkannt.

ClearSy gewährleistet die Entwicklung in Zusammenarbeit mit Industriellen, und Forschungszentren.

Betriebssicherheit

Die Betriebssicherheit stellt eine Pflichtetappe bezüglich der Studie der Zuverlässigkeit und des Zusammenwirkens des Systems mit seiner Umgebung dar. Sie ermöglicht, den perfekten Betrieb des Systems in vielfältigen Situationen sicherzustellen und dabei die Gesamtheit seiner Umgebung zu bewahren.

Um diese Analysestudie zur Sicherheit umzusetzen, setzt ClearSy verschiedene Etappen ein, darunter:

  • die Risikovoranalyse
  • die Fehlermöglichkeits- und Einflussanalyse (FMEA)
  • die Softwarefehleranalyse
  • die Fehlerbaumanalyse (FTA)
  • die Methode der Kombination wiederholter Pannen
  • Andere…

Diesen in der Industrie wohlbekannten Methoden konnten die Berater die wie folgt bezeichneten Verbesserungen hinzufügen:

  • die Formale Fehlermöglichkeits-und Einflussanalyse
  • die Formale Fehlerbaumanalyse

Den Eisenbahnnormen entsprechende Systeme

ClearSy arbeitet an Projekten des Typs SIL2, SIL3 und SIL4 (Normen IEC 61508, EN 50126, EN 50128, EN 50129) und arbeitet eng mit Forschern, Auftraggebern und im Eisenbahnbereich anerkannten industriellen Partnern zusammen (ALSTOM, RATP, usw.).

Die Elektronik

ClearSy arbeitet an zahlreichen Projekten, die den Einbau elektronischer Teile abdecken.