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
Unsere Hilfsmittel
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.
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.