Samenvatting

Rijkswaterstaat is bezig om op alle primaire waterkeringen en andere kunstwerken probabilistisch beheer te introduceren. Centraal in de aanpak van probabilistisch beheer is de risicoanalyse, die sturend is in de testintervallen, gegarandeerde reparatietijd en modificaties. Ook het falen van de gebruikte software is gemodelleerd. Voor de initiële inschatting van de faalkans van de software is de TDT-methode ontwikkeld. In praktijk blijkt deze onbetrouwbare resultaten te leveren.
In opdracht van Rijkswaterstaat heeft een consortium van Det Norsle Veritas, Movares, TU Eindhoven, Logica, Refis en Intermedion een verbeterde methode ontwikkeld, die zowel richtlijnen geeft voor het modelleren van software in foutenbomen als het schatten van de faalkans van de taakuitvoering van een softwaremodule. Deze methode is gerapporteerd en Topaas genoemd. Aan de hand hiervan zijn een aantal experimenten uitgevoerd. De resultaten van de experimenten zijn beschreven in een evaluatie.