Die Produktreihe unterstützt nun auch ARM 9, C166, C166SV2, Cortex A9, Cortex M3, Cortex M4F, Cortex R4F, PPC e200 und PPC e500. Neben dem Zertifikat und der Zertifizierungsdokumentation enthalten die CERT-Kits auch ein ausführbares System sowie eine vollständige Validierungssoftware.
Das in den Cert-Kits enthaltene System dient primär der Überprüfung, ob der vorzertifizierte Quellcode des Echtzeitkernels vom Client korrekt implementiert und der Echtzeitkernel mit der korrekten Konfiguration erfolgreich generiert wurde. Zu diesem Zweck erstellt die auf dem jeweiligen Evaluierungsboard ausgeführte Validierungssoftware einen Bericht, der diesen Schritt dokumentiert. Die Hardwarekonfiguration kann anschließend für das kritische Sicherheitsprojekt angepasst oder optional als vollständiger Ersatz für die Hardware-Zugriffsschnittstelle (auch bekannt als Business Process Support Interface) verwendet werden. Ein weiterer Durchlauf der Validierungssoftware generiert einen Bericht, der den korrekten Betrieb des Echtzeitbetriebssystems bestätigt.
Die CERT-Kits enthalten alle notwendigen Elemente zur Erstellung einer ausführbaren Anwendung. Dazu gehören zertifizierter Quellcode, verschiedene Softwarehandbücher (z. B. zu Sicherheit, Zielplattformintegration, Benutzer- und Referenzhandbüchern) sowie das Systemhandbuch. Das CERT-Kit enthält außerdem Validierungssoftware wie ein Referenz-BSP (Board Support Package) und das TÜV-Zertifikat zur Homologation der vorzertifizierten Softwarekomponente. Auf Anfrage wird dem Kunden auch die Testumgebung zur Verfügung gestellt. Optional oder falls für die Zertifizierung erforderlich, ist das vollständige zusätzliche Zertifizierungsdokumentationspaket erhältlich. Soll die Hardware-Programmierschnittstelle der CERT-Kits in einem sicherheitskritischen Projekt eingesetzt werden, werden alle notwendigen Elemente für die Zertifizierung ebenfalls bereitgestellt.
„Wir unterstützen unsere Kunden in allen Phasen der Zertifizierung – von der Planung bis zur Zertifizierung durch den TÜV“, erklärt Thomas Amann, Geschäftsführer von Embedded Office. „Darüber hinaus zertifiziert Embedded Office das BSP und entwickelt Selbsttestbibliotheken. Diese Bibliotheken ermöglichen den Betrieb sicherheitskritischer Anwendungen auf den Mikrocontrollern. Sie enthalten detaillierte Diagnosemethoden, die durch die Durchführung grundlegender Sicherheitstechnologietests die einwandfreie Funktion des Controllers gewährleisten. Die Selbsttests dienen der Erkennung und Behebung von Fehlern. Diese Tests umfassen CPU-Befehls- und Registertests, PLL-Takt, Boot-RAM, Online-RAM, Überwachungssoftware und Flash-Tests.“
Embedded Office blickt auf langjährige Erfahrung im Bereich IT-Sicherheit zurück. Das nach DIN EN ISO 9001 zertifizierte Unternehmen ist mit seinen Softwarekomponenten und individuellen Beratungsleistungen bereits in zahlreiche kritische Sicherheitsprojekte involviert. Auf Wunsch wird Kunden auch eine Testumgebung zur Verfügung gestellt.
