La gamme prend désormais également en charge les architectures ARM 9, C166, C166SV2, Cortex A9, Cortex M3, Cortex M4F, Cortex R4F, PPC e200 et PPC e500. Outre le certificat et la documentation de certification, les kits CERT incluent également un système exécutable ainsi qu'une solution logicielle de validation complète.
Le système fourni dans les kits de certification sert principalement à vérifier si le code source pré-certifié du noyau temps réel a été correctement implémenté par le client et si ce dernier a généré avec succès le noyau temps réel avec la configuration requise. À cette fin, le logiciel de validation exécuté sur la carte d'évaluation dédiée génère un rapport qui documente cette étape. La configuration matérielle peut ensuite être adaptée au projet de sécurité critique ou, en option, utilisée en remplacement complet de l'interface d'accès matériel (également appelée interface de support des processus métier). Une nouvelle exécution du logiciel de validation génère un rapport attestant du bon fonctionnement du système d'exploitation temps réel.
Les kits CERT comprennent tous les éléments nécessaires à la création d'une application exécutable. Ceux-ci incluent le code source certifié, divers manuels logiciels (sécurité, intégration cible, utilisateur, référence) ainsi que le manuel système. Le kit CERT contient également un logiciel de validation, tel qu'un BSP (Board Support Package) de référence et le certificat TÜV relatif à l'homologation du composant logiciel pré-certifié. Sur demande, l'environnement de test peut être mis à la disposition du client. En option, ou si nécessaire pour la certification, le dossier complet de documentation de certification est disponible. Si l'interface de programmation matérielle des kits CERT est utilisée dans un projet critique pour la sécurité, tous les éléments nécessaires à la certification sont également fournis.
« Nous accompagnons nos clients à chaque étape de la certification, de la planification à la certification auprès des organismes d'évaluation et de certification TÜV », explique Thomas Amann, directeur général d'Embedded Office. « De plus, Embedded Office certifie le BSP et développe des bibliothèques d'autotest. Ces bibliothèques permettent l'exécution d'applications critiques pour la sécurité sur les microcontrôleurs. Elles contiennent des méthodes de diagnostic détaillées qui garantissent le bon fonctionnement du contrôleur en effectuant des tests de sécurité fondamentaux. Les autotests servent à détecter et à résoudre les pannes. Ces tests incluent des tests d'instructions et de registres du processeur, de l'horloge PLL, de la RAM de démarrage, de la RAM en ligne, du logiciel de surveillance et de la mémoire flash. »
Embedded Office bénéficie d'une longue expérience dans le domaine de la sécurité. Certifiée selon la norme DIN EN ISO 9001, l'entreprise participe déjà à de nombreux projets de sécurité critiques grâce à ses composants logiciels et ses services de conseil personnalisés. Un environnement de test peut également être mis à la disposition des clients sur demande.
