urn:nbn:de:hbz:468-20070741

60 7 Analyse eines 2-Kanal-Rechnersystems unter besonderer Berücksichtigung ...Bild 7.3:Vereinfachtes Zustandsmodell des 2v2-SystemsEine detaillierte Systemdarstellung kann über die Definition eines Zustandsvektors z ierfolgen. Der Zustandsvektor beschreibt die einzelnen Situations- und Komponentenzuständeund fasst diese zu einem Systemzustand zi(siehe Tabelle 7.1) zusammen.Der Zustandsvektor z i ist gegeben durchzi = {ZF,iZAi,ZBi}. (7.1)Der Fahrtzustand ZF kann die Zustände 0 „Aus“ oder 1 „An“ annehmen. Jeder μC-Zustand {ZA, ZB) kann die Zustände 0 „intakt“, 1 „temporärer Fehler“ oder 2 „permanenterFehler“ annehmen. Alle definierten Systemzustände und Zustandsübergängekönnen der Tabelle 7.1 entnommen werden. Jede i-te Zeile enthält darin die Zustände,von denen aus der Zustand i erreichbar ist. Die letzte Spalte entspricht der Summealler Zustandseingänge (∑ E.). Zustände, die vom Zustand k aus erreicht werden können,sind in jeder k-ten Spalte eingetragen. Die Summe aller Zustandsausgänge (∑ A.)kann der letzten Zeile entnommen werden.Im Rahmen der Sicherheitsbewertung werden im Folgenden die Zustände untersucht,von denen eine Gefährdung ausgeht. Dies ist bei den Zuständen der Fall, die einen