Zielsetzung des Buches ist es, eine praxisgerechte Unterlage zur Losung realer Probleme der Systemsicherheit bereit zu stellen. Schwerpunkt ist die Behandlung kontrollierter Sicherheitssysteme. Dem heutigen Stand der Technik entsprechend wird die sehr aufwendige Rechenarbeit bei der Sicherheits- und Zuverlassigkeitsanalyse technischer Systeme Rechnerprogrammen uberlassen. Um ein hohes Ma an Flexibilitat zu erreichen, werden objektorientierte Losungen verwendet.