Le certification logicielle est la démonstration formelle qu’un système est correspond à des exigences spécifiques et est acceptable pour une utilisation opérationnelle. Le processus de certification est l’évaluation qu’un système est conforme à un ensemble de critère prédéterminé. Ces critères peuvent consister en un ensemble de standards, règles ou propriétés, ainsi que des niveaux de conformité.
Le CETIC se concentre sur des contextes de certifications et standards spécifiques suivants :
- le développement logiciel pour les très petites entreprises, suivant la norme ISO29110 sur base de la méthode OWPL
- les logiciels critiques en sécurité, selon la norme des critères communs
- les logiciels critiques en sûreté de fonctionnement et plus particulièrement dans le domaine aéronautique, selon la norme DO178B
