Możliwość zastosowania metodyki Common Criteria do projektowania czujników gazometrycznych (case study)

Podobne dokumenty
Zastosowanie metodyki Common Criteria podczas procesu projektowania urządzeń na przykładzie czujnika gazometrycznego

Uniwersalne czujniki pomiarowe parametrów środowiska

Różnicowy przetwornik ciśnienia EL-PSa-xxx

Metanomierz MK-5 EH-G/09/ Karta produktu. ul. Opolska 19, Chorzów tel , tel./fax

Konstruowanie produktu informatycznego (na przykładzie czujnika gazometrycznego) w środowisku rozwojowym na podstawie wzorców warsztaty część I

SPECYFIKACJA HTC-VR, HTC-VVR-RH, HTC-VVR-T, HTCVVVR, HTC-VR-P, HTC-VVR-RH-P

SPECYFIKACJA PRZETWORNIK RÓŻNICY CIŚNIEŃ DPC250; DPC250-D; DPC4000; DPC4000-D

Urządzenia dla systemów inteligentny budynek

SERWIS SERWIS gwarancyjny i pogwarancyjny. KONSERWACJA i przeglądy okresowe detektorów i mierników gazu. URUCHOMIENIA systemów.

INSTRUKCJA OBSŁUGI ZASILACZ PWS-100RM

PL B1. INSTYTUT TECHNIK INNOWACYJNYCH EMAG, Katowice, PL

SPECYFIKACJA HTC-VR, HTC-VVR-RH, HTC-VVR-T, HTC-VVVR, HTC-VR-P, HTC-VVR-RH-P

FA300Ex. Przetworniki punktu rosy. Karta katalogowa FA300Ex

INSTRUKCJA OBSŁUGI ZASILACZ PWS-500M, PWS-500RM

SPECYFIKACJA PRZETWORNIK RÓŻNICY CIŚNIEŃ

SETEBOS Centralka kontrolno-pomiarowa

Regulator napięcia transformatora

DM700I, DM700XI 10 lat gwarancji

DTR.ZSP-41.SP-11.SP-02 APLISENS PRODUKCJA PRZEMYSŁOWEJ APARATURY POMIAROWEJ I ELEMENTÓW AUTOMATYKI INSTRUKCJA OBSŁUGI

SETEBOS. Centralka kontrolno-pomiarowa. Funkcjonalność

SYSTEM E G S CENTRALKA, SYGNALIZATOR INSTRUKCJA UŻYTKOWANIA

SMPZ-3. Zastosowania. Własności techniczne. mechaniczne. SMOKE MASTER Panel kontrolny

SERWIS SERWIS gwarancyjny i pogwarancyjny. KONSERWACJA i przeglądy okresowe detektorów i mierników gazu. URUCHOMIENIA systemów.

Ręczny przyrząd do pomiaru parametrów fizycznych powietrza i innych gazów

CENTRALNA STACJA RATOWNICTWA GÓRNICZEGO S.A. SPRZĘT DO OKREŚLANIA PARAMETRÓW FIZYKOCHEMICZNYCH POWIETRZA KOPALNIANEGO

INSTRUKCJA OBSŁUGI PRZETWORNICA PWB-190M, PWB-190RM

ASTOR IC200ALG320 4 wyjścia analogowe prądowe. Rozdzielczość 12 bitów. Kod: B8. 4-kanałowy moduł ALG320 przetwarza sygnały cyfrowe o rozdzielczości 12

BDG/34/2012/PN zał. nr 1. Szczegółowy opis przedmiotu zamówienia

ZASILACZ SEPARATOR ZS-30 DTR.ZS-30 APLISENS PRODUKCJA PRZETWORNIKÓW CIŚNIENIA I APARATURY POMIAROWEJ DOKUMENTACJA TECHNICZNO-RUCHOWA

SPECYFIKACJA HTC-K-VR. Kanałowy przetwornik CO2 z wyjściem analogowym V i progiem przekaźnikowym

Transmiter Dräger VarioGard 3300 IR Detektor gazów i par palnych

INSTRUKCJA OBSŁUGI ZASILACZ PWS-150H-3EU

Transmiter Dräger VarioGard 3300 IR Detektor gazów i par palnych

EPPL 1-1. KOMUNIKACJA - Interfejs komunikacyjny RS Sieciowa Karta Zarządzająca SNMP/HTTP

INSTRUKCJA OBSŁUGI ZASILACZ PWS-150RB-xx SPBZ

SiMod-X-(A1) Przetwornik parametrów powietrza z interfejsem RS485 (MODBUS RTU) oraz wyjściem analogowym (dotyczy wersji -A1)

Niniejsza Instrukcja służy do zapoznania odbiorców z warunkami prawidłowej eksploatacji ciepłomierzy z przelicznikiem wskazującym SUPERCAL 531.

Szczegółowy opis techniczny przedmiotu zamówienia

WERSJA ROZPROSZONA I ZINTEGROWANA

M-1TI. PROGRAMOWALNY PRECYZYJNY PRZETWORNIK RTD, TC, R, U / 4-20mA ZASTOSOWANIE:

STEROWNIK SI OWNI RPB-7

VIGOTOR VPT-13. Elektroniczny przetwornik ciśnienia 1. ZASTOSOWANIA. J+J AUTOMATYCY Janusz Mazan

Przetwornik ciśnienia Rosemount 951 do suchego gazu

I0.ZSP APLISENS PRODUKCJA PRZETWORNIKÓW CIŚNIENIA I APARATURY POMIAROWEJ INSTRUKCJA OBSŁUGI (DOKUMENTACJA TECHNICZNO-RUCHOWA)

OPIS PRZEDMIOTU ZAMÓWIENIA

DTR PICIO v Przeznaczenie. 2. Gabaryty. 3. Układ złącz

LUZS-12 LISTWOWY UNIWERSALNY ZASILACZ SIECIOWY DOKUMENTACJA TECHNICZNO-RUCHOWA. Wrocław, kwiecień 1999 r.

POWERSYS INSTRUKCJA OBSŁUGI MIERNIK DO POMIARU REZYSTANCJI DOZIEMIENIA MDB-01

MIERNIK DOZIEMIENIA MD-08 URZĄDZENIA POMIAROWO MONITORUJĄCE

LUPS-11ME LISTWOWY UNIWERSALNY PRZETWORNIK SYGNAŁOWY DOKUMENTACJA TECHNICZNO-RUCHOWA. Wrocław, kwiecień 2003 r.

AP Automatyka: Sonda do pomiaru wilgotności i temperatury HygroClip2-S

MPI-8E 8-KANAŁOWY REJESTRATOR PRZENOŚNY

Dräger VarioGard 2320 IR Detektor gazów toksycznych i tlenu

LSPX-21 LISTWOWY MODUŁ WEJŚĆ ANALOGOWYCH DOKUMENTACJA TECHNICZNO-RUCHOWA. Wrocław, październik 2003 r.

Woda. MacR6. Rejestrator przepływu z wbudowanym modułem telemetrycznym. PLUM Sp. z o.o. Ignatki 27a, Kleosin plum@plum.pl

INSTRUKCJA OBSŁUGI ZASILACZ PWS-201B, PWS-201RB

Systemy gazometryczne w górnictwie. Autor: K Miśkiewicz

Inteligentny czujnik w strukturze sieci rozległej

SITOP modular Modułowe zasilacze sieciowe

EPPL , 15-31, 20-31

Kontrola gazometryczna, łączność telefoniczna, i alarmowo-rozgłoszeniowa na szybach peryferyjnych z wykorzystaniem systemów SMP-NT/A i SAT

Karta danych technicznych

SYSTEM E G S MODUŁ ML/A-1m INSTRUKCJA UŻYTKOWANIA

LOKALIZATOR PRZENOŚNY KDZ-3C. 1. WSTĘP. 2. Zastosowanie. 3. Budowa. System kontroli doziemienia KDZ-3. ZPrAE Sp. z o.o. 1

Karta charakterystyki online FLOWSIC60 PRZYRZĄDY POMIAROWE DO POMIARU PRĘDKOŚCI PRZEPŁYWU

PL B1 PRZEDSIĘBIORSTWO BADAWCZO- -PRODUKCYJNE I USŁUGOWO-HANDLOWE MICON SPÓŁKA Z OGRANICZONĄ ODPOWIEDZIALNOŚCIĄ, KATOWICE, PL

INSTRUKCJA OBSŁUGI ZASILACZ PWS-100RB-2

MDR - 10 MDR - 20 MDR - 40

INSTRUKCJA OBSŁUGI. PRZEMYSŁOWY CZUJNIK WILGOTNOŚCI I TEMPERATURY HCRH-21Ka; HCRH-22Ka; HCRH-23Ka HCRH-21Kb; HCRH-22Kb; HCRH-23Kb

Panelowe przyrządy cyfrowe. Ogólne cechy techniczne

Dwugazowy Garażowy Detektor DUOmaster CO/LPG G /RS485 (wersja z wyjściem RS485)

Oferta Firmy

INSTRUKCJA OBSŁUGI. widok HCRH-xxKb

Przepisy i normy związane:

System kalibracyjny dla miernika gęstości gazu SF6

Systemy eksplozymetryczne jako urządzenia zabezpieczające

SYSTEM E G S CZUJNIK INSTRUKCJA UŻYTKOWANIA

Instrukcja obsługi miernika uniwersalnego MU-07L

CENTRALKA DETCOM.3 DO DETEKTORÓW SERII 3.3

LOKALIZATOR PRZENOŚNY KDZ-3C.

Przetwornik temperatury RT-01

SYSTEM E G S MODUŁ ML/A-1m wersja V32.1

testo zestaw Zakres dostawy Analizator spalin testo LL, sensory O2 i CO(H2), akumulator Li-Ion, protokół kalibracyjny.

LUPS-11MEU LISTWOWY UNIWERSALNY PRZETWORNIK SYGNAŁOWY DOKUMENTACJA TECHNICZNO-RUCHOWA. Wrocław, kwiecień 2003 r.

DOKUMENTACJA TECHNICZNO - RUCHOWA INSTRUKCJA OBSŁUGI MULTIMETR TYPU IME-S2*

Temat: Stacjonarny analizator gazu saturacyjnego MSMR-4 do pomiaru ciągłego

Panel sterowania z wbudowanym czujnikiem pokojowym Model A2G-200

I. O FIRMIE. Jeżeli czegoś nie można zmierzyć, to nie można tego ulepszyć... Lord Kelvin (Wiliam Thomas)

Miernik przepływu powietrza Model A2G-25

M-1TI. PRECYZYJNY PRZETWORNIK RTD, TC, R, U NA SYGNAŁ ANALOGOWY 4-20mA Z SEPARACJĄ GALWANICZNĄ. 2

INSTRUKCJA INSTALACJI

Ręczny Ostrzegacz Pożarowy ROP42 (z modułem MAR42)

KARTA KATALOGOWA TABLICOWY MIERNIK CYFROWY NEF-30MC

Czujniki podczerwieni do bezkontaktowego pomiaru temperatury. Czujniki stacjonarne.

INSTRUKCJA OBSŁUGI ZASILACZ PWS-40

LUPT-2XME LISTWOWY UNIWERSALNY PRZETWORNIK TEMPERATURY DOKUMENTACJA TECHNICZNO-RUCHOWA. Wrocław, wrzesień 2006 r.

