Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben"

Átírás

1 Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben Majzik István

2 Biztonságos állapotok Működésmód Fail-stop működés A megállás (lekapcsolás) biztonságos állapot Detektált hiba esetén le kell állítani a rendszert Hibadetektálás a kritikus feladat Fail-operational működés A megállás (lekapcsolás) nem biztonságos állapot Detektált hiba esetén is szükséges szolgáltatás teljes, vagy csökkentett (degradált) Hibatűrés szükséges

3 Általános biztonsági alapelvek Hibakezelés Kompozit fail-safe Reaktív fail-safe Inherens fail-safe Minden funkciót megvalósít legalább 2 független komponens A továbblépéshez (többségi) egyetértés szükséges Több, mint 2 komponens esetén hibatűrés (leszavazás) Minden funkció mellé rendelhető független hibadetektálás A detektált hiba hatása negálható Minden hibamód veszélytelen Természeténél fogva biztonságos

4 Jellegzetes megoldások fail-stop rendszerekhez Áttekintés: Egycsatornás feldolgozás önteszttel Két- vagy többcsatornás feldolgozás komparálással Kétcsatornás feldolgozás független ellenőrzéssel == stop stop

5 I. Egycsatornás feldolgozás önteszttel Egy feldolgozási folyamat Ütemezett hardver öntesztek Induláskor részletes önteszt Futás közben: Lappangó állandósult hibák detektálása Ajánlott többféle módon Rendszeres szoftver önellenőrzés Végrehajtási utak ellenőrzése Alkalmazásfüggő hibadetektálás Hátrányok: Önteszt hibafedése korlátos Hibakezelés megvalósítása kérdéses (pl. lekapcsolás)

6 Példa: SAFEDMI mozdonyvezetői kezelőfelület Mozdonyvezető Safety Integrity Level 2 Információ megjelenítés Parancs feldolgozás EVC kommunikáció Biztonságos vezeték nélküli kommunikáció Konfiguráció Diagnosztika Szoftver frissítés DMI Maintenance Centre EVC European Vital Computer

7 Biztonság: SAFEDMI követelmények Biztonságintegritási szint: SIL 2 Biztonsági funkció hibája óránként (THR): 10-7 <= THR < 10-6 (10 6 óra: ~114 év) CENELEC szabványok: EN50129 and EN50128 Megbízhatóság: Mean Up Time: MUT > 5000 hours (5000 óra: ~ 7 hónap) Rendelkezésre állás (készenlét): A = MUT / (MUT+MDT), A > Hibás állapot: évenként kevesebb, mint 42 óra MDT < 24 óra, ha a fenti MUT biztosítható

8 SAFEDMI hardver architektúra Reaktív fail-safety (hibadetektálás és hibakezelés) Generikus hardver komponensek A hibadetektálás és hibakezelés megvalósítása szoftver alapú megoldásokkal ERTMS TRAINBORNE SYSTEMS commercial field bus Vcc EXCLUSION LOGIC SAFE DMI LCD lamp LCD DISPLAY Speaker wireless interface Keyboard

9 Komponensek: SAFEDMI hardver architektúra Keyboard RAM ROM Log Device Thermometer Keyboard Controller Cabin Identifier bus Bus Controller CPU Watch dog LCD lamps Controller Graphic Controller Audio Controller LCD lamps LCD matrix Video Pages Speaker Flash audio Device to communicate with EVC Device to communicate with BD

10 SAFEDMI hibadetektálási technikák Elindulás: Részletes öntesztelés az állandósult hibák detektálására Működés közben: Periodikus önteszt: Kisebb erőforrásigényű technikákkal On-line ellenőrzések Kommunikáció, konfiguráció esetén: Adat elfogadhatósági / hihetőségi vizsgálatok Vezérlés-orientált funkciókra: Vezérlési folyam monitorozása Adat-orientált funkciókra: Duplikált számítás és összehasonlítás Kommunikáció: Adathiba detektálása és javítása: Erős hibajavító kódolás (Adat)védelem: Titkosítás Biztonság: Adott hibagyakoriság fölött kapcsolat bontás

11 Alap üzemmódok: SAFEDMI hibakezelés Startup, Normal, Configuration, Safe módok Hibakezelés: Suspect állapot Átmeneti állapot Hibaszámlálás: Tranziens állandósult hiba megkülönböztetés

12 II. Két- vagy többcsatornás feldolgozás Két vagy több feldolgozási csatorna Közös bemenet Kimenetek komparálása Eltérés esetén leállás Nagy hibafedés Komparátor kritikus elem De egyszerű! Kiváltása kódolt feldolgozással Hátrányok: Közös eredetű hiba? Hosszú lappangási idő == stop

13 Példa: SCADA rendszer Két csatorna Váltakozó bitmap megjelenítés (az operátor komparál) Szinkronizáció: Belső hibadetektálás (mielőtt a kimenetre kerülne) Channel 1 Channel 2 GUI Pict A Input Database Communication protocol RS232 Pict B Control Syncron Syncron Control Database Communication protocol RS232 Input I/O

14 SCADA telepítési opciók Két csatorna ugyanazon a szerveren Statikusan linkelt szoftver modulok Időben, memóriában és diszken elkülönülő végrehajtás Diverz adattárolás Bináris adatokra (jelek): Inverz adatábrázolás Különböző adatbázis indexelés Két csatorna különböző szervereken Szinkronizáció dedikált belső hálózaton Rendelkezésre állás növelése (hibatűrés): Kétszer 2-ből 2 séma A+ A- B+ B- I/O I/O

