Echtzeit-Kernel MPU-Zertifizierungskit vereinfacht Entwicklung sicherheitskritischer Software

Der Echtzeitspezialist Embedded Office aus Wangen im Allgäu hat ein Set vorgestellt, das es erleichtert, zertifizierte sicherheitskritische Applikationen um den Kernel µC/OS-MPU zu entwickeln. Der Kernel wartet auf geeigneten Chips mit Hardware-unterstütztem Speicherschutz für Anwendungs-Threads auf.

Anbieter zum Thema

Incap Electronics Germany GmbH

ISH Ingenieursozietät GmbH

Syslogic GmbH

Embedded Office GmbH & Co. KG

Das Kürzel MPU steht für Memory Protection Unit und bedeutet soviel wie Speicherschutz-Einheit. Das bedeutet, dass jedem Programmstrang (Thread) ein fester Datenspeicherbereich zugeordnet wird, der nicht von einem anderen Thread belegt oder überschrieben werden kann. Moderne Mikrocontroller wie zum Beispiel einige Vertreter der ARM Cortex-M-Familie verfügen über eine solche MPU.

Macht die Embedded-Software Gebrauch von der Hardware-seitigen MPU, dann kann das Programm den Hardware-Schutzmechanismus nicht umgehen. Der Echtzeit-Kernel µC/OS-MPU, der diese Schutzvorrichtung unterstützt, ist eine Variante des Betriebssystemkerns µC/OS-II, das sich dank seiner geringen Hardwareanforderungen und der Verfügbarkeit für zahlreiche Prozessorplattformen in der Embedded-Welt etabliert hat.

Embedded Office aus Wangen im Allgäu hat nun den Kernel µC/OS-MPU auf der Hardwareplattform STM32F103, einer Ableitung des Cortex-M3-Chips von ARM, nach dem IEC-Standard 61508 zur Entwicklung sicherheitsrelevanter elektronischer beziehungsweise elektrischer programmierbarer Systeme zertifiziert. Dieser Nachweis bietet die Flexibilität, die Zertifizierung mit geringem Aufwand an andere Prozessoren und andere Normen anzupassen.

Um diese Aufgabe zu erleichtern, hat Embedded Office ein Zertifizierungskit vorgestellt, das interessierten Softwareentwicklern sowohl den Quelltext des Kernels, verschiedene Handbücher und Dokumentationen sowie das TÜV-Zertifikat zur Verfügung stellt. Auf Wunsch können Kunden auch die Testumgebung erhalten.

„Mit dem MPU Zertifizierungskit bieten wir eine vorqualifizierte Komponente, die die Entwicklung sicherheitskritischer Anwendungen erleichtert und den Zertifizierungsprozess in erheblichem Maße reduziert“, erläutert Thomas Amann, der Geschäftsführer von Embedded Office, die Zielrichtung des Produkts.

(ID:38148520)