LDSP-11 LISTWOWY DWUPRZEWODOWY SYGNALIZATOR PRZEKROCZEŃ DOKUMENTACJA TECHNICZNO-RUCHOWA. Wrocław, luty 1999 r.

INSTRUKCJA OBSŁUGI ZASILACZ PWS-150RB

Załącznik nr 1 do Standardu technicznego nr 3/DMN/2014 dla układów elektroenergetycznej automatyki zabezpieczeniowej w TAURON Dystrybucja S.A.

Karta charakterystyki online DUSTHUNTER T50 PRZYRZĄDY TRANSMISYJNE DO POMIARÓW STĘŻEŃ PYŁÓW

Transkrypt:

Instytut Technik Innowacyjnych Możliwość zastosowania metodyki Common Criteria do projektowania czujników gazometrycznych (case study) Karol Śpiechowicz, Adam Broja, Grzegorz Mirek, Marcin Małachowski, Adrian Szczurek, Damian Cała Nr projektu: UDA POIG 01.03.01.156/08-00 Akronim projektu: CCMODE AGENDA Zakład Gazometrii i Telekomunikacji ZW-B Metanomierz MM4 Case study 2 1

AGENDA Zakład Gazometrii i Telekomunikacji ZW-B Metanomierz MM4 Case study 3 SYSTEM MONITOROWANIA PARAMETRÓW ŚRODOWISKA W KOPALNI SMP-NT/A System przy pomocy szeregu iskrobezpiecznych czujników prowadzi ciągły pomiar parametrów fizycznych i składu chemicznego powietrza, oraz stanu pracy wszystkich urządzeń wentylacyjnych, wybranych urządzeń technologicznych, istotnych z punktu widzenia bezpieczeństwa. Dane te zostają przesłane do powierzchniowej części systemu, gdzie zostają one poddane automatycznemu przetworzeniu, wizualizacji oraz ciągłej archiwizacji na potrzeby przyszłych analiz. 4 2

SYSTEM MONITOROWANIA PARAMETRÓW ŚRODOWISKA W KOPALNI SMP-NT/A ISTOTNE CECHY SYSTEMU: monitorowanie całości procesu wentylacyjnego oraz stanu pracy urządzeń wentylacyjnych transmisja danych odbywa się po linii zasilającej wykrywanie pożarów we wczesnym stadium ich rozwoju automatyczne odcinanie energii elektrycznej w zagrożonych przez wybuch obszarach kopalni automatyczne sygnalizowanie wykrytych stanów zagrożenia 5 System monitorowania SMP-NT/A zintegrowany z systemem alarmowo-rozgłoszeniowym SAT 6 3

System transmisji sygnałów wolnozmiennych analogowych i dwustanowych UTS-2 Stacja powierzchniowa urządzenia UTS Stanowisko utrzymaniowe I Ethernet Zasilanie 48V DC Stanowisko utrzymaniowe II Stacja dołowa analogowa SDA Stacja dołowa wykonawcza SDW anemometr AS-1 Transparent Stacja dołowa dwustanowa SDW czujnik CO ACO-4 CP-10 czujnik temp. CT-2 czujnik temp. CTG-2 Podsumowanie Systemy gazometryczne i telekomunikacyjne (sprzężenie oprogramowania i sprzętu), Zbieranie danych technologicznych oraz dotyczących bezpieczeństwa, Wyłączanie energii oraz automatyczne powiadamianie w przypadku zagrożenia Czujnik gazowy źródło informacji oraz urządzenie sterujące 8 4

AGENDA Zakład Gazometrii i Telekomunikacji ZW-B Metanomierz MM4 Case study 9 Dyspozytornia metanometrii SMP-NT/A METANOMIERZ MM-4 Cechy funkcjonalne czujnika CMC - 4 MZT-10 praca w ramach systemu metanometrii automatycznej szybki czas odpowiedzi ciągły pomiar metanu w zakresie 0-2% z dokładnością 0.1% ciągły pomiar metanu w zakresie 0-100% z dokładnością 5% funkcje wyjść dwustanowych (wyłączenie energii elektrycznej w momencie przekroczenia dopuszczalnego stężenia) możliwość pracy lokalnej 10 5

Sygnalizator optyczny METANOMIERZ MM-4 KONSTRUKCJA MECHANICZNA Monitor metanomierza Głowica pomiarowa wynoszona Monitor metanomierza Głowica pomiarowa wbudowana kabel Komora przyłączowa Komora przyłączowa Sygnalizator optyczny Metanomierz MM-4 z głowicą pomiarową umieszczoną w obudowie Metanomierz MM-4 z głowicą pomiarową przyłączoną za pośrednictwem kabla o długości do 30 m. 11 METANOMIERZ MM- 4 Wymagania dotyczące budowy przeciwwybuchowej: PN-EN 50014:2004 PN-EN 50020:2005 PN-EN 50303:2004 PN-EN 61779-1:2004 PN-EN 61779-2:2004 PN-EN 61779-3:2004 Urządzenia elektryczne w przestrzeniach zagrożonych wybuchem Wymagania ogólne. Urządzenia elektryczne w przestrzeniach zagrożonych wybuchem. Wykonanie iskrobezpieczne i Urządzenia grupy I kategorii M1 przeznaczone do pracy ciągłej w atmosferach zagrożonych metanem i/lub pyłem węglowym Elektryczne przyrządy do wykrywania i pomiaru gazów palnych. Część 1: Wymagania ogólne i metody badań Elektryczne przyrządy do wykrywania i pomiaru gazów palnych. Część 2: Wymagania dla przyrządów grupy I wskazujących ułamek objętościowy do 5 procent metanu w powietrzu Elektryczne przyrządy do wykrywania i pomiaru gazów palnych. Część 3: Wymagania dla przyrządów grupy I wskazujących ułamek objętościowy do 100 procent metanu w powietrzu. Wymagania dotyczące kompatybilności elektromagnetycznej: PN-EN 50270 Kompatybilność elektromagnetyczna Elektryczne przyrządy do wykrywania i pomiaru gazów palnych, gazów toksycznych lub tlenu 12 6

METANOMIERZ MM- 4 Funkcje użytkowe Podstawowy zakres funkcji: ciągły pomiar stężenia metanu, ciągła autodiagnostyka wewnętrznych obwodów metanomierza obsługa układów wejść i wyjść dwustanowych, sygnalizacja przekroczeń ustawionych progów alarmowych i stanów awaryjnych, komunikacja ze stacją powierzchniową za pomocą linii telemetrycznej. 13 AGENDA Zakład Gazometrii i Telekomunikacji ZW-B Metanomierz MM4 Case study 14 7

Case Study - Agenda Wprowadzanie do zadania zabezpieczeń Deklaracja zgodności Opis TOE Definicja problemu bezpieczeństwa 15 CH4... CO KLAWIATURA KALIBRACYJNA DETEKTOR GAZU ZASILANIE WEJŚCIE KALIBRACYJNE MIKROKONTROLER LCD WYJŚCIA ANALOGOWE WYJŚCIE CYFROWE ZASILANIE: KOMBAJNU OŚWIETLENIA ITD. OBUDOWA SYSTEM TELEMETRYCZNY CZUJNIK CZUJNIK 16 8

Wprowadzanie do zadania zabezpieczeń Oznaczenie ST Odnosi się do: Mikroprocesorowego czujnika gazometrycznego w wykonaniu iskrobezpiecznym MCX.1.0 17 Wprowadzanie do zadania zabezpieczeń Charakterystyka ogólna ST MCX.1.0. jest czujnikiem przeznaczonym do pomiaru atmosfery na dole kopalni i charakteryzuje się następującą funkcjonalnością: kontrola poziomu zagrożeń gazowych w środowisku pracy w rejonie ściany podłączenie wyjść dwustanowych do wyłączenia energii elektrycznej kombajnu wstępną analizę sygnału (przetworzenie wielkości fizycznej na elektryczną i zakodowanie jej dla potrzeb transmisji - dyspozytora) funkcje zabezpieczające (obudowa, iskrobezpieczeństwo, identyfikator) 18 9

Case Study - Agenda Wprowadzanie do zadania zabezpieczeń Deklaracja zgodności Opis TOE Definicja problemu bezpieczeństwa 19 Deklaracja zgodności Zgodność z Common Criteria - 3.1 rev. 3. Zgodność z profilem zabezpieczeń PP - BRAK Zgodność z EAL - EAL2 (tymczasowo, docelowo EAL 4) 20 10

Case Study - Agenda Wprowadzanie do zadania zabezpieczeń Deklaracja zgodności Opis TOE Definicja problemu bezpieczeństwa 21 Opis TOE TOE MCX.1.0 TOE physical environment CH4... CO O2 DETEKTOR GAZU ZASILANIE MIKROKONTROLER PROGRAM PAMIĘĆ LCD WYJ SCIA ANALOGOWE ZASILANIE: KOMBAJNU OSWIETLENIA itd. KLAWIATURA KALIBRACYJNA WEJ SCIE KALIBRACYJNE UKŁADY WE/WY WYJ SCIE CYFROWE OBUDOWA SYSTEM TELEMETRYCZNY CZUJNIK TOE IT environment CZUJNIK 11

Case Study - Agenda Wprowadzanie do zadania zabezpieczeń Deklaracja zgodności Opis TOE Definicja problemu bezpieczeństwa 23 Definicja problemu bezpieczeństwa SPD Security Problem Definition Opis zasobów DTO zasoby w TOE DTO.SensorData. Przetwarzane wielkości fizyczne (ciśnienie, temperatura) lub chemiczne (stężenie gazu) na wielkość elektryczną (informatyczną) oraz protokół transmisji. DTO.SensorID. Dane identyfikacyjne czujnika DTO.UserData. Dane użytkownika Refinement: Ustawienie progów alarmowych (wyłączenie energii) 24 12

Definicja problemu bezpieczeństwa SPD Security Problem Definition Opis zasobów DIT zasoby w otoczeniu TOE DIT.TelemSyst. Nadrzędny system telemetryczny DIT.CalibKeyb. Urządzenie podłączane do czujnika w celu jego kalibracji i zmiany jego ustawień DIT.Power. Układy zasilane energią wyłączane przez czujnik (matryca wyłączeń) 25 Definicja problemu bezpieczeństwa SPD Security Problem Definition Opis zasobów DAP zasoby w otoczeniu fizycznym TOE DAP.DesignData. Informacje dotyczące projektowanych rozwiązań (sprzętowych, informatycznych), dokumentacja projektowa 26 13

Definicja problemu bezpieczeństwa SPD Security Problem Definition Podmioty (1/3) osoby uprawnione (SAU), zaangażowane w prace rozwojowe, produkcyjne i utrzymaniowe SAU.Developer. Osoba zaangażowana w prace rozwojowe projektu czujnika SAU.ManufPers. Osoba zaangażowana w procesy wytwórcze (wytwarzanie komponentów programowych i sprzętowych) ich integrację i testowanie SAU.ServicePers. Osoba odpowiedzialna za serwis czujnika i ewentualną naprawę. 27 Definicja problemu bezpieczeństwa SPD Security Problem Definition Podmioty (2/3) uprawnieni (SAU) użytkownicy TOE SAU.User. Osoba autoryzowana (dozór kopalni, górnik metaniarz, górnik elektryk) SAU.Dispatch Osoba zarządzająca z poziomu systemu telemetrycznego konfiguracją czujników oraz interpretująca dane wysłane przez czujniki oraz stan urządzeń SAU.MiningAuth. Osoba odpowiedzialna za kontrolę poprawności pracy urządzeń (Wyższy Urząd Górniczy) 28 14

Definicja problemu bezpieczeństwa SPD Security Problem Definition Podmioty (3/3) intruzi (SNA) SNA.MiningPers. Osoba należąca do personelu kopalni, która w sposób celowy lub niecelowy może uszkodzić czujnik. SNA.HighPotIntrud. Osoba bez uprawnień, próbująca zniszczyć system telemetryczny lub zniekształcić dane pomiarowe (rozkalibrować czujnik) SNA.IndSpy. Osoba próbująca uzyskać nieautoryzowany dostęp do dokumentacji projektowej 29 Definicja problemu bezpieczeństwa SPD Security Problem Definition Założenia dla otoczenia (1/3) dotyczące zagadnień organizacyjno personalnych (APR) w procesie rozwoju, wytwarzania i inwentaryzacji APR.Development. Należy zapewnić odpowiedni podział obowiązków dla personelu, który pozwoli utrzymać bezpieczeństwo IT APR.Manufacturing. Należy zapewnić odpowiedni przydział obowiązków, który pozwoli utrzymać bezpieczeństwo IT oraz odpowiedni poziom ochrony czujnika przed atakami fizycznymi, które mogą zagrozić bezpieczeństwu IT APR.Delivery. Należy zapewnić odpowiedni poziom bezpieczeństwa w trakcie obchodzenia się z czujnikiem oraz w czasie wykonywania swojego zakresu obowiązków 30 15

Definicja problemu bezpieczeństwa SPD Security Problem Definition Założenia dla otoczenia (2/3) dotyczące zagadnień organizacyjno personalnych (APR) w procesie rozwoju, wytwarzania i inwentaryzacji (c.d.) APR.SecDataGenAlgor. Dane związane z tworzeniem algorytmów mogą być dostępne tylko dla upoważnionych użytkowników. APR.SecDataInsert. Dane związane z bezpieczeństwem muszą być tworzone, transportowane i umieszczone w czujniku w taki sposób by zapewnić odpowiedni poziom ich poufności i integralności. APR.SoftwareUpgAnalize. Wszystkie wersje oprogramowania, zanim zostaną umieszczone w czujniku, powinny zostać sprawdzone pod kątem certyfikacji bezpieczeństwa. Niedopuszczalne jest sprawdzanie poprawności oprogramowania, które zostało umieszczone w urządzeniu przekazanemu klientowi 31 Definicja problemu bezpieczeństwa SPD Security Problem Definition Założenia dla otoczenia (3/3) dotyczące zagadnień organizacyjno-personalnych (APR) i otoczenia fizycznego (APH) podczas eksploatacji APH.MechanicalInterface. Istnieje mechanizm wykrywania nieautoryzowanego otwarcia obudowy Refinement zastosowanie plomby zabezpieczającej APR.RegularInpections. Czujnik musi być okresowo sprawdzany i kalibrowany przez osoby odpowiedzialne za serwis [Sparam <= SAU.ServicePers, SAU.User] APR.Controls. Należy zapewnić regularne kontrole przestrzegania przepisów prawnych, które zawierać powinny audyt bezpieczeństwa Refinement dyrektywa ATEX (fr. Atmosphere Explosible), EMC (ang. ElectroMagnetic Compatibility - Badania kompatybilności elektromagnetycznej) oraz inne 32 16

Definicja problemu bezpieczeństwa SPD Security Problem Definition Zagrożenia (1/3) Atak bezpośredni na TOE (TDA) TDA.Access. Możliwość dostępu przez użytkowników [Sparam <= SAU.ServicePers, SAU.ManufPers, SAU.Developer, SAU.User, SNA.HighPotIntrud] do funkcji czujnika i sfałszowania jego danych [Dparam<=DTO.SensorData] TDA.Faults. Błędy pomiaru i transmisji. Refinement: uszkodzenie czujnika, linii transmisyjnej lub detektora TDA.Calib. Możliwość nieautoryzowanej zmiany parametrów pracy czujnika [Dparam<=DTO.SensorData] przez personel serwisowy [Sparm<= SAU.ServicePers] 33 Definicja problemu bezpieczeństwa SPD Security Problem Definition Zagrożenia (2/3) Atak bezpośredni na TOE (TDA) i zagrożenia dotyczące infrastruktury technicznej i fizycznej otoczenia TOE (TPH) TDA.Test. Niewłaściwa procedura testowania [Sparam <= SAU.Developer] TPH.MechnicalOrgin. Możliwość dostania się do wnętrza obudowy i modyfikacji lub uszkodzenia czujnika przez użytkowników [Sparm<= SAU.User, SAU.MiningPers] TDA.PowerSupply. Możliwość uszkodzenia czujnika przez użytkowników lub intruzów [Sparam <= SAU.user, SNA.HighPotIntrud] poprzez podłączenie zasilania niezgodnego ze specyfikacją czujnika. Możliwość wyczerpania się baterii. TDA.SensorID. Możliwość fałszowania indywidualnych i unikalnych identyfikatorów przez użytkowników [SNA.MiningPers] 34 17

