Rok 2015

• Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym

  Publikacja

  • T. Barnert
  • K. Kosmowski
  • M. Porzeziński
  • M. Kozyra
  • M. Śliwiński

  - Rok 2015

  W niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...

Rok 2004

• Analiza strukturalna systemu zabezpieczeniowego z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego.

  Publikacja

  • K. Kosmowski
  • M. Kozyra
  • M. Śliwiński

  - Rok 2004

  Przedstawiono wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Zarysowano dobór właściwej struktury systemu zabezpieczeniowego , projektowanego w oparciu o sterowniki PLC dla odpowiedniego poziomu nienaruszalności bwezpieczeństwa SIL, wynikającego z przeprowadzonej wstępnie oceny ryzyka.

• Metody modelowania probabilistycznego systemów związanych z bezpieczeństwem i ich implementacja komputerowa.

  Publikacja

  • K. Kosmowski
  • M. Kozyra
  • M. Śliwiński

  - Rok 2004

  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.

• Wspomagane komputerowo tworzenie modeli probabilistycznych w ocenie niezawodności i bezpieczeństwa przykładowych systemów.

  Publikacja

  • J. Piesik
  • M. Kozyra
  • M. Śliwiński

  - Rok 2004

  Przedstawiaono narzędzia komputerowe wykorzystywane do oceny niezawodności i bezpieczeństwa przykładowych systemów technicznych. Możliwości narzędzi zilustrowano przykładami układów zabezpieczeń realizowanych w oparciu o elektryczne, elektroniczne i programowalne elektroniczne systemy (E/E/PE.

Rok 2003

• Ocena bezpieczeństwa funkcjonalnego systemów sterowania i zabezpieczeń

  Publikacja

  • K. Kosmowski
  • M. Kozyra
  • M. Śliwiński

  - Measurement Automation Monitoring - Rok 2003

  Przedstawia się wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie ilościowego modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Ilustruje się wyznaczanie poziomu nienaruszalności bezpieczeństwa dla dwóch przykładowych systemów sterowania i zabezpieczeń. Podkreśla się również...

• Showing compliance of probabilistic assessments with safety goals

  Publikacja

  • K. Kosmowski
  • M. Kozyra

  - Rok 2003

  W niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...