15 SCADA hibadetektálás Véletlen hardver hibákra működés közben: Csatornák komparálása: Operátor illetve I/O Operátornak: Villogó RGB-BGR szimbólum jelzi a frissítést Watchdog processz Többi processz futásának ellenőrzése Az adatbázis tartalmának rendszeres összehasonlítása Lappangó hibák detektálása Szándékolatlan vezérlésre, szoftver hibákra: Háromfázisú parancskiadás Előkészítés (zárolva), visszaolvasás, független jóváhagyás Diverz modulok a visszaolvasásra és jóváhagyásra

16 III. Kétcsatornás feldolgozás független ellenőrzéssel Független csatorna Safety bag : csak biztonsági ellenőrzés Eltérőtervezés Megengedhető viselkedés ellenőrzése Példa: Szabályok az elsődleges csatorna működésének ellenőrzésére stop

17 Példa: Alcatel (Thales) Elektra Két csatorna: Logikai csatorna: CHILL (CCITT High Level Language) eljárás-orientált programnyelv Biztonsági csatorna: PAMELA (Pattern Matching Expert System Language) szabály-orientált programnyelv

Biztonságkritikus rendszerek architektúrája

Biztonságkritikus rendszerek architektúrája Biztonságkritikus rendszerek architektúrája Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT

Részletesebben

Mintapélda: Rendszertesztelés a SAFEDMI projektben

Mintapélda: Rendszertesztelés a SAFEDMI projektben Mintapélda: Rendszertesztelés a SAFEDMI projektben Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.inf.mit.bme.hu/ Tartalomjegyzék

Részletesebben

Szolgáltatásbiztos rendszerek: Architektúra tervezési példák

Szolgáltatásbiztos rendszerek: Architektúra tervezési példák Szolgáltatásbiztos rendszerek: Architektúra tervezési példák Majzik István majzik@mit.bme.hu Feladatátvételi fürtök (Failover clustering, High availability clustering) Hardver architektúra Egyszeres hibapont

Részletesebben

Biztonságkritikus rendszerek architektúrája

Biztonságkritikus rendszerek architektúrája Biztonságkritikus rendszerek architektúrája Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT

Részletesebben

A szolgáltatásbiztonság alapfogalmai

A szolgáltatásbiztonság alapfogalmai A szolgáltatásbiztonság alapfogalmai Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/edu/courses/szbt 1 Tartalomjegyzék A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló tényezők

Részletesebben

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 Hibatűrés különféle hibák esetén Hardver tervezési hibák

Részletesebben

Biztonságkritikus rendszerek architektúrája (2. rész)

Biztonságkritikus rendszerek architektúrája (2. rész) Biztonságkritikus rendszerek architektúrája (2. rész) Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Részletesebben

Közlekedési automatika Biztonsági architektúrák

Közlekedési automatika Biztonsági architektúrák Közlekedési automatika Biztonsági architektúrák Dr. Sághi Balázs diasora alapján összeállította, kiegészítette: Lövétei István Ferenc BME Közlekedés- és Járműirányítási Tanszék 2019 Tartalomjegyzék Bevezetés

Részletesebben

Biztonságkritikus rendszerek Gyakorlat: Architektúrák

Biztonságkritikus rendszerek Gyakorlat: Architektúrák Biztonságkritikus rendszerek Gyakorlat: Architektúrák Rendszertervezés és -integráció dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT

Részletesebben

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 A redundancia tipikus alkalmazása Hardver tervezési hibák

Részletesebben

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 A redundancia tipikus alkalmazása Hardver tervezési hibák

Részletesebben

A Hibatűrő Rendszerek Kutatócsoport EU kutatási projektekjei

A Hibatűrő Rendszerek Kutatócsoport EU kutatási projektekjei Budapesti Műszaki és Gazdaságtudományi Egyetem A EU kutatási projektekjei Európai partnereink RESIST BME (HU) City U. (UK) TU Darmstadt (DE) Deep Blue Srl (IT) France Telecom R&D (FR) IBM Research GmbH

Részletesebben

Biztonsági folyamatirányító. rendszerek szoftvere

Biztonsági folyamatirányító. rendszerek szoftvere Biztonsági folyamatirányító rendszerek szoftvere 1 Biztonsági folyamatirányító rendszerek szoftvere Tartalom Szoftverek szerepe a folyamatirányító rendszerekben Szoftverek megbízhatósága Szoftver életciklus

Részletesebben

Védelem a véletlenszerű egyedi hibák veszélyeztető hatása ellen Biztonsági stratégiák

Védelem a véletlenszerű egyedi hibák veszélyeztető hatása ellen Biztonsági stratégiák Védelem a véletlenszerű egyedi hibák veszélyeztető hatása ellen Biztonsági stratégiák Dr. Sághi Balázs diasorra alapján összeállította, készítette Dr. Baranyi Edit KÖZLEKEDÉSI AUTOMATIKA FOLYAMATIRÁNYÍTÓ

Részletesebben

Rendszertervezés ágazat

Rendszertervezés ágazat Rendszertervezés Mérnök informatikus szak BSc Informatikai technológiák szakirány http://www.inf.mit.bme.hu/ Mérnök informatikus BSc A szakirány és ágazatai Informatikai technológiák szakirány Rendszertervezés

Részletesebben

Biztosítóberendezések biztonságának értékelése

