Das Android-Betriebssystem wird seit Jahren in einer Vielzahl von eingebetteten Systemen eingesetzt. Dabei kann es hochgradig und weitreichend an die spezifischen Einsatzkontexte angepasst werden. Welche Arten von Anpassungen erlaubt Android, wie sind diese in der Android-Architektur umgesetzt?

Outsourcing von Testdienstleistungen liefert schnellere und bessere Ergebnisse als die Inanspruchnahme firmeninterner Ressourcen - so die Erwartung. In der Realität ist dies möglich, aber keinesfalls immer der Fall. Unter welchen Voraussetzungen ist Outsourcing von Test- und anderen qualitätssichernden Dienstleistungen im agilen Umfeld möglich?

radCASE und das QP/QM-Framework sind zwei Werkzeuge für modellbasiertes Software-Engineering (MBSE), die oberflächlich viele Gemeinsamkeiten haben, die sich aber durch ihre Eigenheiten und Features signifikant unterscheiden. Was ist der grundlegende Unterschied zwischen den Tools – und wann sollte man was bevorzugen?

Das Waiblinger Software-Unternehmen QA Systems, Anbieter von Unit- und Integrationstesttools, eröffnet ein Büro in Vietnam, um das anhaltende Wachstum in der Region zu unterstützen.

Wenn es um Safety-Zertifizierung geht, können ursprünglich für andere Projekte entwickelte Standardelemente nicht so einfach in neuen Code implementiert werden. ISO 26262 spricht hierbei von „Safety Elements out of Context“ (SEooC). Wobei handelt es sich hier genau, und was gibt es bei der Implementierung solcher Elemente zu beachten?

Gerade in kritischen Systemen ist es essentiell, dass deren Software alle Funktionalitäten korrekt implementiert und keine Fehler enthält. Formelle Methoden lösen dabei traditionelle Tests mehr und mehr ab.

Gängige Bedrohungsszenarien zur Künstlichen Intelligenz warnen vor ihren vermeintlich überlegenen Fähigkeiten. Die wahre Gefahr liege aber eher in ihrer Überschätzung und im blinden Vertrauen in die ihre nur scheinbare Objektivität, meinen Chemnitzer Professoren. Sie plädieren: KI muss nachvollziehbar sein!

Ob Safety- oder Security-Richtlinien wie MISRA:C oder einheitliche Guidelines für hauseigenen Programmcode: Es gibt viele Gründe, warum Firmen von ihren Softwareentwicklern verlangen, sich an Programmierrichtlinien zu halten. Aber ist das auch immer sinnvoll?

NewTec erweitert seine Geschäftsführung: Ab dem 1. Januar 2019 ist Frank Haberbosch auf Geschäftsführungsebene verantwortlich für Organisation. Matthias Wolbert rückt in die Zuständigkeit für Vertrieb und Marketing auf.

SYSGO hat für seinen PikeOS Hypervisor die Zertifizierung nach Common Criteria EAL 3+ erhalten. Gegenstand der Zertifizierung durch das Bundesamt für Sicherheit in der Informationstechnik (BSI) ist der Separation Kernel in PikeOS, der durch räumliche und zeitliche Partitionierung eine strikte Trennung von Anwendungen gewährleistet, die auf derselben Hardware laufen.