Logiciels Enfouis/Solutions Certification/Bibliothèque C - Safety

Bibliothèque fonctionnelle SAFETY en C

Arm fournit une bibliothèque C spéciale ciblant les applications de sécurité fonctionnelle. la bibliothèque implémente un sous-ensemble restreint de fonctions spécifiées dans la norme ISO C99 C et est fournie avec des directives d'utilisation et des exemples sur la façon de travailler efficacement avec elle.

Bibliothèque run-time ARM en langage C

La bibliothèque run-time Arm  en C se compose de toutes les fonctions définies par la norme de bibliothèque ISO C99. Elle permet aux utilisateurs de redéfinir ces fonctions dans leur propre application. Elle contient aussi des fonctions qui sont appelées implicitement par le compilateur Arm et les extensions Arm, qui ne sont pas définies par la norme de bibliothèque ISO C, mais qui sont incluses dans la bibliothèque.

Bibliothèque C de sécurité fonctionnelle Arm

Cette bibliothèque C spéciale implémente un sous-ensemble restreint de fonctions spécifiées dans le standard du langage C. Les fonctions suivantes sont incluses : 

Fonctions mathématiques (acos, asin, log, etc.)     
Fonctions de manipulation de tampon (memcpy, memset, etc.)    
Fonctions traitement de caractères (isalnum, isalpha, toascii, etc.)
Fonctions de conversion de données (abs, laboratoires, etc.)     
Fonctions de traitement de chaînes de caractères (strcat, strcpy, etc.)

La bibliothèque elle-même est fournie avec des directives d'utilisation et des exemples sur la façon de travailler efficacement avec l'ensemble réduit de fonctions.