Biztosítóberendezések biztonságának értékelése Žilinská univerzita v Žiline Elektrotechnická fakulta Univerzitná 1, 010 26 Žilina tel: +421 41 5133301 e mail: kris@fel.uniza.sk Téma: Biztosítóberendezések ának értékelése prof. Ing. Karol Rástočný,

Részletesebben

A szolgáltatásbiztonság alapfogalmai

A szolgáltatásbiztonság alapfogalmai A szolgáltatásbiztonság alapfogalmai Majzik István majzik@mit.bme.hu http://www.mit.bme.hu/oktatas/targyak/vimim146/ 1 Tartalomjegyzék A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló

Részletesebben

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 Hibatűrés különféle hibák esetén Hardver tervezési hibák

Részletesebben

Autóipari beágyazott rendszerek. Funkcionális biztonságossági koncepció

Autóipari beágyazott rendszerek. Funkcionális biztonságossági koncepció Autóipari beágyazott rendszerek Funkcionális biztonságossági koncepció 1 Funkcionális biztonsági koncepció Functional safety concept Cél A funkcionális biztonsági követelmények levezetése A biztonsági

Részletesebben

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 Hibatűrés különféle hibák esetén Hardver tervezési hibák

Részletesebben

A fejlesztési szabványok szerepe a szoftverellenőrzésben

A fejlesztési szabványok szerepe a szoftverellenőrzésben A fejlesztési szabványok szerepe a szoftverellenőrzésben Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Biztonságkritikus rendszerek A biztonságintegritási szint Az ellenőrzés

Részletesebben

Intelligens Érzékelők

Intelligens Érzékelők Intelligens Érzékelők 1. előadás Készítette: Dr. Füvesi Viktor 2016. 2. Előadó Dr. Füvesi Viktor ME AFKI Alkalmazott Földtudományi Kutatóintézet Műszerfejlesztési és Informatikai Osztály Email: fuvesi@afki.hu,

Részletesebben

A szolgáltatásbiztonság alapfogalmai

A szolgáltatásbiztonság alapfogalmai A szolgáltatásbiztonság alapfogalmai Majzik István majzik@mit.bme.hu http://www.mit.bme.hu/oktatas/targyak/vimim146/ 1 Tartalomjegyzék A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló

Részletesebben

Biztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis

Biztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis Biztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis Rendszertervezés és -integráció dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek

Részletesebben

Norway Grants. Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai. Kakuk Zoltán, Vision 95 Kft.

Norway Grants. Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai. Kakuk Zoltán, Vision 95 Kft. Norway Grants AKKUMULÁTOR REGENERÁCIÓS ÉS Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai Kakuk Zoltán, Vision 95 Kft. 2017.04.25. Rendszer szintű megoldás

Részletesebben

Új kompakt X20 vezérlő integrált I/O pontokkal

Új kompakt X20 vezérlő integrált I/O pontokkal Új kompakt X20 vezérlő integrált I/O pontokkal Integrált flash 4GB belső 16 kb nem felejtő RAM B&R tovább bővíti a nagy sikerű X20 vezérlő családot, egy kompakt vezérlővel, mely integrált be és kimeneti

Részletesebben

Megbízhatósági analízis

Megbízhatósági analízis Megbízhatósági analízis Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT Célkitűzések BME-MIT

Részletesebben

vezeték nélküli Turi János Mérnök tanácsadó Cisco Systems Magyarország Kft. jturi@cisco.com

vezeték nélküli Turi János Mérnök tanácsadó Cisco Systems Magyarország Kft. jturi@cisco.com Biztonság és vezeték nélküli hálózat? Turi János Mérnök tanácsadó Cisco Systems Magyarország Kft. jturi@cisco.com 1 Amiről szó lesz - tervezés Mi az a CVD? Hogyan készül Mire e használjuk áju Vezeték nélküli

Részletesebben

Fejlesztés kockázati alapokon 2.

Fejlesztés kockázati alapokon 2. Fejlesztés kockázati alapokon 2. Az IEC61508 és az IEC61511 Szabó Géza Szabo.geza@mail.bme.hu 1 A blokk célja Áttekintő kép a 61508-ról és a 61511-ről, A filozófia megismertetése, Nem cél a követelmények

Részletesebben

Veszélyforrások, veszélyeztetések

Veszélyforrások, veszélyeztetések Veszélyforrások, veszélyeztetések 1 Biztonságkritikus folyamatok A közlekedés veszélyes üzem: személyek tárgyak a környezet biztonságát sérülések okozásával veszélyeztetheti. Példák más veszélyes folyamatokra,

Részletesebben

Autóipari beágyazott rendszerek. Kockázatelemzés

Autóipari beágyazott rendszerek. Kockázatelemzés Autóipari beágyazott rendszerek Kockázatelemzés 1 Biztonságkritikus rendszer Beágyazott rendszer Aminek hibája Anyagi vagyont, vagy Emberéletet veszélyeztet Tipikus példák ABS, ESP, elektronikus szervokormány

Részletesebben

Autóipari beágyazott rendszerek CAN hardver

Autóipari beágyazott rendszerek CAN hardver Scherer Balázs, Tóth Csaba: Autóipari beágyazott rendszerek CAN hardver Előadásvázlat Kézirat Csak belső használatra! 2012.02.19. SchB, TCs BME MIT 2012. Csak belső használatra! Autóipari beágyazott rendszerek

Részletesebben

Rubin SMART COUNTER. Műszaki adatlap 1.1. Státusz: Jóváhagyva Készítette: Forrai Attila Jóváhagyta: Parádi Csaba. Rubin Informatikai Zrt.

Rubin SMART COUNTER. Műszaki adatlap 1.1. Státusz: Jóváhagyva Készítette: Forrai Attila Jóváhagyta: Parádi Csaba. Rubin Informatikai Zrt. Rubin SMART COUNTER Műszaki adatlap 1.1 Státusz: Jóváhagyva Készítette: Forrai Attila Jóváhagyta: Parádi Csaba Rubin Informatikai Zrt. 1149 Budapest, Egressy út 17-21. telefon: +361 469 4020; fax: +361

Részletesebben

Foglalkozási napló a 20 /20. tanévre

Foglalkozási napló a 20 /20. tanévre Foglalkozási napló a 20 /20. tanévre Elektronikai műszerész szakma gyakorlati oktatásához OKJ száma: 34 522 03 A napló vezetéséért felelős: A napló megnyitásának dátuma: A napló lezárásának dátuma: Tanulók

Részletesebben

evosoft Hungary Kft.

evosoft Hungary Kft. 2. fejezet: Runtime Software Előadó: Petényi István - üzletágvezető ELŐADÓ: PETÉNYI ISTVÁN üzletágvezető Programozó matematikus, ELTE Informatikai Kar projektvetető, ágazatvezető, szakterületvezető, üzletág

Részletesebben

TANMENET 2018/2019. tanév

TANMENET 2018/2019. tanév Szolnoki Műszaki Szakképzési Centrum Pálfy-Vízügyi Szakgimnáziuma 5000 Szolnok, Tiszaparti sétány 2-3. Tel:06-56-424-955, Fax: 06-56-513-925 e-mail cím: titkarsag@palfy-vizugyi.hu TANMENET 2018/2019. tanév

Részletesebben

Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése

Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése Somogyi Ferenc Attila 2016. December 07. Szoftver verifikáció és validáció kiselőadás Forrás Mathijs Schuts and Jozef

Részletesebben

SZOFTVER-MINŐSÉGBIZTOSÍTÁS BIZTONSÁGKRITIKUS RENDSZEREK. Széchenyi István Egyetem. Alapfogalmak

SZOFTVER-MINŐSÉGBIZTOSÍTÁS BIZTONSÁGKRITIKUS RENDSZEREK. Széchenyi István Egyetem. Alapfogalmak Alapfogalmak Biztonságkritikus rendszer: Olyan informatikai rendszer, amely azzal az elsődleges követelménnyel működtetendő, hogy ne veszélyeztesse az emberi életet, egészséget, ne okozzon gazdasági vagy

Részletesebben

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

Autóipari beágyazott rendszerek. Komponens és rendszer integráció Autóipari beágyazott rendszerek és rendszer integráció 1 Magas szintű fejlesztési folyamat SW architektúra modellezés Modell (VFB) Magas szintű modellezés komponensek portok interfészek adattípusok meghatározása

Részletesebben

1/9. Sunell IP kamerák webes felületének használati útmutatója. Élő kép (Live Video)

1/9. Sunell IP kamerák webes felületének használati útmutatója. Élő kép (Live Video) felületének használati útmutatója Élő kép (Live Video) Belépés után rögtön látható a kamera élő képe, váltható a stream minősége (a beállításoktól függően), valamint a képre jobb kattintással előhozható

Részletesebben

IBM felhő menedzsment

IBM felhő menedzsment IBM Váltsunk stratégiát! Budapest, 2012 november 14. IBM felhő menedzsment SmartCloud Provisioning és Service Delivery Manager Felhő alapú szolgáltatások Felhasználás alapú számlázás és dinamikus kapacitás

Részletesebben

ARM Cortex magú mikrovezérlők. mbed

ARM Cortex magú mikrovezérlők. mbed ARM Cortex magú mikrovezérlők mbed Scherer Balázs Budapest University of Technology and Economics Department of Measurement and Information Systems BME-MIT 2016 MBED webes fejlesztőkörnyezet 2009-ben megjelent

Részletesebben

Biztonságkritikus rendszerek

Biztonságkritikus rendszerek Biztonságkritikus rendszerek Rendszertervezés és -integráció dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT Mik azok a biztonságkritikus

Részletesebben

Újdonságok Nexus Platformon

Újdonságok Nexus Platformon Újdonságok Nexus Platformon Balla Attila CCIE #7264 balla.attila@synergon.hu Újdonságok Unified Fabric Twin-AX kábel NX-OS L2 Multipathing Fabric Extender Emlékeztető Továbbítás Routing Van bejegyzés ->

Részletesebben

1. Fejezet: Számítógép rendszerek

1. Fejezet: Számítógép rendszerek 1. Fejezet: Számítógép The Architecture of Computer Hardware and Systems Software: An Information Technology Approach 3. kiadás, Irv Englander John Wiley and Sons 2003 Wilson Wong, Bentley College Linda

Részletesebben

Alapszintű formalizmusok

Alapszintű formalizmusok Alapszintű formalizmusok dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális tervek Informális követelmények Formális modell Formalizált követelmények

Részletesebben

Közlekedési automatika Biztonságintegritás, életciklus modellek

Közlekedési automatika Biztonságintegritás, életciklus modellek Közlekedési automatika Biztonságintegritás, életciklus modellek Dr. Sághi Balázs diasora alapján összeállította, kiegészítette: Lövétei István Ferenc BME Közlekedés- és Járműirányítási Tanszék 2019 Tartalomjegyzék

Részletesebben

Operációs rendszerek. Bemutatkozás

Operációs rendszerek. Bemutatkozás Bevezetés az operációs rendszerek világába dr. Benyó Balázs benyo@sze.hu Bemutatkozás www.sze.hu/~benyo 1 Számítógép HW-SW felépítése felhasználó felhasználó felhasználó Operációs rendszer Operációs rendszer

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2017-18/2 (9) Szoftverminőségbiztosítás Specifikáció alapú (black-box) technikák A szoftver mint leképezés Szoftverhiba Hibát okozó bement Hibás kimenet Input Szoftver Output Funkcionális

Részletesebben

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom Szoftver újrafelhasználás (Software reuse) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 18. Roger S. Pressman: Software Engineering, 5th e. chapter 27. 2 Szoftver újrafelhasználás Szoftver

Részletesebben

ASZTALI DIGITÁLIS VIDEÓRÖGZÍTİ EVD-04/025A1MJU FELHASZNÁLÓI KÉZIKÖNYV

ASZTALI DIGITÁLIS VIDEÓRÖGZÍTİ EVD-04/025A1MJU FELHASZNÁLÓI KÉZIKÖNYV ASZTALI DIGITÁLIS VIDEÓRÖGZÍTİ EVD-04/025A1MJU FELHASZNÁLÓI KÉZIKÖNYV TARTALOM 1-2 - 3-4 - 5-6 - 7-8 - 9 - JELLEMZİK...2 MŐSZAKI ADATOK...3 KEZELİSZERVEK ÉS CSATLAKOZÓK...4 Hátlap...4 Elılap...5 MENÜRENDSZER...6

Részletesebben

IRÁNYÍTÓ RENDSZER IRÁNYÍTANDÓ FOLYAMAT. Biztonsági funkciók Biztonsági integritás. Normál működés. Hibák elleni védettség Saját (belső) biztonság

IRÁNYÍTÓ RENDSZER IRÁNYÍTANDÓ FOLYAMAT. Biztonsági funkciók Biztonsági integritás. Normál működés. Hibák elleni védettség Saját (belső) biztonság Biztonsági funkciók Biztonsági integritás Teljes funkcionalitás Biztonsági funkciók Irányító funkciók Gyakoriság Normál működés Kockázat osztályozás Veszélyelemzés Kockázatcsökkentés Súlyosság Belső kockázat

Részletesebben

Élettartam teszteknél alkalmazott programstruktúra egy váltóvezérlő példáján keresztül

Élettartam teszteknél alkalmazott programstruktúra egy váltóvezérlő példáján keresztül Élettartam teszteknél alkalmazott programstruktúra egy váltóvezérlő példáján keresztül 1 Tartalom Miről is lesz szó? Bosch GS-TC Automata sebességváltó TCU (Transmission Control Unit) Élettartam tesztek

Részletesebben

Mérő- és vezérlőberendezés megvalósítása ARM alapú mikrovezérlővel és Linux-szal

Mérő- és vezérlőberendezés megvalósítása ARM alapú mikrovezérlővel és Linux-szal Mérő- és vezérlőberendezés megvalósítása ARM alapú mikrovezérlővel és Linux-szal Fuszenecker Róbert Budapesti Műszaki Főiskola Kandó Kálmán Műszaki Főiskolai Kar 2007. július 18. A mérőberendezés felhasználási

Részletesebben

Siemens mérlegrendszerek. Unrestricted / Siemens AG All Rights Reserved.

Siemens mérlegrendszerek. Unrestricted / Siemens AG All Rights Reserved. Siemens mérlegrendszerek siemens.hu/muszer Siemens mérlegrendszerek Tartalom SIWAREX General előzmények, Overview alkalmazási területek SIWAREX Electronics -SIWAREX mérleg WP231modulok - SIWAREX WP231

Részletesebben

Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert

Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája Készítette: Urbán Norbert Szoftver-minőség A szoftver egy termelő-folyamat végterméke, A minőség azt jelenti,

Részletesebben

Biztonsági kézikönyv. PFF-HM31A decentralizált biztonsági vezérlés MOVIPRO -hoz

Biztonsági kézikönyv. PFF-HM31A decentralizált biztonsági vezérlés MOVIPRO -hoz Hajtástechnika \ Hajtásautomatizálás \ Rendszerintegráció \ Szolgáltatások Biztonsági kézikönyv PFF-HM31A decentralizált biztonsági vezérlés MOVIPRO -hoz Kiadás: 2012. 05. 19388977 / HU SEW-EURODRIVE Driving

Részletesebben

Rendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Rendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Rendszermodellezés Modellellenőrzés Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Ismétlés: Mire használunk modelleket? Kommunikáció, dokumentáció Gondolkodás,

Részletesebben

Számítógép architektúra

Számítógép architektúra Budapesti Műszaki Főiskola Regionális Oktatási és Innovációs Központ Székesfehérvár Számítógép architektúra Dr. Seebauer Márta főiskolai tanár seebauer.marta@roik.bmf.hu Irodalmi források Cserny L.: Számítógépek

Részletesebben

MASCO Biztonságtechnikai és Nyílászáró Automatizálási Kereskedelmi Kft Budapest, Madridi út 2. Tel: (06 1) , Fax: (06 1) ,

