Anonim

Anfang des Jahres veröffentlichte Professor Jesse Poore von der University of Tennessee einen Artikel mit dem Titel „Eine Geschichte aus drei Disziplinen… und einer Revolution“, in dem er drei Bereiche der Ingenieurwissenschaften verglich: Schaltungstechnik, Gentechnik und Softwaretechnik.

Professor Poore wies darauf hin, dass die Schaltungstechnik 1938 Hand in Hand mit der Booleschen Algebra geboren wurde. Der Grund: Es war wirtschaftlicher, Schaltungen mit Mathematik zu entwerfen, als sie einfach zu bauen und zu hoffen, dass sie richtig sind.

Das Umgekehrte gilt natürlich für die Softwareentwicklung. Es ist seit langem der Ansicht, dass es viel billiger ist, Softwaresysteme zu erstellen, als sie zu entwickeln und mathematisch zu gestalten. Softwareentwicklung ist bestenfalls eine schlampige Ingenieurdisziplin.

n

Ich hatte kürzlich die Ehre, mit Professor Poore zu sprechen. In Bezug auf das Design von Asic und SOC hatte er gehofft, dass der rigorose Ansatz des Logikdesigns, den die Schaltungsingenieure in den letzten 65 Jahren entwickelt hatten, auch auf die für Asics entwickelte Software und über diesen Weg auf die Disziplin von angewendet werden würde Logik-Engineering würde seinen Weg in die Software-Entwicklung finden.

Er bemerkte jedoch, dass dies leider nicht der Fall zu sein schien und dass sich die Schlamperei der Softwareentwicklung tatsächlich in die höheren Ebenen des Hardware-Designs einzuschleichen schien.

Eines der interessanten Dinge beim Hardware-Design ist, dass es immer klar ist, dass das Beheben von Defekten in Chips sehr teuer ist. Dies ist bei reinen Softwareprodukten bei weitem nicht so klar.

Vielleicht können wir hoffen, dass 2005, wenn mehr Software in Silizium eingebrannt wird, eine schaltungstechnisch motivierte Erkenntnis bringt, dass es einfach unwirtschaftlich ist, weiterhin schlampige Softwaresysteme zu bauen, und dass die mathematische Überprüfung von Softwaredesigns vor deren Erstellung der einzige Weg ist, dies zu erreichen Der Grad der erstmaligen richtigen Implementierung, den die Schaltungstechnik seit mehr als sechzig Jahren genießt.