Die Ära der VR-Headsets beginnt: Mit Oculus Rift, Project Morpheus oder HTC Vive buhlten auf der gamescom 2015 vor allem drei Geräte um die Gunst der Besucher. Die Darstellung künstlicher Welten ist bei allen ähnlich eindrucksvoll - aber wie interagiert man mit so einer virtuellen Realität?

Software für sicherheitskritische Anwendungen erfordert 100%-ige Anweisungsüberdeckung durch dokumentierte Tests. „Fault Injection“ erlaubt hier eine einfache Prüfung auf mögliche Fehlersituationen.

Um eingebettete Systeme zu testen, lassen sich die Instrumente direkt in den Chip implementieren oder als Softmacro in einen FPGA laden. Allerdings verursachen hohe Geschwindigkeiten auch Probleme.

Die digitale Revolution wird oft als dritter größter technischer Umbruch nach industrieller und elektrischer Revolution bezeichnet. Viele Branchen konnten dank Digitalisierung mit ihren Produkten und Dienstleistungen einen neuen Quantensprung erzielen. Denn: Die Digitalisierung bietet über alle Branchen hinweg Vorteile wie geringere Kosten, höhere Effizienz und schnelleres Wachstum.

An drei Projekten verdeutlicht der vorliegende Beitrag, wie sich mit Verfahren der formalen Verifikation die unterschiedlichsten Ursachen von Funktionsfehlern ermitteln lassen.

Dinge steuern allein mit der Bewegung von Hand und Fingern: Bisher ist das in virtuellen Welten nur mit speziellen Handschuhen möglich. Ein Sensor für Magnetfelder könnte dies ändern - hoffen zumindest seine Erfinder.

Informatiker der Uni Tübingen haben ein Computerprogramm entwickelt, das eine neue Form der künstlichen Intelligenz darstellt. Bei Brain Control kommuniziert man mit virtuellen Figuren in menschlicher Sprache, erklärt ihnen Dinge, gibt Anweisungen oder motiviert sie, Situationen selbst zu erkunden.

Bei der diesjährigen RoboCup-Weltmeisterschaft vom 19. bis 25. Juli in João Pessoa, Brasilien, konnte sich Team Hector der TU Darmstadt in der Rescue-League erstmals den Weltmeistertitel erringen. Außerdem gewann des Team erneut den Preis für den intelligentesten Roboter (Best in Class Autonomy Award).

Mediatek rüstet sich für die Post-Smartphone-Ära: Auf der CES hat das Unternehmen angekündigt, verstärkt Chips für Bereiche wie Daten-Switches, Automotive und auch KI-Lösungen für Edge-Geräte zu entwickeln.

Cogito ergo sum. Ich denke, also bin ich, schrieb der französische Philosoph, Mathematiker und Naturwissenschaftler René Descartes im Jahr 1637. Er lieferte damit eine Definition des Bewusstseins.