MASCO Biztonságtechnikai és Nyílászáró Automatizálási Kereskedelmi Kft Budapest, Madridi út 2. Tel: (06 1) , Fax: (06 1) , 2 Tartalomjegyzék Tartalomjegyzék... 2 Termék Tartalma... 3 Modul Eleje... 4 Modul Hátulja... 5 Csatlakozók Külső Interfészekhez 1... 6 Csatlakozók Külső Interfészekhez 2... 7 Telepítési Példa... 8 Termék

Részletesebben

Hardver összetevők ellenőrzése Linux alatt. Hardverguruk előnyben...

Hardver összetevők ellenőrzése Linux alatt. Hardverguruk előnyben... Hardver összetevők ellenőrzése Linux alatt Hardverguruk előnyben... A hardverek támogatottsága A telepítés előtt érdemes meggyőződni arról, hogy a jelenleg használt hardver elemek támogatottak-e a Linux

Részletesebben

IDAXA-PiroSTOP. PIRINT PiroFlex Interfész. Terméklap

IDAXA-PiroSTOP. PIRINT PiroFlex Interfész. Terméklap IDAXA-PiroSTOP PIRINT PiroFlex Interfész Terméklap Hexium Kft. PIRINT Terméklap Rev 2 2 Tartalomjegyzék. ISMERTETŐ... 3 2. HARDVER... 4 2. LED... 5 2.2 KAPCSOLAT A VKGY GYŰRŰVEL... 6 2.3 CÍMBEÁLLÍTÁS...

Részletesebben

Programozható logikai vezérlő

Programozható logikai vezérlő PROGRAMABLE LOGIC CONTROLLER Programozható logikai vezérlő Vezérlés fejlődése Elektromechanikus (relés) vezérlések Huzalozott logikájú elektronikus vezérlések Számítógépes, programozható vezérlők A programozható

Részletesebben

A J2EE fejlesztési si platform (application. model) 1.4 platform. Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem

A J2EE fejlesztési si platform (application. model) 1.4 platform. Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem A J2EE fejlesztési si platform (application model) 1.4 platform Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem Utolsó módosítás: 2007. 11.13. A J2EE application model A Java szabványok -

Részletesebben

Szoftver újrafelhasználás

Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással

Részletesebben

WAGO PLC-vel vezérelt hő- és füstelvezetés

WAGO PLC-vel vezérelt hő- és füstelvezetés WAGO PLC-vel vezérelt hő- és füstelvezetés Wago Hungária Kft. Cím: 2040. Budaörs, Gyár u. 2. Tel: 23 / 502 170 Fax: 23 / 502 166 E-mail: info.hu@wago.com Web: www.wago.com Készítette: Töreky Gábor Tel:

Részletesebben

Főbb. érvek. az ifix HMI/SCADA frissítése mellett

Főbb. érvek. az ifix HMI/SCADA frissítése mellett Főbb érvek az ifix HMI/SCADA frissítése mellett Proficy HMI/SCADA ifix frissítés Dokumentált fejlesztési lépések Megbízható technológiai háttér Termelékenységre tervezve legalacsonyabb teljes birtoklási

Részletesebben

biztonságkritikus rendszerek

biztonságkritikus rendszerek Kockázat, biztonság, biztonságkritikus rendszerek Dr. Sághi Balázs BME Közlekedés- és Járműirányítási Tanszék Tartalom A közlekedéssel szembeni elvárások A kockázat fogalma Kockázatcsökkentés Követelmények

Részletesebben

MSP430 programozás Energia környezetben. Kitekintés, további lehetőségek

MSP430 programozás Energia környezetben. Kitekintés, további lehetőségek MSP430 programozás Energia környezetben Kitekintés, további lehetőségek 1 Még nem merítettünk ki minden lehetőséget Kapacitív érzékelés (nyomógombok vagy csúszka) Az Energia egyelőre nem támogatja, csak

Részletesebben

ARM Cortex magú mikrovezérlők

ARM Cortex magú mikrovezérlők ARM Cortex magú mikrovezérlők 12. STemWin garfikus könyvtár Scherer Balázs Budapest University of Technology and Economics Department of Measurement and Information Systems BME-MIT 2018 LCD kijelzők kezelése

Részletesebben

Prolan Zrt. fejlesztéseiben. Petri Dániel

Prolan Zrt. fejlesztéseiben. Petri Dániel Az szabvány alkalmazása a Prolan Zrt. fejlesztéseiben Petri Dániel dpetri@prolan.hu PROLAN Irányítástechnikai Zrt. Áttekintés 61850 szabvánnyal kapcsolatos fejlesztéseink ProField IED mezőgép Új alállomási

Részletesebben

Közlekedés gépjárművek elektronikája, diagnosztikája. Mikroprocesszoros technika. Memóriák, címek, alapáramkörök. A programozás alapjai

Közlekedés gépjárművek elektronikája, diagnosztikája. Mikroprocesszoros technika. Memóriák, címek, alapáramkörök. A programozás alapjai Közlekedés gépjárművek elektronikája, diagnosztikája Mikroprocesszoros technika. Memóriák, címek, alapáramkörök. A programozás alapjai TÁMOP-2.2.3-09/1-2009-0010 A Széchenyi István Térségi Integrált Szakképző

Részletesebben

Hardver leírás Klasszikus kontroller v.3.2.2

