[APPLICATION SOLID SANDS] Les développeurs de logiciels ne doivent pas supposer que les outils et composants du commerce (COTS), tels que les compilateurs et bibliothèques standard, sont exempts d'erreurs, ou que leur préqualification implique qu’ils le soient. En générant un rapport de qualification complet adapté aux besoins de l'organisme de certification, Solid Sands montre ici comment il est possible de démontrer l'intégrité des composants de bibliothèque utilisés dans les applications à sûreté critique.

Pour une qualification de la bibliothèque standard C dans des applications à sûreté critique, un article de Marcel Beemster, directeur technique de Solid Sands, à télécharger et à lire au format PDF.