Eisenbahnbereich


Unsere Hilfsmittel


> B
> Die Methode B, eine erprobte und anerkannte formale Technik
> Betriebssicherheit

Unsere Hilfsmittel im Eisenbahnbereich


Forschung Beratung, Entwicklung und Produktion

Das Angebot von FERSIL von Teams entwickelt CLEARSY, die ihre Fähigkeiten in den folgenden Bereichen hinzu:
>
elektronische Studien, elektrische, mechanische, Software und Systeme allgemeiner
> Entwicklung von Systemen und Elektronik und Software
> die Realisierung von Sicherheitsdateien
> Integration Produktion und Systeme

B

B ist eine auf Systemspezifikationen anwendbare Modellierungstechnik. Sie kann auch bei der Softwareentwicklung verwendet werden; durch ihre Verbindung mit Nachweismechanismen ist diese formale Methode einzigartig. Sie ermöglicht, Erprobte System Spezifikationen und Erprobte Programme, die den Betriebsanforderungen entsprechen zu erhalten.

Methode B


Die Methode B, eine erprobte und anerkannte formale Technik

> Die Methode B wurde 1980 von Jean-Raymond ABRIAL erfunden. Die Sprache B gründet sich auf die mathematischen Konzepte der Mengenlehre; sie umfasst Nachweismechanismen und kann ohne Bruch einen ganzen Entwicklungszyklus bis zum Code für Softwareelemente abdecken. The B Book (von J.R. ABRIAL, erschienen 1996 bei Cambridge University Press) ist das Referenzwerk über B.

> In der Ausarbeitung von Meteor (Linie 14 der Pariser Metro, die vollautomatisch ohne Fahrer betrieben wird) wurden B und seine industrielle Umgebung (Atelier B) umgesetzt. Seit den ersten Versuchen mit Sicherheitssystemen im November 1997 ist kein Fehler in den mit B entwickelten Systemen aufgetreten. CLEARSY bringt Atelier B seit 1993 in den Handel.

Betriebssicherheit


Die Betriebssicherheit zielt auf die Erhaltung des einwandfreien Betriebes eines Systems, eines Produkts oder eines seiner Bestandteile für die Dauer seines Lebenszyklus bei niedrigen Kosten ab. Die Betriebssicherheit wird über verschiedene Faktoren wahrgenommen: Zuverlässigkeit, Verfügbarkeit, Sicherheit, Instandhaltung, Logistik.