Radiosendung: Sicherheit für Winzlinge
Neue Software für "Embedded"-Systeme soll fehlerfrei werden
Von Holger Bruns
So genannte Embedded Controller sind moderne, unsichtbare Heinzelmännchen, die den Alltag vereinfachen - vom Staubsauger bis zum Flugzeug. Das allerdings macht sie besonders empfindlich für Softwarefehler. Das Projekt Gesy in Bremen will hier zu mehr Qualität beitragen.
http://www.dradio.de/dlf/sendungen/computer/582881/