Dimmunix: exit les bugs

Une nouvelle approche pour gérer les conflits entre logiciels a été développée par le Laboratoire de George Candea, à l'EPFL (Ecole Polytechnique Fédérale de Lausanne). La dernière version de Dimmunix, disponible en ligne, permet à un réseau d'ordinateurs de coopérer pour éviter les bugs.

Le nouvel outil, développé par le Laboratoire des systèmes fiables, "Dimmunix", permet de contourner les bugs survenant dans les logiciels sans intervention du programmeur ni de l'utilisateur. Cette approche, appelée "immunité d'échec", permet aux programmes de développer leur capacité à éviter les occurrences futures d'un problème. La première fois qu'un bug survient, par exemple un blocage dans le plugin d'un navigateur, ce nouvel outil pose un point de repère, "observe" ce que fait l'ordinateur et garde des traces. Lorsque le conflit apparaît à nouveau, il ressort automatiquement ce qu'il a gardé en mémoire et altère l'exécution pour que le programme continue à fonctionner.

"Dimmunix peut être comparé à un système immunitaire humain qui produit des anticorps lorsqu'il est infecté par certaines maladies. Lorsqu'il rencontre à nouveau le même pathogène, il le reconnaît, et sait comment faire pour ne pas développer la maladie", explique George Candea, directeur du DSLab. La dernière version, mise en ligne fin décembre (http://dimmunix.epfl.ch/), permet une utilisation en réseau. Basée sur le principe du “cloud computing”, tous les ordinateurs faisant partie de la communauté Dimmunix bénéficieront d'un "vaccin" produit automatiquement lorsque la première erreur apparaît dans la communauté. Cette nouvelle version de Dimmunix est capable de protéger de manière sûre les logiciels des bugs, même dans des environnements non dignes de confiance, comme Internet et le Web.

Pour l'instant destiné à un public connaissant la programmation informatique, il fonctionne pour tous les logiciels courants utilisés par des privés ou des entreprises. Compatible avec les languages Java et C/C++, il a été testé sur des systèmes réels (JBoss, MySQL, ActiveMQ, Apache, httpd, JDBC, Java JDK et Limewire).