Sicherheitsgerichtete Echtzeitsysteme

Das Buch behandelt das wichtige Thema funktionale Sicherheit programmierbarer elektronischer Systeme. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingefhrt. Architekturen fr sichere Hardware sowie Verfahren zur Erstellung mglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse jngster Forschungen vorgestellt wie inhrent sicherheitsfrdernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation oder unkonventionelle sicherheitsgerichtete Architekturen fr sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme. Das Buch wurde fr die 3. Auflage grndlich berarbeitet und um die Darstellung neuer Patente und Normen erweitert. Die Zielgruppen Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.