Digitale Hardware/ Software-Systeme- P2:Getrieben durch neue Technologien und Anwendungen wird der Entwurf eingebetteter Systeme zunehmend komplexer. Dabei ist eine Umsetzung als Hardware/Software- System heutzutage der Stand der Technik. Die Minimierung von Fehlern im Entwurf dieser Systeme ist aufgrund deren Komplexit¨at eine der zentralen Herausforderungen unserer heutigen Zeit. | 10 1 Einleitung reicher und heterogener werden. Die Schwierigkeit besteht in der Verzahnung funktionaler und nichtfunktionaler Eigenschaften in der sich auch die Durchmischung der Komplexitäten von Anwendung und Implementierung widerspiegelt. So ist es nicht verwunderlich dass ein großer Teil des Aufwands einer Produktentwicklung in die Verifikation fließt. Eine detaillierte Fallstudie 156 zeigt dass der Verifikationsaufwand den Entwurfsaufwand sogar übersteigt. Dennoch lasst es die Komplexitat heutiger Systeme nicht zu dass diese nach dem heutigen Stand der Technik nach wirtschaftlichen Aspekten fehlerfrei entwickelt werden können. Dies wird im Entwurfsdreieck in Abb. dargestellt. Mit jeder Ecke des Dreiecks ist ein Qualitatsmaß assoziiert namentlich Qualitat Kosten und Zeit wobei Qualitat für die Produktqualitat Zeit für die Zeit bis zur Markteinführung und Kosten für die Entwicklungskosten stehen sollen. Bei einer Produktplanung kann man die Vorstellungen für dieses Produkt in das Entwurfsdreieck eintragen wobei ein Qualitatsmaß als um so besser gilt je naher der Punkt an der entsprechenden Ecke steht. Das Entwurfsdreieck zeigt graphisch die Abhangigkeiten der drei Qualitats-maße Es ist nicht moglich ein Produkt mit hochster Produktqualitat zu geringsten Entwicklungskosten in kürzester Zeit auf den Markt zu bringen. Es ist aber z. B. moglich ein Produkt moglichst kostengünstig zu entwickeln. Dies geht dann aber zu Lasten der Qualitat und der Zeit bis zur Markteinführung. Verifikation ist ein qualitatssteigernder Prozess in der Entwicklung eingebetteter Systeme. Mit dem Wissen über das Entwurfsdreieck muss man allerdings immer wieder kritisch hinterfragen ob die gewünschte Qualitat erreicht ist bzw. wie viel Verifikation noch notig und wirtschaftlich vertretbar ist. Dabei darf man allerdings nie aus den Augen verlieren dass ein Fehlverhalten oder Ausfall im Betrieb enorme Kosten nach sich ziehen und sogar einen Reputationsverlust für das Unternehmens bedeuten
