De halfgeleiderindustrie heeft grote behoefte aan zeer betrouwbare software. Veel producenten bewegen zich niet alleen op de cutting edge van de technologie, maar ook op de bleeding edge van de economie. Rob Howe van Verum pleit voor het gebruik van formele methoden bij het ontwerpen van software. Voor Bits&Chips verhaalt hij over een pilotproject waarin het bedrijf aantoonde softwareontwerpfouten in een vroeg stadium op te kunnen sporen.
Halfgeleiderproductiemachines zijn kostbare kapitaalgoederen. Individuele machines vergen al snel investeringen van vele miljoenen dollars en productielijnen kunnen grote aantallen van deze machines bevatten. De gemiddelde verkoopprijs van IC‘s worden echter gemeten in enkele dollars. Binnen steeds kortere periodes moeten de kosten van deze apparatuur worden afgeschreven. Daarom moeten halfgeleiderproductiemachines een hoge beschikbaarheid en grote mean time between failures (MTBF) hebben om voor klanten economisch verantwoord te zijn.
Software speelt een centrale rol bij dit soort machines. De omvang en complexiteit van de programmatuur neemt enorm toe doordat producenten inspelen op de marktwensen voor meer efficiëntie, beschikbaarheid en flexibiliteit. Het is niet ongebruikelijk dat de productieapparatuur vele miljoenen regels code bevat. Dit betekent dat veel producenten de grenzen van de huidige softwareontwikkeltechnieken opzoeken. Een machine met miljoenen regels software moet een zeer lage foutdichtheid hebben om realistische beschikbaarheids- en MTBF-doelstellingen te kunnen bereiken.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.