Hardver leírás Klasszikus kontroller v.3.2.2 StP Beléptető Rendszer Hardver leírás Klasszikus kontroller v.3.2.2 s TARTALOMJEGYZÉK 1. ALKÖZPONTOK KÖZÖTTI KOMMUNIKÁCIÓ (INTERNET)... 3 2. RS485... 3 3. OLVASÓ- ÉS KÁRTYATÍPUSOK, OLVASÓ KEZELÉS, EGY

Részletesebben

A készülék fő egységei X1 X1 (kizárólag vezeték nélküli kamera esetében X1 X1 X1 X1 X1

A készülék fő egységei X1 X1 (kizárólag vezeték nélküli kamera esetében X1 X1 X1 X1 X1 A készülék jellemzői: Nagysebességű video processzor Magas érzékenységű ¼ CMOS érzékelő Képfelbontás 300k Pixel Forgatás és döntés (Pan&Tilt) Optimalizált MJPEG video tömörítés Több felhasználó vezérlés

Részletesebben

1. Fejezet: Számítógép rendszerek. Tipikus számítógép hirdetés

1. Fejezet: Számítógép rendszerek. Tipikus számítógép hirdetés 1. Fejezet: Számítógép The Architecture of Computer Hardware and Systems Software: An InformationTechnology Approach 3. kiadás, Irv Englander John Wiley and Sons 2003 Wilson Wong, Bentley College Linda

Részletesebben

Szoftver karbantartás

Szoftver karbantartás Szoftver karbantartás Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Áttekintés Követelményspecifikálás Architektúra

Részletesebben

Nagy Gergely április 4.

Nagy Gergely április 4. Mikrovezérlők Nagy Gergely BME EET 2012. április 4. ebook ready 1 Bevezetés Áttekintés Az elektronikai tervezés eszközei Mikroprocesszorok 2 A mikrovezérlők 3 Főbb gyártók Áttekintés A mikrovezérlők az

Részletesebben

Amibe még John McLane is belepirulna, avagy az ipari irányitási rendszerek biztonsági kérdései

Amibe még John McLane is belepirulna, avagy az ipari irányitási rendszerek biztonsági kérdései Amibe még John McLane is belepirulna, avagy az ipari irányitási rendszerek biztonsági kérdései Hirsch Gábor, Sales Manager Copyright Fortinet Inc. All rights reserved. Agenda Fenyegetések alakulása ICS

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (4) Szoftverminőségbiztosítás Biztonság kritikus szoftverek Hibatűrés Szoftver-diverzitás Biztonság, biztonságosság Mentesség azoktól a feltételektől, melyek halált, sérülést,

Részletesebben

Hálózati rendszerek adminisztrációja JunOS OS alapokon

Hálózati rendszerek adminisztrációja JunOS OS alapokon Hálózati rendszerek adminisztrációja JunOS OS alapokon - áttekintés és példák - Varga Pál pvarga@tmit.bme.hu Áttekintés Általános laborismeretek Junos OS bevezető Routing - alapok Tűzfalbeállítás alapok

Részletesebben

Magic xpi 4.0 vadonatúj Architektúrája Gigaspaces alapokon

Magic xpi 4.0 vadonatúj Architektúrája Gigaspaces alapokon Magic xpi 4.0 vadonatúj Architektúrája Gigaspaces alapokon Mi az IMDG? Nem memóriában futó relációs adatbázis NoSQL hagyományos relációs adatbázis Más fajta adat tárolás Az összes adat RAM-ban van, osztott

Részletesebben

Operációs rendszerek. A Windows NT felépítése

Operációs rendszerek. A Windows NT felépítése Operációs rendszerek A Windows NT felépítése A Windows NT 1996: NT 4.0. Felépítésében is új operációs rendszer: New Technology (NT). 32-bites Windows-os rendszerek felváltása. Windows 2000: NT alapú. Operációs

Részletesebben

Intelligens biztonsági megoldások. Távfelügyelet

Intelligens biztonsági megoldások. Távfelügyelet Intelligens biztonsági megoldások A riasztást fogadó távfelügyeleti központok felelősek a felügyelt helyszínekről érkező információ hatékony feldolgozásáért, és a bejövő eseményekhez tartozó azonnali intézkedésekért.

Részletesebben

SZÓBELI ÉRETTSÉGI TÉMAKÖRÖK

SZÓBELI ÉRETTSÉGI TÉMAKÖRÖK INFORMATIKA SZÓBELI ÉRETTSÉGI TÉMAKÖRÖK Az emelt szint a középszint követelményeit magában foglalja, de azokat magasabb szinten kéri számon. 1. Információs társadalom 2. Informatikai alapismeretek - hardver

Részletesebben

Szoftver architektúra tervek ellenőrzése

Szoftver architektúra tervek ellenőrzése Szoftver architektúra tervek ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Tartalomjegyzék A fázis

Részletesebben

Gyümölcsöző megoldások

Gyümölcsöző megoldások Gyümölcsöző megoldások Mi mindenre használható egy bankkártya méretű számítógép? Németh Gábor www.rpibolt.hu Mi is az a Raspberry PI? Raspberry PI Foundation Bankkártya méretű számítógép TV-re, monitorra

Részletesebben

A hibakezelés tesztelése: Hibainjektálás

A hibakezelés tesztelése: Hibainjektálás Szoftverellenőrzési technikák (vimim148) A hibakezelés tesztelése: Hibainjektálás Majzik István és Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek

Részletesebben

Szolgáltatás Orientált Architektúra a MAVIR-nál

Szolgáltatás Orientált Architektúra a MAVIR-nál Szolgáltatás Orientált Architektúra a MAVIR-nál Sajner Zsuzsanna Accenture Sztráda Gyula MAVIR ZRt. FIO 2009. szeptember 10. Tartalomjegyzék 2 Mi a Szolgáltatás Orientált Architektúra? A SOA bevezetés

Részletesebben

Tájékoztatás alap- és haladószintű tanfolyamainkról

Tájékoztatás alap- és haladószintű tanfolyamainkról Tájékoztatás alap- és haladószintű tanfolyamainkról Tanfolyamaink 2018-ban A több évtizedes magyarországi szakmai tapasztalat és a közel 100 éves nemzetközi háttér garantálja tanfolyamaink magas színvonalát,

Részletesebben

3. A DIGILENT BASYS 2 FEJLESZTŐLAP LEÍRÁSA

3. A DIGILENT BASYS 2 FEJLESZTŐLAP LEÍRÁSA 3. A DIGILENT BASYS 2 FEJLESZTŐLAP LEÍRÁSA Az FPGA tervezésben való jártasság megszerzésének célszerű módja, hogy gyári fejlesztőlapot alkalmazzunk. Ezek kiválóan alkalmasak tanulásra, de egyes ipari tervezésekhez

Részletesebben

Valós idejű információk megjelenítése web-alapú SCADA rendszerben Modbus TCP protokollon keresztül

Valós idejű információk megjelenítése web-alapú SCADA rendszerben Modbus TCP protokollon keresztül PRESENTATION Valós idejű információk megjelenítése web-alapú SCADA rendszerben Modbus TCP protokollon keresztül LÓRÁNT, Horváth Process Automatika Kft. info@automatika.hu rendszertechnikai felépítése Beépített

Részletesebben

Számítógép-rendszerek fontos jellemzői (Hardver és Szoftver):

Számítógép-rendszerek fontos jellemzői (Hardver és Szoftver): B Motiváció B Motiváció Számítógép-rendszerek fontos jellemzői (Hardver és Szoftver): Helyesség Felhasználóbarátság Hatékonyság Modern számítógép-rendszerek: Egyértelmű hatékonyság (például hálózati hatékonyság)

Részletesebben

Nyilvántartási Rendszer

Nyilvántartási Rendszer Nyilvántartási Rendszer Veszprém Megyei Levéltár 2011.04.14. Készítette: Juszt Miklós Honnan indultunk? Rövid történeti áttekintés 2003 2007 2008-2011 Access alapú raktári topográfia Adatbázis optimalizálás,

Részletesebben

Valós idejű megoldások: Realtime ODS és Database In-Memory tapasztalatok

Valós idejű megoldások: Realtime ODS és Database In-Memory tapasztalatok Valós idejű megoldások: Realtime ODS és Database In-Memory tapasztalatok Pusztai Péter IT fejlesztési senior menedzser Magyar Telekom Sef Dániel Szenior IT tanácsadó T-Systems Magyarország 2016. április

Részletesebben

Komponens alapú fejlesztés

Komponens alapú fejlesztés Komponens alapú fejlesztés Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással

Részletesebben

Számítástechnikai kommunikációs lehetőségek a QB-Pharma rendszerrel. Előadó: Bagi Zoltán Quadro Byte Kft. ügyvezető

Számítástechnikai kommunikációs lehetőségek a QB-Pharma rendszerrel. Előadó: Bagi Zoltán Quadro Byte Kft. ügyvezető Számítástechnikai kommunikációs lehetőségek a QB-Pharma rendszerrel. Előadó: Bagi Zoltán Quadro Byte Kft. ügyvezető Az Uniós országokban már alkalmazott új lehetőségek Korszerű zárt hálózatok, rendszerek,

Részletesebben

Laboratóriumi műszerek megvalósítása ARM alapú mikrovezérlővel és Linux-szal

Laboratóriumi műszerek megvalósítása ARM alapú mikrovezérlővel és Linux-szal Laboratóriumi műszerek megvalósítása ARM alapú mikrovezérlővel és Linux-szal Fuszenecker Róbert Budapesti Műszaki Főiskola Kandó Kálmán Műszaki Főiskolai Kar 2007. október 17. Laboratóriumi berendezések

Részletesebben

Felhasználók hitelesítése adatbiztonság szállításkor. Felhasználóknak szeparálása

Felhasználók hitelesítése adatbiztonság szállításkor. Felhasználóknak szeparálása Szabó Zsolt adatbiztonság tároláskor Felhasználók hitelesítése adatbiztonság szállításkor Felhasználóknak szeparálása jogi és szabályozási kérdések incidens kezelés öntitkosító meghajtókat Hardveres Softveres

Részletesebben

Építsünk IP telefont!

Építsünk IP telefont! Építsünk IP telefont! Moldován István moldovan@ttt-atm.ttt.bme.hu BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM TÁVKÖZLÉSI ÉS MÉDIAINFORMATIKAI TANSZÉK TANTÁRGY INFORMÁCIÓK Órarend 2 óra előadás, 2 óra

Részletesebben

Finishing termék bemutatkozás Magyarországon!

Finishing termék bemutatkozás Magyarországon! Finishing termék bemutatkozás Magyarországon! Graco 1 Komponensű folyadékkezelő berendezések Informer és ProControl 1KE 2 1K-s csomag Felügyeljen az Informer rendszerrel Figyelje az áramlási mértéket Szerezzen

Részletesebben