Karamba Security hat bekannt gegeben, dass ihre Control Flow Integrity (CFI)-Technologie erstmals erfolgreich auf Steuergerätesoftware angewendet wurde, die auf Vectors Classic-AUTOSAR-Lösung MICROSAR basiert.

Die Wind River Helix Virtualization Platform hat die Konformität mit dem Future Airborne Capability Environment (FACE) Technical Standard Edition 3.0 erlangt. Die Zertifizierung bescheinigt die Konformität der Helix Plattform als Operating System Segment (OSS), das das Safety Base und Security Profile unterstützt.

Green Hills Software hat zusammen mit Apex.AI ein für die Serienfertigung gerechtes ROS-2-kompatibles Entwicklungs-Framework für betriebs- und datensichere Transportlösungen vorgestellt. Dabei handelt es sich um eine hochoptimierte Softwareplattform, die die Sicherheit des INTEGRITY RTOS mit dem Apex.OS von Apex.AI, einem Fork des offenen Robot-Betriebssystems ROS 2, in Echtzeit kombiniert – zuverlässig, deterministisch und zertifiziert für sicherheitskritische Anwendungen.

Die aktuellste Version der Universal Debug Engine (UDE) von PLS bietet nun auch umfangreiche Analyse-, Test- und Debugging-Funktionen für die neueste AURIX-Mikrocontroller-Generation von Infinion.

Interferenzen in Multicore-Systemen können kritische Auswirkungen auf Echtzeit- und Safety-kritische Awendungen haben, da sie den Determinismus und die Bereitstellung von Programmabläufen beeinträchtigen. Green Hills hat nun besondere Eigenschaften zur Interferenz-Abschwächung in ArmV8-Multicore-Systemen in sein RTOS INTEGRITY-178 Time-Variant Unified Multi-Processing (tuMP) integriert.

Mit Windows 10 IoT Core stellt Microsoft eine Windows-10-Version zur Verfügung, die für Geräte ohne Monitor entwickelt wurde. Da auch diese Version die Universal Windows Platform nutzt, ist deren Einsatzgebiet sehr flexibel.

Verifysoft Technology hat Version 9.1.3 des Code-Coverage-Tools Testwell CTC++ veröffentlicht. Testwell CTC++ kann für die Messung der Testabdeckung auf dem Host sowie auf Embedded Targets genutzt werden und bietet im neuesten Release unter anderem mehr Kontrolle über die Benennung der Dateien mit Coverage-Daten. .

Für verschiedene Probleme lassen sich nur durch Annäherung bzw. Approximation optimale Lösungen finden. Durch einen geeigneten Approximationsalgorithmus versuchen Informatiker, sich dem optimalen Ergebnis anzunähern, so etwa in der Graphentheorie, die Beziehungen in Netzwerken darstellt.

Während agiles Software Engineering stark verändert hat, wie in der Praxis Software entwickelt wird, spielt es bei sicherheitskritischen Systemen noch eine untergeordnete Rolle. Die Integration von Sicherheitsanalysen in ein Vorgehen nach Scrum ist aber möglich ohne an Agilität zu verlieren.

Das Tracing-Framework des Linux-Kernels bietet umfangreiche Unterstützung für gängige Hardware-Interfaces wie GPIO's, I2C, SPI und MMC. Für viele Anwendungsfälle kann auf den Einsatz eines Oszilloskops zur Aufzeichnung des Busverkehrs sogar verzichtet werden. Wie funktioniert das und was kostet dies an Performance?