Von Code über Software-Pakete und -Bibliotheken bis hin zu ganzen Anwendungen: Open Source ist ein wichtiger Faktor für den florierenden Entwicklermarkt. Aber wie kann man mit – und vielleicht sogar dank – allgemein zugänglichem Code wirklich sicher arbeiten.

Assertions bringen unmittelbare Vorteile für den gesamten Design- und Verifizierungszyklus. Sie erleichtern das Erkennen funktioneller Fehler, ermöglichen es dem Anwender, Fehler näher an der eigentlichen Ursache zu finden, und sorgen dafür, dass Fehler frühzeitig im Entwicklungsprozess gefunden werden. Alle Herausforderungen, vor denen Ingenieure bei der Kodierung und Prüfung von Assertions stehen, sind es wert, gelöst zu werden.

Wie entsteht aus geschriebenem C-Code ein Programm, dass das Zielsystem auch versteht und Umsetzen kann? In diesem Beitrag sehen wir uns Aufbau und Arbeitsweise des C-Compilers genauer an.

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.