Projektstart: 01.01.1997

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

Zusammenfassung

Ein spezieller Fall paralleler Systeme sind Hardwarekomponenten. Eine Schaltung der Hardware ist ja nichts weiter als ein "eingefrorenes" Programm; gleichzeitig ist sie ein hochgradig paralleles System, bestehend aus Millionen von Schaltgliedern. Als konkrete Fallstudien für die Technik des deduktiven Entwurfs wurden u.a. die grundlegenden Schaltungen der Rechnerarithmetik formal aus der Spezifikation hergeleitet.

Beschreibung

Das Projekt unterteilt sich in folgende Teilprojekte: