Przedstawiono metody modelowania systemów związanych z bezpieczeństwem. Podkreślono znaczenie ilościowego modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Przedstawiono również wspomagane komputerowo weryfikowanie poziomów SIL oraz modelowanie probabilistyczne systemów sterowania i automatyki zabezpieczeniowej z weryfikacją wyników względem przedziałów kryterialnych.

W rozprawie zaprezentowane zostały metody analizy probabilistycznej systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego. Przedstawione metody stosowane są w procesie weryfikacji poziomów nienaruszalności bezpieczeństwa SIL systemów elektrycznych, elektronicznych i programowalnych elektronicznych E/E/PE. W związku z występowaniem problemu oceny niepewności w oszacowaniach probabilistycznych...

Wypełnienie funkcji bezpieczeństwa przez systemy E/E/PE łączy się z niezawodnym działaniem podsystemów, których struktura i właściwości muszą gwarantować skuteczne i szybkie wykrywanie uszkodzeń. Do określenia przeciętnego prawdopodobieństwa niewypełnienia funkcji bezpieczeństwa na żądanie (PFDavg) niezbędna jest znajomość pokrycia diagnostycznego w odniesieniu do wszystkich podsystemów. Najlepiej, aby podsystemy były zaliczane...

W rozdziale przedstawiona została koncepcja kompleksowego zarządzania niezawodnością i bezpieczeństwem złożonej maszyny krytycznej w oparciu o analizy i oceny ryzyka prowadzone na podstawie metod wykorzystujących modele probabilistyczne. Istotne są tu parametry modelu, takie jak: intensywność uszkodzeń elementów składowych, intensywność odnowy, pokrycie diagnostyczne, czas pomiędzy prowadzeniem testów i inne, w zależności od specyfiki...