Die Erwartungen bei Software- und Systementwicklung übertreffen
Softwarehersteller konzentrieren sich hauptsächlich auf die Entwicklung von Systemen und Tools, die höhere Zuverlässigkeit zu geringeren Kosten bieten und dabei in der Lage sind, die tatsächlichen Bedürfnisse der Nutzer zu befriedigen. Zur Zeit existieren eine Vielzahl von Toolkits und Methoden zur Unterstützung der Industrie, wie zum Beispiel ISO, die RAD-Methode und JAVA. Trotz einer Reihe bekannt gewordener Fehlfunktionen scheint die Popularität vieler allgemein angewendeter Systeme hoch zu sein. Dennoch ist die zeiteffiziente Entwicklung einer zuverlässigen und ausfallsicheren Software zu geringen Kosten ein noch immer unerreichtes Ziel. Um diesen Bedarf zu erfüllen, hat ClearSy eine formalisierte Methode, genannt B-Methode, sowie ein Software-Toolkit mit dem Namen Atelier B entwickelt. Diese Methode hat sich in vielen industriellen Systemen als sehr effektiv erwiesen, da sie eine unkomplizierte Anpassung der Systemanforderungen und -funktionen erlaubt. Mithilfe eines mathemathisch bewiesenen Modells wird ein Systemmodell erstellt und unter ständiger Verbesserung weiterentwickelt. Endgültig freigegeben wird es erst dann, wenn alle Anforderungen erfüllt sind. Mit dem Atelier B-Toolkit werden die Modelle auf Syntaxfehler geprüft und vor der weiteren Anwendung automatisch für gültig erklärt. Die B-Methode und das Atelier B-Toolkit werden bisher bereits in zwei Industriezweigen, dem Eisenbahnwesen und der Fahrzeugindustrie, angewendet. Nach der Schulung interner Experten, die die Definition einer bestimmten Methodik für entwickelte Systeme beherrschen, waren diese in der Lage, ingenieurtechnische Nutzer zu unterstützen und anzuleiten. Die Verbreitung der Methode sollte es ermöglichen, so innovative Dienste wie die Entwicklung von Software und Toolkits für Konstrukteure sowie die Analyse und Prüfung von Systemanforderungen bereitzustellen. Die formalisierte Modellierung mittels B-Methode und den entsprechendenTools wurde für die Entwicklung der Software zur vollautomatischen Zugsteuerung der Linie 14 der Pariser U-Bahn genutzt. Bis jetzt sind bei der in diesem Zusammenhang stehenden entscheidenden Software keinerlei Probleme aufgetreten. ClearSy sucht die Zusammenarbeit mit der Industrie, um in deren Wirkungsbereich die B-Methode experimentell oder im Betrieb anwenden zu können. Außerdem werden Partnerschaften zur Erschließung neuer Industriezweige für die Anwendung der Methode gesucht.
