Funktionsorientierte Spezifikation als Vertrag
zwischen Auftraggeber und Hersteller

Die Entwicklung komplexer Steuerungssysteme, wie sie heute in der Leit- und Sicherungstechnik im Einsatz sind, erfordert ein strukturiertes Vorgehen und angemessene Techniken zur präzisen Beschreibung von Anforderungen an das System. Eine Voraussetzung für die fehlerfreie Integration eigenständig entwickelter Systeme zum Gesamtsystem sind präzise Lastenhefte einzelner Teilsysteme.

In diesem Artikel wird eine Spezifikationstechnik zur Beschreibung von Systemschnittstellen vorgestellt, die heute bei Berner & Mattner Systemtechnik erfolgreich eingesetzt wird. Diese Modellbasierte Vorgehensweise ist ein geeignetes Mittel, den Herausforderungen bei der Entwicklung verteilter Systeme Rechnung zu tragen. Insbesondere der Forderung nach einer standardisierten, eindeutigen und testbaren Schnittstellenspezifikation kann auf diese Weise entsprochen werden.

Inhaltsverzeichnis

• Einführung
• Reaktive Systeme und ihre Schnittstellen
• Funktionsorientierte Spezifikation von Systemschnittstellen
• Zusammenfassung