Normenkonforme Entwicklung sicherheitskritischer Anwendungen
Embedded Office hat sein µC/OS-MPU Cert-Kit auf Alteras Cyclone V SoCs mit ARM Cortex A9-Prozessor angepasst und in ein Starterkit gegossen. Damit beabsichtigt der Hersteller, den Prozess zur Zertifizierung und Zulassung elektonischer Bauteile zu vereinfachen und zu beschleunigen. Altera kann somit ein gemäß IEC61508-Standard vorzertifiziertes RTOS mit Funktional-Safety-Modulen (IP-Blöcke) im FPGA-Bereich als Lösung anbieten.
Das Kit enthält alle Elemente, um eine lauffähige Applikation zu erstellen. Dazu gehören zertifizierter Quellcode, Software-Handbücher wie Safety-, Target-Integration-, User-, Reference- und System-Manual, Validierungssoftware inklusive Referenz-BSP und das TÜV-Zertifikat über die Typ-Prüfung. Für sicherheitskritische Projekte bietet die vorzertifizierte Softwarekomponente Services: Semaphoren, Mutual-Exclusion Semaphoren, Event-Flags, Message-Mailboxes, Message-Queues, Speichermanagement, Task-Management, SW-Timer-Management und einen Stack-Monitor. Darüber hinaus gestattet sie durch geregelte Änderungen der Konfigurationen die Anpassung aller Services an die Projektanforderungen und schützt die Speicherbereiche von Prozessen gegen Schreibzugriffe aus anderen Prozessen.
