T'aurais confiance dans un OS à base de Gnu/Linux dans une centrale nucléaire ? Moi pas.
Pour répondre au message précédent, mieux vaut un OS spécialisé développé par 5 experts qui connaissent des méthodes de développement fiable (méthodes formelles comme B) et les appliquent (bien que celà coûte très cher à faire), plutôt que quelques centaines de personnes qui développent un OS (Linux) sans être vraiement spécialisé dans la sécurité. Le fait qu'il y est 100 millions de testeurs ne changent strictement rien : dans ce genre de cas on rigole pas avec les probabilités et autres chiffres qui ne démontre strictement rien du tout.
[^] # Re: Mouarf
Posté par TImaniac (site web personnel) . En réponse au journal Dassault / Microsoft. Évalué à 4.
Pour répondre au message précédent, mieux vaut un OS spécialisé développé par 5 experts qui connaissent des méthodes de développement fiable (méthodes formelles comme B) et les appliquent (bien que celà coûte très cher à faire), plutôt que quelques centaines de personnes qui développent un OS (Linux) sans être vraiement spécialisé dans la sécurité. Le fait qu'il y est 100 millions de testeurs ne changent strictement rien : dans ce genre de cas on rigole pas avec les probabilités et autres chiffres qui ne démontre strictement rien du tout.