<![CDATA[
<BODY>
<H1>www.duv24.net : W. Hohmann: "Testen ist nicht genug"</H1>
<P> <BR>
[<A href="/">www.duv24.net</A>] [<A href="../index.html">back</A>]
</P>
<TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=top>
<TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=TOP CLASS=detailBereichRedaktion>Bereich >
Redaktion
> <B><FONT color="#CC3300">Fachbeiträge</FONT></B></TD>
<TD ALIGN=right VALIGN=bottom CLASS=detailDatum>05.01.2004</TD>
</TR>
</TABLE>
</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailFirma ID=topSpace>Esterel Technologies:</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailTitel>W. Hohmann: "Testen ist nicht genug"</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailSubtitel>Kommentar aus dem D&V TOOL GUIDE 2004</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top>
<TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=top CLASS=detailContent>
<TABLE WIDTH=1 BORDER=0 ALIGN=left CELLPADDING=0 CELLSPACING=0>
<TR>
<TD><IMG width=150 border=0 src="http://www.publish-industry.net/publish-industry/company-resources/publish-industry-master_880519283.gif"></TD>
</TR>
<TR>
<TD CLASS=detailBildunterschrift>WOLFRAM HOHMANN ist Worldwide Industry Marketing Manager Automotive bei Esterel Technologies</TD>
</TR>
</TABLE>
Es stellt keine Besonderheit dar, in modernen Automobilen mehr als 30 Steuerungsgeräte oder ECUs vorzufinden. Software sorgt nicht nur für das Wohlbefinden der Insassen; sie bestimmt in zunehmenden Masse auch die grundsätzlichen Parameter und Eigenschaften des Fahrzeugs. Ohne massiven Softwareeinsatz bliebe die Effizienz der heutigen Antriebsaggregate ebenso ein Traum wie auch die aktive und passive Sicherheit, die selbst in kleineren Baureihen zum Standard gehört. Wer würde noch einen Neuwagen ohne Airbag, ABS und ESP akzeptieren. Und tatsächlich scheint dieser Trend ungebrochen. Man spricht von einer Vervierfachung der Softwarekomplexität alle 18 Monate.<br>Die Abhängigkeit von Software stellt die Qualitätssicherungsabteilungen vor neue Herausforderungen, insbesondere dann, wenn ein Versagen der Software nicht nur ärgerlich ist, sondern Menschenleben kostet. Wir müssen uns folglich die Frage stellen: „tun wir genug, um das fehlerfreie Funktionieren sicherheitsrelevanter Software zu garantieren?“.<br>Der Stand der Technik im Bereich Softwarequalitätssicherung ist von systematischen Tests geprägt; langsam setzt sich auch die Messung der Testabdeckung durch. In der Luftfahrtindustrie ist allerdings seit einigen Jahren ein weiteres Werkzeug im Einsatz, dass in jüngster Zeit auch in der Automobilindustrie vermehrt Aufmerksamkeit erregt: die formale Verifikation, die eng mit modellbasierter Softwareentwicklung verknüpft ist. <br>Während ein Test Fehler sucht, beweist die formale Verifikation deren Abwesenheit. Zu diesem Zweck werden fatale Fehlerzustände einer ECU beschrieben; ein Vorgang, der sich aus der wohlbeherrschten FMEA-Praxis ergibt. Diese so gefundenen Fehlersituationen werden nun modelliert und mit dem zu untersuchenden Softwaremodell verbunden. Eine spezielle ‚Proofengine‘ führt nun einen Theorembeweis durch, um entweder die Unmöglichkeit des Fehlerfalles zu beweisen oder aber Situationen zu finden, in denen das fatale Systemverhalten auftreten kann. Die Toolsuite ‚SCADE Drive‘ von Esterel Technologies ist in der Lage derartige Theorembeweise sowohl für finite Automaten als auch für Datenflussgetriebene Systeme durchzuführen. Man kann erwarten, dass diese Vorgehensweise sehr bald zum Arsenal der Qualitätssicherer gehören wird. Es ist uns allen zu wünschen, dass im Sinne der Sicherheit auf den Strassen bei der Sicherstellung der Softwarequalität die selbe Sorgfalt zur Anwendung kommt, die das Fliegen bereits seit Jahrzehnten sicherer macht.<br> <a href="http://www.publish-industry.net/media/design-verification/dvtg2004/tg0409.pdf" target="_blank">Vollbeitrag als PDF</a></TD>
</TR>
<TR>
<TD CLASS=detailQuelle> </TD>
</TR>
</TABLE>
</TD>
<TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=1 HEIGHT=1 ALT=""></TD>
<TD WIDTH=174 VALIGN=top></TD>
</TR>
<TR>
<TD VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=393 HEIGHT=1 ALT=""></TD>
<TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=28 HEIGHT=1 ALT=""></TD>
<TD WIDTH=174 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=174 HEIGHT=1 ALT=""></TD>
</TR>
</TABLE>
<P><I>Diese Seite wurde am 25.09.2004, 13:13 Uhr aktualisiert</I></P>
</BODY>
]]>