Definicja problemu bezpieczeństwa SPD Security Problem Definition Zagrożenia (3/3) Atak bezpośredni na TOE (TDA) TDA.Software. Możliwość modyfikacji oprogramowania w kontrolerze przez użytkowników lub intruzów [Sparam <=SAU.Developer, SAU.ManufPers, SAU.ServicePers] TDA.ForceMajeure. Możliwość uszkodzenia czujnika przez czynniki atmosferyczne i środowiskowe. Refinement - tąpnięcia, wybuch, pożar, powódź itd. TDA.IndSpy. Możliwość kradzieży danych projektowych przez nieautoryzowane osoby [Sparm<= SNA.IndSpy] 35 Cele zabezpieczeń Zagrożenie TDA.Faults pokryte celami dla TOE (OINT ochrona integralności, OEIT zabezpieczenie realizowane w środowisku IT) OINT. TransmIntegrityData. TOE zapewnia kontrolę integralności przesyłanych danych przy pomocy sumy kontrolnej. OEIT. TransmIntegrityData. System telemetryczny współpracujący z TOE zapewnia kontrolę integralności przesyłanych danych. OINT. MeasureData. TOE zapewnia kontrolę poprawności działania (stanu) elementu detekcyjnego. OEIT.MeasureData. System telemetryczny zapewnia kontrolę stanu detektora (wykrywanie awarii detektora, awarii zasilania) OINT.PowerCtrl. TOE zapewnia stałą kontrolę poziomu napięcia zasilania. 36 18

Cele zabezpieczeń Zagrożenie TDA.MechanicalOrgin pokryte celami dla TOE: (OINT ochrona integralności) OINT.Case TOE zapewnia ochronę części elektronicznej i informatycznej przed niepożądanym dostępem. 37 Wymagania funkcjonalne bezpieczeństwa (TDA.Faults) Cel OINT.TransDataIntegrity spełnia wymagania funkcjonalne FDP_ETC.2 => Export from the TOE Eksport danych użytkownika z atrybutami bezpieczeństwa, wymaga od TSF wprowadzenia w życie odpowiedniego SFP za pomocą funkcji, które dokładnie i jednoznacznie kojarzy atrybuty bezpieczeństwa z danymi użytkownika, które są eksportowane / importowane. Wspomagany celem otoczenia OEIT.TransDataIntegrity spełnia wymagania otoczenia 38 19

Wymagania funkcjonalne bezpieczeństwa (TDA.Faults) Cel OINT.MeasureData spełnia wymagania funkcjonalne FDP_ITT.3 => Internal TOE transfer Kontrola integralności wymaga by TSP monitorowała integralność danych przesyłanych pomiędzy elementami TOE Wspomagany celem otoczenia OEIT.MeasureData spełnia wymagania otoczenia 39 Wymagania funkcjonalne bezpieczeństwa (TDA.Faults) Cel OINT.Power spełnia wymagania funkcjonalne FPT_FLS.1 => Fail secure TOE musi wymusić swój SFR w przypadku zidentyfikowania jednej z kategorii awarii 40 20

Wymagania funkcjonalne bezpieczeństwa (TDA.MechanicalOrgin) Cele OINT.Case oraz OEIT.EnvProt spełniają wymaganie funkcjonalne FPT_PHP.2 => TSF physical protection TSF powinno mieć możliwość wykrywania pasywnych fizycznych ataków lub próbę manipulacji TSF. Zagrożenie powinno być sygnalizowane automatycznie. 41 Funkcje zabezpieczające na podstawie wymagań SFDP.TransmIntegrityData. Kontrola integralności przesyłanych danych. FDP_ETC.2 => Export from the TOE SFDP.MeasureData. Kontrola integralności przechowywanych danych pomiarowych. FDP_ITT.3 => Internal TOE transfer SFPT.Power. Kontrola stanu zasilania. FPT_FLS.1 => Fail secure SFPT.Case. Bezpieczna obudowa. FPT_PHP.2 => TSF physical protection 21

Podsumowanie studium przypadku Cel Sprawdzenie możliwości zastosowania metodyki Common Criteria do projektowania czujników gazometrycznych Wstępne wyniki Zdefiniowanie wstępnego dokumentu zadania zabezpieczeń Co dalej? Uszczegółowienie dokumentu zadania zabezpieczeń 43 44 22

Załącznik Informacje dotyczące produktów Zakładu Gazometrii i Telekomunikacji (ZW-B) CENTRALA TELEMETRYCZNA CMC-4 CMC-4 jest stacjonarnym, urządzeniem powierzchniowym najnowszej generacji. Centrala ta jest przeznaczona do zbierania danych pomiarowych, oraz realizacji poleceń sterujących w systemach telemetrycznych. Stojak centrali zawiera zespół modułów zasilająco-transmisyjnych komputerowy moduł sterujący, przełącznik sieciowy, wewnętrzne systemy zasilania oraz chłodzenia. Modułowa budowa centrali zapewnia szybką i łatwą modyfikację oraz rozbudowę centrali, aby jak najlepiej mogła ona sprostać wymaganiom użytkownika końcowego. 23

CENTRALA TELEMETRYCZNA CMC-4 ISTOTNE CECHY PRODUKTU: umożliwia tworzenie systemów telemetrycznych o rozproszonej budowie iskrobezpieczne zasilanie czujników dołowych komunikacja z dołową częścią systemu poprzez linie zasilająco-transmisyjne odporna na zakłócenia transmisja danych w standardzie V23 samodzielna pracy w przypadku utraty łączności z systemem nadrzędnym MODUŁ ZASILAJĄCO-TRANSMISYJNY (ISKROBEZPIECZNY) MZT-10/60M Moduł MZT-10/60M zapewnia iskrobezpieczne zasilanie urządzeń dołowych wykorzystywanych do monitorowania parametrów środowiska w podziemiach kopalń. Pośredniczy on również w dwu-kierunkowej komunikacji między powierzchniową a podziemną częścią systemu. 24

