Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben
|
|
- Orsolya Bogdánné
- 8 évvel ezelőtt
- Látták:
Á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 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
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
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
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
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
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
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
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
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
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
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
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
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
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Ó
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
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ý,
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ó
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
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
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
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
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,
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ó
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
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
Ú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
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
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
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
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,
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
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
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
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
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
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
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
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
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
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ó
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
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
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
Ú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 ->
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
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
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
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
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
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
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
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
É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
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
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
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,
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
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,
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
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
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
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...
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ó
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 -
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
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:
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
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
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
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
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
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ő
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
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
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
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
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
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
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,
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
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
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
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.
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
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
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
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
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
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,
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
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
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)
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,
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
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
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,
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
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
É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
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