Software-Zuverlässigkeit in sicherheitskritischen Systemen

"Software-Zuverl ssigkeit in sicherheitskritischen Systemen: Ein neuer Ansatz zur Entwicklung zuverl ssiger, kosteng nstiger sicherheitskritischer Systeme" diskutiert ausf hrlich verschiedene Techniken zur Verbesserung der Soft-Zuverl ssigkeit f r kritische Systeme. Dar ber hinaus enth lt das Buch eine kritische Analyse aktueller Methoden, die bei der Entwicklung sicherheitskritischer Systeme eingesetzt werden. Dieses Buch zeigt auf jeden Fall, wie eine zuverl ssige Software f r sicherheitskritische Systeme mit geringen Kosten und hoher Zuverl ssigkeit entwickelt werden kann. Das Buch kann f r den Unterricht sowohl auf Bachelor- als auch auf Postgraduiertenebene verwendet werden.