Melden Sie sich hier an, um auf Kommentare und die Whitepaper-Datenbank zugreifen zu können.

Kein Log-In? Dann jetzt kostenlos registrieren.

Falls Sie Ihr Passwort vergessen haben, können Sie es hier per E-Mail anfordern.

Der Zugang zur Reseller Only!-Community ist registrierten Fachhändlern, Systemhäusern und Dienstleistern vorbehalten.

Registrieren Sie sich hier, um Zugang zu diesem Bereich zu beantragen. Die Freigabe Ihres Zugangs erfolgt nach Prüfung Ihrer Anmeldung durch die Redaktion.

17.05.1991

Sichere SW: DST stellt ein Konzept vor

HANNOVER (vwd) - Ein Konzept zur Entwicklung ausfallsicherer Software hat die DST Deutsche System-Technik GmbH, Bremen, auf der Hannover-Messe Industrie 91 vorgestellt.

Techniken der klassischen Software-Entwicklung werden dabei mit formaler mathematischer Verifikation verbunden.

Das aus der Wehrtechnik stammende Unternehmen hat gemeinsam mit Universitäten in seinem Geschäftsbereich Ausfallichert Systeme formale Methoden auf ihre Praxistauglichkeit n untersucht. Es entstand ein orgehensmodell, nach dem formale Methoden der mathematischen Logik mit Software-Engineering-Verfahren kombiniert wurden. Bei der erzeugten Software läßt sich die Abwesenheit von Fehlern nachweisen.

Ausfallsichere Software, die nach diesem Konzept entwickelt wurde, kommt laut DST in Bordsystemen der Airbus-Modelle zum Einsatz.