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

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.