Embedded-Systeme arbeiten bislang meist mit Controllern mit wenigen Prozessorkernen. Doch die Anforderungen steigen, etwa weil mehr parallele Datenverarbeitung gefordert ist. Neue Lösungen sind gefragt.

Im Zeitalter der zunehmenden Vernetzung sind einige Anstrengungen nötig um sicherzustellen, dass das Risiko von Cyber-Security Attacken nicht zu gefährlichen Situationen führt. Mit Hilfe von Modelbasiertem Design und statischer Analyse lassen sich Applikationen absichern, standard-konform entwickeln und dennoch perfomant implementieren.

Variantenmodellierung hilft dabei, die Entwicklung von Produktlinien zu vereinfachen und konsistent zu halten. Die Methode Orthogonal Variability Modeling (OVM) zeigt in der Praxis zunehmend ihre Stärken.

Auch wenn es noch Jahrzehnte bis zu einem vollautonomen Betrieb von Fahrzeugen dauern kann – in Drohnen, Robotern und U-Booten entwickelt sich die Technologie bereits. Das kann sich auch die Automobilindustrie für ihre Systeme abschauen: Nicht komplett ohne den Menschen zu arbeiten, sondern ihn via Teleoperation einzubinden.

Datenbanken müssen immer leistungsfähiger werden. Darunter scheint jedoch die Zuverlässigkeit zu leiden. Jetzt haben ETH-​Informatiker ein Tool entwickelt, das mit drei unterschiedlichen Methoden automatisch logische Fehler in Datenbanksystemen aufspürt. Bisher konnten damit über 450 Bugs gefunden und behoben werden.

Fast jede Woche lesen wir von einem vernetzten System, das kompromittiert wurde. Die Schätzungen über die Kosten von Cyberangriffen gehen weit auseinander, was zum Teil daran liegt, dass es einigen Unternehmen zu peinlich ist, öffentlich zuzugeben, dass sie gehackt wurden.

Mit Windows 95 verschmolz Microsoft MS-DOS und Windows zu einem Betriebssystem - und löste eine kleine PC-Revolution aus. Teil 2 der Windows-Retrospektive widmet sich dem Durchbruch von Windows als meist genutztes OS – bis hin zum ersten Flop der Familie.

Teil 3 der Norm IEC 61508 richtet sich an Software-Entwickler sicherheitsgerichteter Systeme. Da viele Softwarefehler auf Spezifikationsmängeln und mangelnder Transparenz in den Abläufen basieren nehmen Entwicklungsprozesse und Methoden in der Norm einen breiten Raum ein.

Wie lassen sich zahlreiche Maschinen auf eine Weise an die Cloud bringen, die sichere Updates ermöglicht, zuverlässige Fernüberwachung gewährleistet und zugleich ressourcenschonend ist? Das Open-Source-Protokoll Lightweight M2M (LwM2M) bietet einen vielversprechenden Ansatz.

FreeRTOS ist der Platzhirsch unter den freien Betriebssystemen für Geräte mit limitierten Ressourcen. Der im Moment am stärksten wachsende Rivale ist Zephyr. Was sind die Unterschiede?