Logiciel libre et sûreté de fonctionnement - Cas de systèmes critiques

Introduire des logiciels libres dans les systèmes critiques semble risqué de par les fortes contraintes qui régissent ces systèmes : exigences de sûreté de fonctionnement, normes de développement drastiques, certification. Toutefois, les logiciels libres sont en pleine expansion et leur usage dans les applications industrielles se confirme, démontrant une véritable évolution de la pratique de l'utilisation des logiciels dans les entreprises.
Celles-ci doivent donc s'adapter et trouver des solutions pour rapprocher les pratiques de ce monde du libre des contraintes du domaine industriel. Les logiciels libres sont, sur certains points, comparables aux logiciels commerciaux sur étagères (COTS) qui sont déjà exploités dans les systèmes critiques. Logiciel libre et sûreté de fonctionnement part donc des solutions avancées pour l'utilisation des COTS au sein des systèmes critiques, puis étend l'analyse aux caractéristiques spécifiques des logiciels libres.
Il propose des solutions pour gérer les impacts de leur exploitation et pour permettre aux entreprises de ne plus seulement être utilisatrices mais actives dans la création de nouveaux logiciels libres.