Projektstart: 01.01.1993

?

Projektende:?31.12.1995

?

Laufzeit: 01.01.1993 - 31.12.1995

?

Projekttr?ger: Universit?t Augsburg

?

Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller (Leiter)

?

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Manfred Broy (TU München), Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid), Prof. Dr. Walter Dosch (ehemals Universit?t Augsburg)

?

?

Zusammenfassung

Ein Projektziel war eine einheitliche formale Entwurfsmethodik für paralleler Soft- und Hardwaresysteme. Als Fallstudie diente ein Schaltwerk für einen asynchronen beschr?nkten Schlangenpuffer, das als eine der IFIP WG 10.2 Verification Benchmarks diente. Die formale Analyse ergab, da? die dort angegebene Schaltung fehlerhaft war; der Fehler h?tte durch systematische Anwendung der Technik des Deduktiven Entwurfs vermieden werden k?nnen. Weitere Untersuchungen betrafen die Verwendung von Kommunikationsstr?men bei der Hardwarebeschreibung und -entwicklung.