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...

W Katedrze Technologii Zabezpieczeń Przeciwkorozyjnych realizowane są różnorodne badania naukowe z zakresu korozji, ochrony przed korozją, inżynierii materiałowej i elektrochemii. Rozwijane są cyfrowe pomiary impedancyjne procesów elektrodowych, pomiary składowych harmonicznych oraz szumu elektrochemicznego. Rozwijane są metody badań impedancyjnych prowadzone w warunkach nieustalonych. W tym celu stosowane są metody łączne czasowo...

Przedstawiono metody zabezpieczeń dla pali drewnianych, stalowych i żelbetowych wykonywanych głównie w agresywnym środowisku wodnym (szczególnie morskim) i gruntowym.

W artykule zaprezentowano przegląd hipotetycznych ataków na sieci i systemy telekomunikacji ruchomej, w tym systemy UMTS. Uwzględniono: podsłuch, nieautoryzowany dostęp, celowe zakłócanie oraz ataki typu DoS. Zaprezentowano mechanizmy podnoszące bezpieczeństwo pracy UMTS, w szczególności wprowadzające identyfikację i ''rozwinięte'' uwierzytelnianie a także kompleksową autoryzację dostępu.

W artukule przedstawiono podstawowe oraz zaawansowane ilościowe metody weryfikacji poziomów nienaruszalności bezpieczeństwa SIL w systemach sterowania i zabezpieczeń. Metody te zawierają analizę wrażliwości i niepewności modeli probabilistycznych tych systemów. Pod uwagę wzięte zostały także uszkodzenia o wspólnej przyczynie. Zaprezentowane zostały wyniki analiz oraz zalety ich stosowania.