Re: Mouarf

Oui je le crois. Le mouvement des logiciels a montré qu'ils étaient capables de faire des logiciels de tous les jours, mais désolé je n'ai vu aucun logiciel de centrale nucléaire sous GPL. Les petites mains comme tu dis sont pour la plupart incompétent en matière de sécurité informatique (la vrai, je parle pas de savoir éviter les débordement de tampon dans un serveur) : le noya Linux n'est pas mieux que le reste, c'est un vrai gruyère à bugs comme la pluparts des logiciels, propriétaires ou non. Ils sont suffisament "sûr" pour qu'on leur accorde une certaine confiance pour gérer un serveur, une base de données, voir des informations bancaires (quoique ils se posent des questions), mais il y a toujours un risque, et dans des secteurs critiques comme le nucléaire ou les transports (pas la voiture évidemment qui a beaucoup moins de conséquences) ont rigole pas du to avec ça : ils utilisent des experts en méthodes formelles, développent des "petits" logiciels sur lesquels ils peuvent avoir une confiance presque "absolue" (il y aura toujours des failles : mauvaises spécif, matos non prouvable) : seulement voilà ca coûte extrêment cher en homme/année, car on code pas 140 lignes en 10 minutes. Ce coût me fait dire que les LL seront pendant encore longtemps à "l'écart" de ce genre de pratique, parcqu'il ne suffit plus d'avoir une grappe de geek et de testeurs qui savent tapoter sur irc et rentrer une valeur dans bugzilla.