Neue Software-Überprüfung macht Aufzüge sicherer

Natürliche Programmiersprache als Hilfsmittel eingesetzt

Cottbus/Hannover (pte023/22.03.2000/11:30)

Wissenschaftler der Technischen Universität Cottbus http://www.tu-cottbus.de/ präsentieren auf der Hannover-Messe ein Sicherheitskonzept für Steuerungen verschiedener industriell gefertigter Maschinen und Geräte - zum Beispiel für Aufzüge. Damit wird die Sicherheit einer Steuerung nicht einfach nur getestet, sondern bewiesen, so die Entwickler. Mit einer fast natürlichen Sprache kann ein Programmierer die Anforderungen an eine bestimmte Maschine definieren. Dann vergleicht der Computer die Anforderungen mit den Möglichkeiten der jeweiligen Software und überprüft so die Sicherheit.

Die beiden Lehrstühle Automatisierungstechnik sowie Datenstrukturen und Softwarezuverlässigkeit an der TU Cottbus haben Methoden - die in der Mathematik und Informatik schon bekannt sind - erstmals in der Steuerungstechnik eingesetzt, mit deren Hilfe sie nicht nur testen, sondern beweisen können, dass das Gerät die erwünschten Funktionen auch ausführen kann. Damit gibt es erstmals eine hundertprozentige Sicherheit, dass die gestellten Anforderungen auch zuverlässig überprüft werden können. "Mit unseren Methoden testen wir nicht mehr bloß, sondern wir liefern den Beweis" sagt DI Thomas Mertke vom Lehrstuhl Automatisierungstechnik.

Um eine nahe liegende Fehlerquelle auszuschließen, ist auch die Beschreibungssprache zur Definition der Anforderungen von den Cottbuser Wissenschaftlern verbessert worden. Mit einer fast natürlichen Sprache wird dem Programmierer ein Hilfsmitttel in die Hand gegeben, mit dem es ihm gelingt, genauere Beschreibungen der Anforderungen zu definieren. Damit erhöht sich natürlich auch die Sicherheit, dass die zu überprüfenden Anforderungen exakt gestellt wurden. Informationen: Margit Anders, E-Mail: anders@tu-cottbus.de (idw) (Ende)