eSOL hat das eMCOS-RTOS für Systeme mit vielen Kernen (1 bis 1024 oder mehr) zur Steuerung autonomer Fahrsysteme entwickelt. eSOL muss eine vollständig getestete Standard-Programmier-API bereitstellen, um sicherheitszertifizierte Betriebssysteme und Plattformen mit POSIX- oder AUTOSAR-Programmierumgebungen anbieten zu können. Um dies zu erreichen, hat sich eSOL entschieden, die SuperTest-Suite von Solid Sands als Teil der internen Validierung einzubeziehen. Der folgende Blog erläutert die Vorteile, die dieser Ansatz für die Entwicklung funktionaler Sicherheitssoftware bietet. (oe)
Link zum Tool SuperTest