MODUŁ ZASILAJĄCO-TRANSMISYJNY (ISKROBEZPIECZNY) MZT-10/60M ISTOTNE CECHY PRODUKTU: transmisja danych po kablu zasilającym 10 linii zasilająco-transmisyjnych sygnalizacja stanu pracy poszczególnych linii komunikacja ze sterownikiem centrali poprzez popularne łącze Ethernet odporna na zakłócenia transmisja danych w standardzie V23 znormalizowane wymiary Euro 19 wysokość 3U MINIATUROWA CYFROWA CENTRALKA DOŁOWA (ISKROBEZPIECZNA) MCCD-01 Centrala dołowa MCCD-01 jest urządzeniem pośredniczącym między czujnikami analogowymi i dwustanowymi a częścią powierzchniową systemu monitorującego fizyczne parametry atmosfery kopalnianej. ISTOTNE CECHY PRODUKTU: Zapewnia ciągły odczyt i przetwarzanie sygnałów analogowych i dwustanowych na sygnał cyfrowy, oraz odbiór z części powierzchniowej sygnałów sterujących i konfiguracyjnych. Centrala ta posiada akumulatorowe zasilanie awaryjne. cyfrowa, dwukierunkowa transmisja z modulacją FSK możliwość realizacji matrycy wyłączeń energii elektrycznej odporna na udary i korozję obudowa o małych gabarytach 25

METANOMIERZ Z CYFROWĄ TRANSMISJĄ MM-4 Metanomierz z cyfrową transmisją jest przystosowany do pracy ciągłej w kopalnianych systemach metanometrii automatycznej. Dzięki wbudowanemu modułowi komunikacji potrafi on komunikować się bezpośrednio z powierz-chniową częścią systemu w standardzie V23. Transmisja danych (tak samo jak w pozostałych czujnikach gazometrycznych produkcji EMAG) odbywa się po linii zasilająco-transmisyjnej. ISTOTNE CECHY PRODUKTU: bardzo wysoka dokładność pomiaru pomiar prowadzony w zakresie 0 100% automatyczne wyłączanie energii elektrycznej po przekroczeniu dopuszczalnych stężeń metanu CZUJNIK DO KONTROLI ZAWARTOŚCI METANU W ATMOSFERZE MCH Czujnik ten jest urządzeniem stacjonarnym służącym do ciągłego pomiaru metanu w atmosferze w zakresie 0 100% w dwóch niezależnych podzakresach: 0 5% oraz 0 100%. MCH przystosowany jest do pracy z centralkami dołowymi MCCD-01, CCD, CCD- 1 oraz stacjami typu VAL. ISTOTNE CECHY PRODUKTU: bardzo wysoka dokładność pomiaru filtr ochronny wyposażony w warstwę hydrofobową niezależne wyjścia dla każdego z podzakresów pomiarowych 26

DWUZAKRESOWY CZUJNIK DO KONTROLI ZAWARTOŚCI TLENKU WĘGLA W ATMOSFERZE MCO Jest to stacjonarny przyrząd pomiarowy służący do pomiaru stężenia tlenku węgla w atmosferze kopalnianej. Pomiar prowadzony jest w dwóch niezależnych zakresach: 0 200 ppm i 0 1000ppm. Czujnik ten, tak jak inne urządzenia tego typu produkowane przez EMAG został wyposażony w wyświetlacz LCD do prezentacji wyników pomiaru oraz, zwartą wytrzymałą obudowę. ISTOTNE CECHY PRODUKTU: bardzo wysoka dokładność pomiaru filtr ochronny wyposażony w warstwę hydrofobową niezależne wyjścia dla każdego z podzakresów pomiarowych CZUJNIK DO KONTROLI ZAWARTOŚCI TLENU W ATMOSFERZE MO2 Czujnik MO2 jest stacjonarnym urządzeniem pomiarowym służącym do ciągłego pomiaru zawartości tlenu w atmosferze w zakresie 0 25%. Jest on przystosowany do pracy w szerokim zakresie temperatur -10 40 C. MO2 został przystosowany do pracy z centralkami dołowymi MCCD-01, CCD, CCD-1 oraz stacjami typu VAL. wysoka dokładność pomiaru ISTOTNE CECHY PRODUKTU: filtr ochronny wyposażony w warstwę hydrofobową 27

CZUJNIK DO POMIARU TEMPERATURY I WILGOTNOŚCI POWIETRZA MHT ISTOTNE CECHY PRODUKTU: bardzo wysoka dokładność pomiaru Czujnik MHT jest stacjonarnym czujnikiem służącym do pomiaru temperatury i wilgotności względnej powietrza w kopalnianych. Urządzenie mierzy wilgotność w pełnym zakresie (0 100%) oraz temperaturę w zakresie: -10 40 C. Do pomiaru temperatury użyty został czujnik półprzewodnikowy a do pomiaru wilgotności użyto czujnika pojemnościowego. filtr ochronny wyposażony w warstwę hydrofobową niezależne wyjścia dla każdego z mierzonych parametrów MIKROPROCESOROWY ANEMOMETR STACJONARNY AS-3 Anemometr AS-3 przeznaczony jest do pomiaru prędkości w zakresie od 0,1 10m/s, oraz wyznaczania kierunku przepływu powietrza. AS-3 został zaopatrzony w oprogramowanie umożliwiające kontrolę, regulację i skalowanie. Możliwość zastosowania zasilania z zasilacza akumulatorowego ZAK zwiększa swobodę montażu urządzenia. ISTOTNE CECHY PRODUKTU: przetwornik ultradźwiękowy zwiększający dokładność pomiaru i niezawodność urządzenia wizualizacja wyniku pomiaru, informacji o stanie zasilania oraz wyjścia dwustanowego na wbudowanym wyświetlaczu LCD 28

