Vérifications de Systèmes Logiciels
Les prestations de vérifications de systèmes et de logiciels sont des prestations définies précisément au cas par cas. En effet, les objectifs et les référentiels applicables déterminent complètement la démarche et les moyens de vérification. Toutefois, tous se fondent sur :
- L'analyse documentaire
- L'analyse architecturale
- L'analyse de code.
Parmi les cas traités par SafeRiver, citons la recherche des causes d'un événement redouté a posteriori, la redocumentation complète d'un très gros logiciel embarqué, l'analyse de composants de logiciels libres pour leur intégration dans des applications sensibles ou critiques. Dans ce cas, l'analyse débouche notamment sur des recommandations de fiabilisation.