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.