Band 43, Heft 4

Dieser Nachruf versucht mehr als ein Lebensbild zu geben; er möchte die Verzweigung der Wirkungen deutlich machen, die das Werk eines genialen Neuerers hervorruft. Shannon ist ein Vorbild in seiner Breite, in seiner Klarheit und in der Akribie im Studium dessen, was er bei seinen Vorgängern finden konnte. Sein Genius ist einzigartig. Breite, Klarheit und Genauigkeit aber sollte jeder Informationstechniker anstreben.

Ziel des Beitrags ist es, das Konzept und die Erfahrungen eines Teleseminars systematisch darzustellen und Anhaltspunkte für vergleichbare Vorhaben in der Zukunft zu geben. Angestrebt wird damit ein Beitrag zur vertieften Auseinandersetzung mit neuen Unterrichtsformen in der Wirtschaftsinformatik sowie die Dokumentation von experimentellen Unterrichtserfahrungen im Seminarbereich, zu denen bis heute nur wenige systematische Analysen vorliegen.

Zu den Kennzeichen von eingebetteten Systemen gehört heute zum einem der Trend, möglichst große Teile der Funktionalität in Software zu realisieren, zum anderen, dass die Systeme effizient realisiert werden müssen. In der Konsequenz bedeutet dies die Forderung nach effizienter Software, die bei Benutzung von DSP-, Multimedia- und VLIW-Prozessoren und den zugehörigen C-Compilern bislang nicht erfüllt wird. In diesem Beitrag werden neue Compilertechniken beschrieben, welche die Eigenschaften dieser Prozessoren ausnutzen. Mit diesen Techniken kann annähernd die Codequalität von manuell erzeugten Assemblerprogrammen erreicht werden.

Durch den Äquivalenzvergleich auf der Basis formaler Methoden kann die Gleichheit digitaler Schaltungen bewiesen werden. Die Verfahren können auf Entwürfe mit mehreren Millionen Komponenten angewandt werden. Im Folgenden wird das bei Siemens CT, München, in den vergangenen Jahren entwickelte Werkzeug GateComp beschrieben und dessen Möglichkeiten und Limitierungen aufgezeigt. Es wird praxisnah besprochen, wie dem Anwender Zeit eingespart werden kann und man somit durch den Einsatz formaler Verifikation nicht nur die Qualität steigern, sondern auch die Kosten reduzieren kann.

Die Einsatzfelder für Realzeit-Systeme gewinnen zunehmend an Komplexität. Um den gewachsenen Aufgaben gerecht zu werden, wird vermehrt auf leistungsfähige Standardkomponenten für Soft- und Hardware zurückgegriffen. Zentraler Punkt für den Nachweis der Einhaltung der Zeitbedingungen ist die Kenntnis der Ausführungszeiten der Software. Da aufgrund der rasanten Entwicklung in der Hardware eine detailgetreue Modellierung und Simulatorentwicklung zur Bestimmung der Ausführungszeiten praktisch nicht mehr durchzuführen ist, wird ein Ansatz vorgestellt, durch fundierte Messungen zu einer sicheren und realistischen Abschätzung der Ausführungszeit für den ungünstigsten Fall zu kommen. Dabei wird nicht nur die Applikation an sich, sondern auch der Einfluß eines Realzeit-Betriebssystems betrachtet.