CZUJNIK RÓŻNICY CIŚNIEŃ MRC xxx bardzo wysoka dokładność pomiaru Czujnik typu MRCxxx jest urządzeniem stacjonarnym przeznaczonym do ciągłego pomiaru różnicy ciśnień w wybranym zakresie. Zakresy pomiarowe: 0 250 Pa 0 1250 Pa 0 2500 Pa 0 5000 Pa 0 7500 Pa lub innym, na życzenie użytkownika ISTOTNE CECHY PRODUKTU: odporna na dary, korozję i uszkodzenia mechaniczne obudowa odczyt wyniku pomiaru na wbudowanym wyświetlaczu CZUJNIK PARAMETRÓW ODMETANOWIANIA CPO-1 CPO-1 jest stacjonarnym urządzeniem pomiarowym montowanym w rurociągu odmetanowania. Pozwala on na ciągły pomiar stężenia oraz wydatku gazu. Produkt jest przystosowany do pracy w ciężkich warunkach. Moduł Detektorów (MD) dokonuje pomiarów stężenia metanu, temperatury, ciśnienia bezwzględnego, spadek ciśnienia na kryzie pomiarowej, oraz opcjonalnie zawartości tlenku węgla. Wyniki pomiarów są przesyłane do Modułu Wyświetlająco-Transmisyjnego (MWT) gdzie zostają przetworzone, a następnie przesłane do centrali poprzez łącze modemowe. 29

CZUJNIK PARAMETRÓW ODMETANOWIANIA CPO-1 Zakresy pomiarowe przyrządu dla poszczególnych parametrów: metan: 0 100 % CH4 temperatura: 10 40 C lub 40 70 C ciśnienie bezwzględne: 0 110 kpa lub 80 110 kpa różnica ciśnień: 0 250 Pa tlenek węgla (opcja): 0 200 ppm lub 0 1000 ppm Czujnik może zostać zintegrowany z systemami metanowo-pożarowym typu SMP-NT. Transmisja danych odbywa się poprzez odporne na zakłócenia łącze modemowe w standardzie V23 KLAWIATURA KALIBRACYJNA (ISKROBEZPIECZNA) KB-1 Klawiatura kalibracyjna KB-1 jest urządzeniem do kalibracji i ustawiania parametrów czujników i innych produktów oferowanych przez Centrum EMAG. Szybki demontaż klawiatury znacznie utrudnia dostęp do ustawień urządzeń osobom nieuprawnionym. Dodatkowo każda klawiatura posiada unikalny numer identyfikacyjny, który jest każdorazowo rejestrowany w pamięci konfigurowanego urządzenia. Mikrokontroler wbudowany w klawiaturę bezpośrednio komunikuje się z kontrolerem wbudowanym w obsługiwane urządzenie umożliwiając np. przeprowadzenie kalibracji lub zmianę progów alarmowych. 30

KLAWIATURA KALIBRACYJNA (ISKROBEZPIECZNA) KB-1 ISTOTNE CECHY PRODUKTU: szybki i łatwy montaż i demontaż klawiatury łączenie z urządzeniami odbywa się poprzez złącze AMPHENOL typu C16-1 zasilanie odbywa się obsługiwanego przez klawiaturę urządzenia sygnalizacja stanu pracy przy pomocy dwukolorowej diody LED zakres temperatury pracy od -20 do +40ºC odporna na urazy mechaniczne i fizyczne oraz zabrudzenie obudowa MIERNIK ISKROBEZPIECZNY TELETECHNICZNY MIT Miernik Iskrobezpieczny teletechniczny typu MIT jest uniwersalnym przyrządem służącym do badania stałoprądowych oraz zmiennoprądowych parametrów dołowych sieci telekomunikacyjnych. Zawiera w sobie wszystkie niezbędne funkcje jakie są potrzebne do oceny sprawności działania oraz poziomu zakłóceń występujących w torach. Umożliwia pomiary poziomu napięcia linii nieobciążonej lub obciążonej rezystancją 600 i pomiary rezystancji izolacji. Zawiera w sobie funkcje woltomierza oraz amperomierza prądów stałych i przemiennych, a także omomierza. Przyrząd umożliwia ponadto generowanie sygnału sinusoidalnego o poziomie 0 db z zakresu 300 20000 Hz. 31

System transmisji sygnałów wolnozmiennych analogowych i dwustanowych UTS-2 Stacja powierzchniowa urządzenia UTS Stanowisko utrzymaniowe I Ethernet Zasilanie 48V DC Stanowisko utrzymaniowe II Stacja dołowa analogowa SDA Stacja dołowa wykonawcza SDW anemometr AS-1 Transparent Stacja dołowa dwustanowa SDW czujnik CO ACO-4 CP-10 czujnik temp. CT-2 czujnik temp. CTG-2 ZSC ZSC ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZUT ZP 3GO ZP 3GO BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS BIS ZBS ZBS 48 48 1 0 32

Stacja analogowa 4 wejścia analogowe 4 układy separowanego zasilania Zasilanie stacji 20-60 V DC, 25mA Zasilanie czujnika ± 6V DC, do 15mA sumarycznie Wejście napięciowe 0,4 2V lub opcjonalni od 0 do 10V DC Wymiary 320x140x80mm Masa 2kg Stacja analogowa 33

Stacja dwustanowa SDD 4 wejścia dwustanowe Zasilanie czujników separowane galwanicznie Wejścia dwustanowe - rezystancyjne (styk, klucz tranzystorowy) Zasilanie stacji 10-60 V DC, 25mA Zasilanie czujnika 6V, 500 ua Obsługa CP-10 Wymiary 320x140x80mm Masa 2kg Stacja dwustanowa 34

Stacja wykonawcza 4 wyjścia dwustanowe Wyjście OPTO MOS I max =25 ma, U max =60V Zasilanie stacji 10-60 V DC, 25mA Wymiary 320x140x80mm Masa 2kg Stacja wykonawcza 35