Biztonságkritikus rendszerek Gyakorlat: Architektúrák
|
|
|
- Eszter Ráczné
- 5 évvel ezelőtt
- Látták:
Átírás
1 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
2 Az IEC architektúra terminológia BME-MIT 2.
3 IEC architektúrák 1/2 1oo1 1 out-of 1 o Egy csatorna szükséges a biztonsági funkcióhoz (egyébként hiba) o Diagnosztikai ellenőrzés letiltja a hibás csatornát (hibás funkció elkerülhető) 1oo2 1 out-of 2 o Két csatorna o Egy elegendő a biztonsági funkcióhoz (bármelyik biztosíthatja) o A diagnosztika letiltja a hibás csatornát 1oo3 1 out of 3 o Három csatorna o Egy aktív csatorna elegendő a biztonsági funkcióhoz o A diagnosztika letiltja a hibás csatornát 1oo3 BME-MIT 3.
4 IEC architektúrák 2/2 2oo2 2 out-of 2 o Két csatorna o Mindkét csatorna szükséges a biztonsági funkcióhoz (pl. komparálással ellenőrizve) o A diagnosztika letiltja a hibás csatornát 1oo2D o Két csatorna o Alapeset: Mindkét csatorna szükséges a biztonsági funkcióhoz (pl. komparálás) o Ha egy csatorna diagnosztikája jelez: Egyedül a másik csatornára kapcsol (ha annak diagnosztikája nem jelez) o Mindkét csatorna diagnosztika jelez, vagy csak a komparátor jelez: Kimenet nem használható 2oo3 o Három csatorna o Két csatorna egyetértése kell a biztonsági funkcióhoz BME-MIT 4.
5 IEC példa architektúra 1/2 Két szenzor: 1oo2 szenzorjel kialakítás Egy beavatkozó: Erre 2oo3 vezérlés BME-MIT 5.
6 IEC példa architektúra 2/2 Három szenzor: 2oo3 szenzorjel kialakítás Két beavatkozó: Ezekre 1oo2D vezérlések BME-MIT 6.
7 Hibrid és dinamikus architektúrák BME-MIT 7.
8 Célkitűzés Milyen konfigurációt alakítsunk ki, ha hardver és szoftver hibákat is szeretnénk tolerálni? o Adott számú hardver állandósult hiba o Adott (maximális) számú szoftver tervezési hiba Példa: 1 állandósult hardver hiba és 1 szoftver tervezési hiba tolerálandó mik a lehetőségek? o Szoftver: tervezési hiba variánsok o Hardver: véletlen hiba replikáció BME-MIT 8.
9 RB/1/1 Hibrid architektúrák (áttekintés) o Elfogadhatósági teszt után komparálás o Diagnosztikai ellenőrzés után a hibás lekapcsol RB/2/1 o Elfogadhatósági teszt után szavazás o Ismételten eltérő lekapcsol (RB/1/1 lesz) NVP/1/1 o Variánsok közötti szavazás o Ismételten eltérő lekapcsol (komparálás marad) NVP/2/1 o 4 variáns esetén szavazás Típus / tolerált hardver állandósult hibák / tolerált szoftver tervezési hibák (maximális) száma o Ismételten eltérő lekapcsol, újrakonfigurálás után NVP/1/1 lesz RB: Recovery Block (javító blokkok) NVP: N-version Programming (N-verziós programozás) BME-MIT 9.
10 Hibrid architektúrák 1. RB/1/1 RB/2/1 V1 V2 D V1 V2 D V1 V1 V1 V2 V2 V2 D D D = RB/1/1 o Elfogadhatósági ellenőrzés után komparálás o Diagnosztikai ellenőrzés által jelzett hiba után a hibás hardver lekapcsol RB/2/1 o Elfogadhatósági ellenőrzés után szavazás o Ismételten eltérő lekapcsol (RB/1/1 marad) BME-MIT 10.
11 NVP/1/1 Hibrid architektúrák 2. NVP/2/1 V1 V2 V3 V1 V1 V1 D V2 V2 D V2 D D D D D V3 V3 NVP/1/1 o Variánsok közötti szavazás o Ismételten eltérő lekapcsol (komparálás marad, diagnosztikai ellenőrzéssel) NVP/2/1 o 4 variáns esetén szavazás o Ismételten eltérő lekapcsol (NVP/1/1 konfigurálható) BME-MIT 11.
12 Adaptív redundancia Önkonfiguráló optimista programozás: Self-configuring Optimistic Programming (SCOP) Paraméterek: o o o Hány variáns egyetértése (azonos kimenete) szükséges: a Hány variáns van: n Mennyi idő áll rendelkezésre: t Iteratív végrehajtás 1. Kezdetben a minimális számú (várhatóan egyetértő) variáns végrehajtása: a számú variáns 2. Kimenetek ellenőrzése komparálással: k számú egyezik Ha k=a, akkor kilépés: OK Ha k<a, akkor (optimista módon) a-k újabb variáns végrehajtása az egyetértés eléréséhez, és folytatás a 2. lépéssel Kilépés hibajelzéssel: Ha nincs több végrehajtható variáns, vagy letelt a t idő BME-MIT 12.
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
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
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
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
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
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
ó ü ú ü ú ó ó ú ü ú ü ú ö ö ű ü ö ö ö ú ó ü ö ö ö ü ö ö ö óó ü ö ö ó ó ö ó ö ú ó ó ó ó ű ö ö ó ö ó ó ú ű ü ö ö óó ú ó ö ö ü ó ó ó ó ó ó ó ü ó ú ű ü ó ö ú ű ó ü ö ö ó ó ü Á ó ű ó ü ó ó ú ó ú ó ó ö ö ü ú
Á Á Ó É ö ó ó É í ó ü ó ö ö í ó ö ó í ó í ú Í í ó í ö í ó ű ű ü ó ó ú í ö í ö ü ú í í ü ü ó ó ó ó ó ú í ü í ű ó í í ö ü ü í ű ó í ó ü ö ü í í ü ó ű ó í ü ü ó í ó ó í ó í ú í ó ó í ö ó ö Á óö ö í í ó ó
ö ö ö ó ö ö ú ö ö ö ö ö ú ő ő ö ő ö ó ó ő ű ó ö őö ő ü ő ő ú ó Á Á Á Á ó ü ó ó ú Á Á Á ő ő ö ő ö ü É Á Á ú ö Á Á É É ö ü ö ö ő Í Á Ő É Ő ú Á É É ö ű ü ő ő ö ü ó ö Á É É ő ó ó ö ő ó Ö ő ó Ő ő ü ö ö ó ö
Ö Í Ő Ó ó ö ó ó ő ö ú ö ú ö ö ú Í ó ö őö ő ü É É ő ő ö ö ó ó ö ő ő ő Ü É ü ú Ö Ö É É ő Ü Ö Í É Ó Ö Ó Ü É Ö ú Ó É Ő É É ö ö ü ö Ü ö ö ő ö ő ő Ö Ú Ő É Ő Ú É É ö ű ő ő ö ó ö Ú É É Ő Ó Ó ö Ó ö ó ő ó ő ó ű
Ó Ó ö ő ő Ü ö Ü ő ö ö Ü Ó ö Ó Ó Ü ö Ó Ó Ü Ó Ü ö ö ő Ü ő ö Ü ő Ó Ü ő ö Ó Ó Ü ö ő Ü Ü Ü Ó ö ö ő Ü Ó Ö ö Ó Ü Ó Ü Ó ő ö ö Ü Ü ő ö Ó Ü Ó ö Ó Ó ö Ü ö ő ö Ó ö ö ö ö ö ö ö ö ö Ü ő ű ű ö Ó ű ő Ó Ó Ü Ó Ü ő Ü Ó
Í ú Ó Á Á ö ö ő ö ő ö Á ö ő Í Í Í ö ö ő Í ö ö ű ö ü ö ú ü ő ü ő ö ő ö ő ú ő ö ő ö ő ö É ő ü ő ő ö ő ő Í ő ö ő ő ő ö ö ö ö ü ő Í ő ö ő Ó ü ő ő ü ü ő ő ő ő ü ő ö ű ő ő ő ő ő ő ű ő ő ő Í ű ő ö ö ő ő ő ű ő
É É ő ü ó ü ú ü ó Ö ű ő ú ű ő ü ó ó Ö Ü ó ó ő ü ú ü ű ó ő ő ő ő ő ó ő ő ü ó ő ó ő ő Ö ó ő ő Ö ő ü ó ü Ö ő ü ó ő ő Á Á ő ó ó ó ő ő Á ű ő ó ó ő ü ő ü ő ő Á ú ü ü ó ő ű ő ő ő ó ü ó ő ő ü ó ó ó Á ő Á ő ó ő
ü ö ú ü ü ö ú ő ö ő ő ű ö ú ő ű ö ü ü ő ú ö ü ü ö ö ő ö ú ű ü ö ő ű ö őö ő ü ő ö ő ö ö ü ü ő ű ö ö ü ü ő ü ü ő ü ú ö ö ü ö ü ö ö ő ú ő ő ú ü ő ő ü ö ú ő ö ü ő ú ő ő ö ö ö ő ő Á ő ö ő ü ő ö ő ú ü ü ő ő
Ó ú ö ő Á ö ő ő ő Á ú ú ő ő ö ú ő ő ü ö ö ü ő ö ő ö ő Ó ö ö Ó ö ö ú ö ö ő ö ö ö ü ú ő ú ö ú ő ő ő ő ö ő ő ú ő ő ö ú ú ő ő ú ő ö ö ü ő ö ö ö ö ő ü ő ö ö ő ö ö ü ő ő ö ő ö ő ö ő ö ö ö ö ő ö ö ő ő ű ű ű ö
ö Ö ő Í Ó ö ö Ö ő ő ű ö ő ö ö ö ö ő ő ö ő ő ő ő Ö ő ö ö Ö ö Ö ö ő ö Ö ő ö ő ö Ú ő ő ö ö Ö ő ö Ó ő ő ő Ö ö ő ö ö ú ö ő ö ö ö ö ű ö Ö ö Ó ö ú ú ö ő ö ú ö ö ö ö ö Ó ő ő öő ő Á ű ő ö Ö ő Á Ó ö Ó Ó ö ű ú ú
ö ú Ú ö ö Ú Á É Á ő ú Ú Ú É É ő É É ö ú Ú ö É Á Á Á ö ö ö É ö ö ö Ú É ö Ú É ö ő ú Ú É ö Ü ö ö Ü ö Á Á ö ő ű ú ö ú Ú É É ö ű ú É ú ö ő ű ö ü É ú ú ö É ö ű É ú ö ú Ü ü É Á ö ő ű ö ö ú É ú ü ú É ö ű ú Á ü
Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben
Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben Majzik István majzik@mit.bme.hu Biztonságos állapotok Működésmód Fail-stop működés A megállás (lekapcsolás) biztonságos állapot
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
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á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
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
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
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
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
Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata,
Járműinformatika A járműinformatikai fejlesztés
Járműinformatika A járműinformatikai fejlesztés 2016/2017. tanév, II. félév Dr. Kovács Szilveszter E-mail: szkovacs@iit.uni-miskolc.hu Informatika Intézet 107/a. Tel: (46) 565-111 / 21-07 A járműfejlesztés
Bokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Beépített diagnosztika Bokor Péter Tartalom 1. Elosztott diagnosztika: a feladat 2. A diagnosztika kihívása 3. A tagság mint diagnosztika 4. A DECOS diagnosztikai szolgáltatások 5. Kapcsolódó feladatok:
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
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
Á Á Ö Ö Ö É É Á Á Á ö ő É É É ö Á ö É ö Ü Á Ó É Ü Á É Á Á Á É ö É É É Á Ó Á Á Á É Ó Á É ő Ü Á É Á Á Á É Á ö Á Á Á Ü Á Á É ö Á É Á Ü Á Á Á É É É ö Ó Ü Ü É É É ű É Á Á ő É É É É Á ő É ö É É Ü É É Á É Ü É
OKOSTELE. 0 Ft. szükséges. KÉPE. 0 Ft. 80 cm. 0 Ft. kezdőrész
7 : 7 Ú f f f 7 ) ( : 7 f f ö ö f fö f f f ( : 7 7 ) f - 8 - - - 8 ) ( í f - - f -f f f ) ( : f - - f f f f í f f f ö f ö f - ú ö f - - f f: f ö ) f ( f ö f í - - f : ö ö - f f ú f ) 7 ( : ) 7 ( : Í Í
Á Á Á Á Ü ű Ü ö ű Ö ó ó ó ó Í ö Í ö ű ö ó ó ó Ö Í ó ó ó ó ó ó ó ö ó ö ö ó ö ó ö Ú Ö ó Í ö Í Íó Í ó Á Á ö ű ű ö É ü ű ó É ó ű ó ű ü É ó ó ó Ü É ó ó ö ó Í ü ö ö ö ü ó Ü ö ó ó É ü ö ö ó ü ű ó ü ö ó ó ö É
ő ő ó ő ó ü Ü Ö ő ü ó ü ó ú ó ü ó ü ő ó ő ó ó ó ű Á Ö ó ü ó ő ó Ű Ö ő ó Ö ü ü ó ó ü ő Ö Ö ó Ö ű ó Í ó ó Ü ó ó ő ó ő ü ú ő ő ú ő ő ő ü ó ő ű ú ü ü ú ő ő ó ó ő ó ú ő ő ű É ú ő ú ő ő ü ő ü ú ő ó ó ő ő ú ü
É ő ő ő ő ő Ú É ő É ő É ű ű ő É ő ő Ó É Ú ű É ű ű Ó Ó ű ű ő ű ő É ő ő É Ü É ő ő ő ő ő ű ő Ú Ú É É ő ő ő ő Ú ű Ú Ü ő ő É ű É ő ő ő Ú ű ő ő É É É ő ő ő Ú É ő ő É Ö É Ű É Ú Ó ő ű ő Ü ű ő ő É ő É ő ő ő É ő
Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Ez vajon egy állapotgép-e? Munkafolyamat (Workflow):
Ö ü Ö ü ü Ó ó ó ü ó ü Ö ü ó Á Ö ü ó ü ü ó í ó ü ó í ó ó í í í ó Á ü ű ú ü ó ü ú ú ó ű ó ű Á Á Á ü ű ó ó ó í ú ü ü ü ü ó ü ó ü ó Á ú ü í ü ü ű ű ü ü ú ü ű ü ü Ö í ó ó ú ó ú í í í ü ü í ó ü í í ó í ü í í
ű ú ü ü ü ü ü ü Á ü ú ü Á Á Á É Ö Ö Ö Á É É ü Á ú ű ú Í Á Í Á ű ü ű ü Ö ű ű É ú ű ú Á Á ű ü ú ű ú ü ú ú Ó ü ű ü ü Í ü Í Í Í Ó ú ú ú ú ú ú ü ú Í Ó ű ú ű Á Á ü ü ú É Í Ü ű ü ü Á ü ú Í É ú Ó Ö ú Ó Ó Ó Í ú
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem MIKROELEKTRONIKA, VIEEA306 A MOS inverterek http://www.eet.bme.hu/~poppe/miel/hu/13-mosfet2.ppt http://www.eet.bme.hu Vizsgált absztrakciós szint RENDSZER
Ó É Á É Ü É Á Á Ú É Á ű ő ő Ú ő Ü Ü ő ő Á É Á Ú É Á ő ő ő ő Á ő Á É ő Á ő ő ő É ő Á Á ő Á É Á ő Ú ű ő ű ő Ú ő ő Ú Ú ő Ó Ú ő É Ú ő Á É ő Ú Ó É ő ő ő Ü ő ő ű Á Ú ő Ü Á É É Á Á ő É Ú ű Á Ü Ú Ü ű Ü ű Ú Ú Ú
Nagy bonyolultságú rendszerek fejlesztőeszközei
Nagy bonyolultságú rendszerek fejlesztőeszközei Balogh András balogh@optxware.com A cég A BME spin-off-ja A Hibatűrő Rendszerek Kutatócsoport tagjai alapították Tisztán magánkézben Szakmai háttér Hibatűrő
Mérôváltó bemenetek és általános beállítások
Mérôváltó bemenetek és általános beállítások DE50583 Mérôváltó bemenetek A analóg bemenetekkel rendelkezik, amelyekre az alkalmazás által megkívánt mérôváltókat lehet csatlakoztatni. S80, S81, S82 T81,
Üzemeltetési útmutató Optikai távolságérzékelő. O5D10x / / 2014
Üzemeltetési útmutató Optikai távolságérzékelő O5D10x 80000261 / 00 08 / 2014 Tartalomjegyzék 1 Bevezető megjegyzés3 1.1 Alkalmazott szimbólumok 3 1.2 Alkalmazott figyelmeztető elemek 3 2 Biztonsági utasítások
ü ö Ö ü ú ü Ö ü ü ő Ü Ü Ü Ü Ü Ü Ü ő É ő ő ő ő ő ő ő ő ü ő ú ö Ó ö ű ő ö ö ú ü ű ö ő ő ö ő ő ő ő Ö ö ö ö ö ü ő ü ő ö ö ő ő Ó ő ő ő ü ő É ő ú ö ü ö ü Í ö ő ü Í ö ö ű Í ö ő ő ő ő ő ö ő ö ő ö ö Í É ő ő Á ő
Ő ö Ö ő ü ü ü ö ö Ö í ö ő ó ő ü Ö Ö ö Ö í ö ö ö ö ö ú ő ö Ö ó ö ö Ö ö Ö Ő ő ő ü ő í ö ö Ö ő ö ó ó ó í í í ű ö ó í ö ö Ö ő ó ö í í ű ö ö Ö ú ű ö ú ő í öö ö ű ö ö Ó ö Ö ő ü ü ü ö í ö ú ő ű ö ö ő ő ó ő ü
É Ú ő ő ő ő ő ő ő Ó ő ő ő Ó ő ő ő Ó ő ő ő Ó ő Ó Ó ő Ó ő ő Ó Ó Ö Ó Ó Ó Ú ő Ó Ó ő ő ő ő ő ő ő Ó ő Ő Ű ő Ó Ó Ű Ó Ú ÓÓ Ő Ú Ú Ű ő Ó Ó ő Ó ő ő ő Ó ő ő Ó Ó ő Ó ő ő ő ő Ó Ó Ó Ó ő Í Ü Ü ö ő Ü ő ő ő Ó Ó Í Ű Í Ő
Á É ö ő Ö ő ó ó ő ő É í ő ő ó ó ö ö í ő ő ő ö ő ó ó ö í ö ö ő ö í í Á ú í Í ő ö ú ö ö ő ö ö ő ó ő ö ó ő ő í í í ö ű ó í ő ó ó í ü ö ö í ó ó ö ő ő ö ó ó í ü ö ü ö ö í ó ö ő ő ó ó ő í ü í ó ö ü ő ő ó ö ó
ú ü ő ú ő ú ü ú ő ő Á Á ó ó ó ó í ú í ó í ó Ö É É Á Á Á Í ő ő ő ü Á Á Á ő ő ő ü É Á ü ú í ő ü Ö Ö É É Ő Ü Í Á É ó Ö Á ó Ü É Á Á Á Á ó É Ő Á Á É É ü ü ő í ő ő ő ü Ú Ó É Ő Ú Á É É Ö ü ő ú ü ú ü ú őó ó ó
Ö Ú Ó É Í Ó Ü É É É ó ö ü ő í ó Ü ő ü í ü ő ű ó ű ü ó ó ü ü ő í ó ú ű ö ö ó í ü ő í ó í ö ó ő ö ü ű ü ü Á ú ö ü ő í ó Ü Ü ő ó ó ő ö ő ó ö ö ü ó ú ü ó ü ó ú ö ö ö ö ü ó í ó Ü ó ó ö í í ó ü í ó Ü ü ő ű ó
í Ó ő Í Á ö ö í ú ó í ó í ó ő ó ó ö ó Ü ő í í í ó í ü ö Ó Í ő ő í í ő í ó ö ó í í ó ö ő í ű ő ő í í ő ö ó í ó ö ő ö ő í í ö ó ö ö ő ő í ó í ö ö í ö ö í ö ó ö ó í ó í ő ö í ő ó Á í ő í í ó í ó ó í ú ó ü
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
ö é Ö ó ő ü ő ö é ü ö é Ö é ő ü é ü ö ö ö ó ü ü é é Ő ü é ö ó ö ö é é Á ó é é ő ó é é ő ő é é é ő ő é ő ü ő ő é é ú ő ő ó é é ő ő ő ö ő é ő ő ó é ö ö ő é ő é é Ő í é ő ő ő é é ő í ó ő é ő ü é é ú ö é ö
ö í Ü ö Ö ö ű ö ű ö í ű ó ö ó ö Ö ó ü í ó ó ó ö ö ö ó ó ó ö í ó ó ó ö ö ö ö ö í ö ó ö í ö ö ű ö ű ö í í í í ü ü í ó ö ö ü ú ü ö ö ö ó ü ö ű ö ö ü ó ö ú ö ű ö í ú í ó ö í ó ö í ö ű ö ű ö í í í ó ö ö Ö Ö
ő ö Ú ö Ú Ö ú Í ö ú ö ö ö Í ő Ő ü ö ú ö ő ö ú Ú ű ö ö ü ő ő Ü ö ö Í ö Ü ö ö ö ő Ü ö ő ü ő ő ö ő ő ő Ü ú ü ü ü Ü ü ü ö Ü ő ő ő ő ő ő ö ú ü ü Ú ö Ü ú ö ü ő ö ö ő ő ü ő ö ő ü ü ü ö ú ű ú ű Ü ö ö ű ü ő ő ő
ó ü ó Ú Á ö ú ő ő ő ü ü ő ö ú ö ú ő Á Á ó ü ó ö ó ó ő ó ö ő ü ő ö ú ó Á Á Á ü ö ő ö ó ő Á ó ö ő ö Í ó ő ö ő ő ő ö ö ő ö ö ő Á Á Á ö ö ú ü ó ü ö ú ú Á Á ö Ü Í Á ó Ő Ü ó Ő Á ü ü ö ü ö ö ő ö ő ő ő ő Ú Ú ü
É ö ó ö ö Á ö Á ö Á ö ó ö ö ü ű ö ü ű Á ó ű ö ü ó ö ó ö ó Í ü Í ö ü ö ü ó ó ó ó Í ö ó Í Á ó ű ü ó Ö ű ó ö ó Í ó ó ü ó ű ó Í ö Í ó ű ü ó ó ó Íű ó ö ó Í Í ó Í Í Í ó Í ó ű Í ü ó ó ó ó ó Ö ű ó ó ü ó ű ü ü
Digitális jelfeldolgozás
Digitális jelfeldolgozás Kvantálás Magyar Attila Pannon Egyetem Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék magyar.attila@virt.uni-pannon.hu 2010. szeptember 15. Áttekintés
Autóipari beágyazott rendszerek Dr. Balogh, András
Autóipari beágyazott rendszerek Dr. Balogh, András Autóipari beágyazott rendszerek Dr. Balogh, András Publication date 2013 Szerzői jog 2013 Dr. Balogh András Szerzői jog 2013 Dunaújvárosi Főiskola Kivonat
ú ű Á Á ö ű ö ű Á Á Á ú ö ö ö ö ö ö ö ö ö ö ö ö Ó ö ö ö ö ö ö ö ö Ú Ó ö Ó É Ó Ó Ó ű ú ú É Á ö ö ű ö ű ú Ó ö ö ú ú ű ö ú ö ö ö É ö ö ö ö ö ö ű É ö ö ö ű ö ö ö ö ö ö ö ö ű ö É ö ö ö ö ú ö ö ű Á ö ö ö ö ö
É Ó Ö Ó É É Ö É Ó ő Ó É Ó Ö ó ó ő Ö Ó Ö ő Ö ő É ü Ó Ó Ó Ó Ó É Ö Ö Ó Ö ő ő Ú ő ó Ó Ó ú Ó ő Ó Ó Ó ű Ó ő ő Ó Ó Ó É Ó ó Ö Ó ó Ó ő Ö Ó Ö Ö É ő Ö Ö ő ó ó Ö Ö Ö Ó Ö Ö ű ó Ö Ö Ö Ó Ö Ö Ó Ó Ó Ö ő Ó Ö É Ó Ó Ó Ó Ö
úű Ó ű Ó ü ü Ú Ő Ú ú Ó Ő ű Ő Ű Ű ű ű ű Ő ű Ú Ő ú ú ű Ő ú Ő ü ű ú ú ü Ő Ő ú Ó Ő ű ü ű Ö Ú Ú ú Ő Ő Ö ü Ű ű Ű Ő Ő Ő Ő Ő Ő Ö Ő Ó Ú Ú ú Ő ú Ó ú ú ű ű ű ű Ű É Ó Ő Ú Ö ú Ő ű Ó Ő Ő ú ű Ú Ó Ú Ő Ő Ó Ő ű Ű ű ű ű
Ó Ú ű ű Ő Ü É Ö Ú Ú Ú É É Ö Ö É É Ö É É É Ü ű ű ű ű ű ű ű É ű ű ű ű Ö ű Ö ű ű Ü Ü Ü Ü Ú É ű ű ű ű Ú ű Ú Ü Ü Ő Ő Ü Ü Ú Ő Ü Ú Ú Ü Ü ű Ú ű ű ű Ú Ü Ü Ü Ö Ü Ú ű ű ű ű ű Ú É É ű ű ű É Ű É Ü Ü Ü Ú Ü É ű É É Ű
Ü Ü ű Ü Ü Ú Ü É Ú Ü É Ü Ü Ü Ü ű Ü ű É É Ú Ü Ü É Ő É Ő ű ű ű ű Ú Ú Ü Ú Ü É Ü Ü Ü É Ü Ü Ü Ü Ü Ü Ü Ü Ú ű Ü ű Ü Ü É É Ü Ü Ú Ü ű É Ű ű ű ű Ö ű ű ű ű Ü Ü Ü Ü É Ü Ü É Ü Ü Ü Ü Ü É Ü Ö Ü Ü Ú Ú Ű Ü Ü É Ü É É Ú Ü
ö ö Á ö ü ö ö ö ö ú ű ö ö ü ú ű ö ö ü ű ö ű ü ű ű ö ö ű ö ű ű ö ö ö ű É ű ű ö ű ú ü ű Ö ö ö ű ö ú ü ö ö ű ű ö ö ö ö ö ö ö ö ű ú ö ö ű ű ö ö ö ö ö ö ö ö ö ü ű ú ö ü ú ö ö Í ú ö ü ü ö ö ö ö ö ö ú ö ü ü ú
É É Á Ü Ü ó ó Á Ü Ú Ö ö ö ó ő ő Á ó ö ó ő ú ó ö ö ó ó ó ú í Ú í ó Ö ö ö ó ő ó ü ó í ú ő í ó ö ö ü í í í ö í Ó ó ó ó ö őí ó ü ó ő ó ó ő ó ö ö ó ő ó ú ü ü ö ó í ő í ó ü ó í Ő í ú í ó í ú ö ó ö ó ü ó ö ö
KeyLock-2V Digitális kódzár 2 kimenettel
KeyLock-2V Digitális kódzár 2 kimenettel HU Felhasználói és programozói leírás A kézikönyv tartalmára és a benne leírt berendezésre vonatkozóan a fejlesztő és gyártó fenntartja a változtatás jogát. A gyártó
ó ö Ö ő ü ú ő ö ő ó ö ö ö ü ú Ö ö ó ő ö Ö ő ü Ó Ó Ó ö ö ő ő ő Ö ú ö ő ő ő ö ő ö ő ő ü ö ö ö ó ó í ó ü í ö í ö ó ő ö ú ö ó ü ö ú ö í ö í í ö ó í ö ö ő Í í ü ö ü ö í ö ő ü ő í í ú ö ü í ö í óö í ö ü Í í
Mi a diagnosztika? Néhány definíció, közelítés és elhatárolódás. Dr. Nagyszokolyai Iván, BME Gépjárművek tanszék
Mi a diagnosztika? Néhány definíció, közelítés és elhatárolódás Dr. Nagyszokolyai Iván, BME Gépjárművek tanszék A műszaki diagnosztika a mechatronikai rendszerek állapot-felügyeletéhez szükséges műszaki
ü ó í ű í Ó ő őö ü őö í ü Ü ő ö Ü Ü őö ű ö őö Ü í Ó Ó ü őö ö ó ú ö ű ő Ó í ó í ö Ö ö ü ő í ö í ö ö ö ő ó Ö ö í ő í ő í ő óö ü ö í ő í ő í ü ö Ó Ü ú ü ö ü ö ő ö Ü Ó í Ö ő ö ű ö í ö ő ő í ő ő ü ö ő ü ű ó
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 0. TANTÁRGY ISMERTETŐ
ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 0. TANTÁRGY ISMERTETŐ Dr. Soumelidis Alexandros 2018.09.06. BME KÖZLEKEDÉSMÉRNÖKI ÉS JÁRMŰMÉRNÖKI KAR 32708-2/2017/INTFIN SZÁMÚ EMMI ÁLTAL TÁMOGATOTT TANANYAG A tárgy célja
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
Digitális technika (VIMIAA02) Laboratórium 1
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika (VIMIAA02) Laboratórium 1 Fehér Béla Raikovich Tamás,
IRC beüzemelése Mach3-hoz IRC Frekvenciaváltó vezérlő áramkör Inverter Remote Controller
IRC beüzemelése Mach3-hoz IRC Frekvenciaváltó vezérlő áramkör Inverter Remote Controller A PicoPower család tagja 2012-10-19 A Pico IRC használatával szoftverből állíthatjuk a frekvenciaváltóval vezérelt
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata, amelyeket
Digitális technika (VIMIAA02) Laboratórium 1
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika (VIMIAA02) Laboratórium 1 Fehér Béla Raikovich Tamás,
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
Á Í Á Ó É ö ö ő ő Í Í ú ű ö ő ű ű ő Í ö öíí ö ő ő ő ő ú ö ö Í ő ő ő ő ő ő ö ő Í őő ő ő Í ő ő Í ö ő ü ő ü ú ú ő Á ü ö É ü ő Í ő ő ö Í ü ü ő ü ő ő ö ő ö ö ü ö É Í ő ú ő ő ő ő ő ő ő Í ő ö Á Ú ő ő Í ő ú ő
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
3. Biztonságkritikus rendszerek
3. Biztonságkritikus rendszerek Ebben a fejezetben az informatikai rendszerek azon csoportjával a biztonságkritikus rendszerekkel foglakozunk, ahol kiemelt jelentősége van a biztonságnak. A legnagyobb
KeyLock-23 Digitális kódzár 2 kimenettel, 3 bemenettel
KeyLock-23 Digitális kódzár 2 kimenettel, 3 bemenettel HU Felhasználói és programozói leírás A kézikönyv tartalmára és a benne leírt berendezésre vonatkozóan a fejlesztő és gyártó fenntartja a változtatás
A LOGSYS GUI. Fehér Béla Raikovich Tamás, Laczkó Péter BME MIT FPGA laboratórium
BUDAPESTI MŐSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK A LOGSYS GUI Fehér Béla Raikovich Tamás, Laczkó Péter BME MIT atórium
Szivattyú indítási folyamatok problémája több betáplálású távhőhálózatokban
Szivattyú indítási folyamatok problémája több betáplálású távhőhálózatokban Dr. Halász Gábor 1 Dr. Hős Csaba 2 1 Egyetemi tanár, halasz@hds.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) Hidrodinamikai
Üzleti architektúra menedzsment, a digitális integrált irányítási rendszer
Üzleti architektúra menedzsment, a digitális integrált irányítási rendszer XXII. MINŐSÉGSZAKEMBEREK TALÁLKOZÓJA A digitalizálás a napjaink sürgető kihívása Dr. Ányos Éva működésfejlesztési tanácsadó Magyar
Autóipari beágyazott rendszerek. Integrált és szétcsatolt rendszerek
Autóipari beágyazott rendszerek Integrált és szétcsatolt rendszerek 1 Integrált és szétcsatolt rendszerek Szétcsatolt rendszer 1:1 hozzárendelés ECUk és funkciók között Minden funkció külön egységen van
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,
INFO DIAG DIAGNOSZTIKAI MŰSZER
CITROËN DTAV INFO DIAG DIAGNOSZTIKAI MŰSZER LEÁNYVÁLLALATOK / IMPORTŐR ÚJ CITROËN gépjármű FORGALMAZÓK - Új gépjármű felkészítő - Kampánykoordinátor HIVATALOS CITROËN MÁRKASZERVIZEK - Vevőszolgálati vezető,
E7-DTSZ konfigurációs leírás
Dokumentum azonosító: PP-13-20354 Budapest, 2014.március Verzió információ Verzió Dátum Változtatás Szerkesztő Előzetes 2011.11.24. Petri 2.0 2014.01.22. 2. ábra módosítása: Az E7-DTSZ alap konfiguráció
Informatikai technológiák szakirány Rendszertervezés ágazat
Méréstechnika és Információs Rendszerek Tanszék Informatikai technológiák szakirány Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A (BSc) Informatikai technológiák
ede.bodroghy@hu.ibm.com
ede.bodroghy@hu.ibm.com 5/30/2014 Globális piacvezető a hoszting szolgáltatásokban 21000 ügyfél 140 országban 100000 menedzselt eszköz 685 alkalmazott 13 adatközpont 17 hálózati belépési pont 2 SOFTLAYER
Beágyazott információs rendszerek
Beágyazott információs rendszerek Péceli Gábor Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék MTA-BME Beágyazott Rendszerek Informatikája Kutatócsoport (2003-2006)
Szoftver karbantartási lépések ellenőrzése
Szoftverellenőrzési technikák (vimim148) Szoftver karbantartási lépések 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.inf.mit.bme.hu/
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
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
Adatok ábrázolása, adattípusok
Adatok ábrázolása, adattípusok Összefoglalás Adatok ábrázolása, adattípusok Számítógépes rendszerek működés: információfeldolgozás IPO: input-process-output modell információ tárolása adatok formájában
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
DEMUX 8. 8 csatornás digitálisról (DMX és DALI) 0-10V-ra átalakító - kezelési útmutató
DEMUX 8 8 csatornás digitálisról (DMX és DALI) 0-10V-ra átalakító - kezelési útmutató Bemutatás A DEMUX 8 egy DMX-512 és DALI jellel is vezérelhető átalakító, mely 8 csatorna értékét 0-10V-os jelekké alakítja.
Az Agrodat.hu szenzorhálózat kommunikációs/távközlési rendszerének tervezési tapasztalatai
Az Agrodat.hu szenzorhálózat kommunikációs/távközlési rendszerének tervezési tapasztalatai HTE Infokom 2014 Dr. Paller Gábor, tudományos főmunkatárs, Széchenyi István Egyetem, ITOK Szármes Péter, doktorandusz
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