Les bibliothèques BLAS et LAPACK sont-elles conformes à la norme MISRA?

Je suppose que la réponse est non . Cependant, je me demandais si quelqu’un avait un aperçu de ce sujet.

Les bibliothèques BLAS et LAPACK sont-elles conformes aux normes MISRA? Les normes MISRA (MISRA C: 1998, MISRA C: 2004, MISRA C: 2012) sont extrêmement exigeantes et je pense que les bibliothèques BLAS et LAPACK ne s’y conforment pas. Par conséquent, je ne devrais pas utiliser de telles bibliothèques si mon projet de logiciel exige la conformité MISRA.

Toute compréhension de cette question serait extrêmement appréciée 🙂

À moins que la bibliothèque ne soit activement annoncée comme conforme à la norme MISRA-C, il est assez prudent de supposer que ce n’est pas le cas.

Vous pouvez appliquer divers niveaux de rigueur à votre projet. Soit vous faites un “MISRA light” où votre propre application répond à MISRA mais pas les bibliothèques. Ou vous exigez que toutes les bibliothèques, y compris les bibliothèques standard, soient conformes à MISRA.

Le premier est correct si vous utilisez simplement MISRA comme standard anti-bugs. Toutefois, si vous utilisez MISRA en raison d’exigences de sécurité, toutes les bibliothèques doivent être conformes, y compris dans une certaine mesure la bibliothèque standard du compilateur (si utilisée).

Permettez-moi de vous signaler MISRA Compliance: 2016, qui traite plus en détail de l’épineux problème de la mise en conformité MISRA – et peut être adapté à N’IMPORTE QUELLE des directives linguistiques MISRA.

La section sur le code adopté devrait aider à répondre à votre question – et en termes simples, à moins que la bibliothèque ne propose un résumé de conformité approprié, la réponse est non.

La question de savoir si vous devez utiliser de telles bibliothèques dans le code de production est une affaire pour vous (et votre projet) – une documentation appropriée (et une V & V supplémentaire peut être adéquate) – et cela affectera votre propre conformité.

{s’il vous plaît noter le profil pour disclaimer}