Bei der erfolgreichen Realisierung von wiederverwendbaren und konfigurierbaren Softwaremodulen ist einer der wichtigsten Schritte die Auswahl von geeigneten Variabilitätsmechanismen. Prominente Vertreter sind hier die bedingte Kompilierung mit dem Präprozessor, die Modulauswahl oder die Parametrierung in Verbindung mit bedingter Ausführung.

Mit Softwareverifikationswerkzeugen sollen Fehler in Software gefunden werden. Doch gibt es nur spärliche Information über das, was die Werkzeuge wirklich leisten. Meistens liegt nur die Beschreibung des Herstellers vor, an der sich ein Anwender (grob) orientieren kann. Woran lässt sich bewerten, was ein Tool auch wirklich leistet?

Zufällige Fehler lassen sich in Tests schwer finden – und können die Stabilität oder Security sicherheitskritischer Systeme massiv gefährden. Mit LCLS gibt es aber eine bewährte Software-Architektur, mit der das zunehmend wichtige Problem von zufälligen Hardware- und Software-Fehlern gelindert werden kann.

In Embedded Systemen wird die Notwendigkeit, die Firmware des Systems durch Updates auf dem neuesten Stand zu halten, immer wichtiger – nicht nur aus Sicherheitsgründen. Doch wie lässt sich ein automatisches Firmware-Update für Embedded-Linux elegant und auch für Nutzer leicht handhabbar implementieren?

In weit über 90% aller neuen Softwareprojekte kommt inzwischen Open Source zum Einsatz. Angesichts dieser Verbreitung stellt sich die Frage: Wie kann man sicherstellen, dass diese Open-Source-Komponenten allen Qualitäts-, Lizenz- und Sicherheitsansprüchen gerecht werden?

Kann ein nicht-zertifizierter SoC in einer Sicherheitsanwendung zum Einsatz kommen? Der Beitrag deckt wichtige Architektur- und Design-Abwägungen moderner Sicherheitseinrichtungen ab.

Edge Computing wird überall dort eine integrale Rolle bei Anwendungen im Internet der Dinge spielen, wo Latenzzeiten und hoher Bandbreitenbedarf problematisch sind.

Digitalisierung, Industrie 4.0 und IoT bleiben oft nur schwammige Begriffe. Wie aber lässt sich eine Maschine in Ihren Anforderung von Anfang an so konzipieren, dass sie das Potential des Internet of Things auch wirklich nutzen und entfalten kann? Hier ein Beispiel anhand einer SPS-Steuerung.

Die Herausforderung, die Komplexität des menschlichen Gehirns im Computer nachzubilden, hat eine neue Generation von Wissenschaftlern und Entwicklern von Computeralgorithmen hervorgebracht.

Vieles spricht dafür, die Testbarkeit und -automatisierung als Teil der Anforderungsmodellierung zu betrachten. Denn stetige Tests beheben nicht nur Fehler, sondern sichern auch den Entwicklungsprozess ab.