Abstract FR:

Ce memoire presente des travaux et des resultats, aussi bien theoriques que pratiques, concernant la modelisation et l'evaluation de la croissance de fiabilite et de la croissance de disponibilite des systemes informatiques selon une approche boite noire et aussi selon une approche boite blanche. Nous considerons deux types de representation du comportement des systemes: une representation en temps continu permettant de caracteriser et d'evaluer l'evolution dans le temps des mesures de surete de fonctionnement d'un systeme materiel et logiciel, et une representation en temps discret, plus adaptee au logiciel, permettant de caracteriser l'evolution de la fiabilite d'un systeme en fonction du nombre d'executions effectuees. Les travaux presentes dans ce memoire s'articulent autour de deux modeles de croissance de fiabilite: le modele hyperexponentiel en temps continu et le modele hyperexponentiel en temps discret. Le premier est un modele deja existant; nous etudions ses principales caracteristiques de facon plus approfondie et nous l'utilisons dans le cadre d'une approche de modelisation, utilisant les reseaux de petri stochastiques generalises, permettant de modeliser la croissance de surete de fonctionnement d'un systeme a partir de celle de ses differents composants. Le deuxieme est un nouveau modele qui permet d'une part, de modeliser la croissance de fiabilite d'un logiciel en fonction du nombre d'executions effectuees, et d'autre part, de tenir compte de certaines caracteristiques de l'environnement d'utilisation du logiciel dans l'evaluation de son comportement tel qu'il est percu dans chacun des environnements dans lequel il est utilise. Ce modele constitue egalement la base d'une approche de modelisation en temps discret de la croissance de fiabilite de logiciels multi-composant