Sicherheitsgerichtete Echtzeitsysteme
Das Buch behandelt das wichtige Thema Sicherheit bei elektronischen Systemen. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingef hrt. Architekturen f r sichere Hardware sowie Verfahren zur Erstellung m glichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und quantitativ bewertet. Weiterhin werden Ergebnisse j ngster Forschungen vorgestellt, so u.a. inh rent sicherheitsf rdernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation sowie unkonventionelle sicherheitsgerichtete Architekturen f r sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme.
Das Buch wurde f r die 2. Auflage gr ndlich berarbeitet und um die Darstellung neuer Patente erweitert.