Csertán György Pataricza András. Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás
|
|
- Csenge Pásztor
- 5 évvel ezelőtt
- Látták:
Átírás
1 Technológiai áttekintés Csertán György Pataricza András Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás 2 Célkitűzés Technológiai alapok bemutatása nagymegbízhatóságú biztonságkritikus rendszerek fejlesztéséhez Célterületek autóipar repülőipar vasút biztonságkritikus ipari vezérlő eszközök 3 1
2 Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás 4 Idővezérelt architektúrák Cél: elosztott számítógépes architektúra nagymegbízhatóságú biztonságkritikus valós-idejű rendszerekhez nagy alkalmazások felosztása közel önálló, jól definált felületekkel rendelkező részekre 5 Idővezérelt architektúrák Előnyök architektúra tervezés = felület tervezés előre definiált, mindenki által ismert, egyértelmű kommunikáció beépített hibatűrés hardver redundáns csomópontok duplikált kommunikációs csatornák szofver algoritmikus hibatűrés 6 2
3 Idővezérelt architektúrák összeállíthatóság (composability) csomópontok független fejleszthetősége, stabil szolgáltatások már a funkciók hozzáadása előtt, csomópontok konstruktív integrációja replika determinizmus skálázhatóság 7 Idővezérelt architektúrák Hátrányok rugalmatlan architektúra előre definiált kommunikáció előre definiált végrehajtás érzékenység szigorú kommunikáció és végrehajtás szinkronizáció WCET becslés kell WCTT becslés kell késleltetett válaszidő aszinkron eseményekre 8 Idővezérelt architektúrák Idővezérelt kommunikációs protokoll determinisztikus, időben megtörténő üzenetküldés hibatűrő óra szinkronizáció erős hiba izoláció kieső csomópontok konzisztens diagnosztizálása Példák TTP TTCAN FlexRay TTEthernet (prototípus fázisban) 9 3
4 Idővezérelt architektúrák TTP/C alapműködés: időosztásos többszörös hozzáférés (TDMA) TTA cluster CNI CNI CNI CNI node1 node2 node3 node4 node1 node2 node3 node4 TDMA round cluster cycle 10 Idővezérelt architektúrák Kétszintű tervezési módszertan (jelenleg): üzenet ütemezés taszk ütemezés Előny taszk újrafelhasználhatóság javul taszk önállóan tesztelhető Hátrány szub-optimális allokáció és ütemezés 11 Idővezérelt architektúrák Csomópontok Host A Host B Host C Host D Csomópont Hoszt számítógép Kommunikációvezérlő 12 4
5 Idővezérelt architektúrák Kommunikáció Host A Host B Host C Host D Replikált kommunikációs csatorna 13 Idővezérelt architektúrák Működés Taszk Taszk Host A Host B Host C CNI Host D Kommunikáció-vezérlő Bus Guardian 14 Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanúsítás 15 5
6 Robosztus partícionálás Cél: alkalmazások szétválasztása térben időben függetlenség elérése egymásra hatások minimalizálása hibaterjedés behatárolása hiba behatárolási régiók (fault containment region) SIL szinteknek megfelelés tanúsítás gyorsítása / egyszerűsítése 16 Robosztus partícionálás Időben idővezérelt protokoll idővezérelt architektúra bus guardian 17 Robosztus partícionálás Térben elosztott architektúra több csomópont csomópontonként egyszerű operációs rendszer memória területek szétválasztása időszeletek biztosítása érzékelők / beavatkozók szétválasztása 18 6
7 Robosztus partícionálás Partitions External Network (e.g. CAN) Sensors/Actuators DECOS Network Safety- Critical Job EEE-Support Layer Non-Safetycritical Job Non-Safetycritical Job EEE-Support Layer EEE-Sup. Layer Core Core Operating Operating System System (COS) (COS) Encapsulated Execution Environment 'EEE' (TC 1796) Communication Layered TTP - LTTP Controller (L-Flexray) Virtual Gateway(s) HFTL *... Physical Gateway(s) HW ((un)packing, Fault-Tolerance 2-channel Layer -comp.) HFTL I/O EEE-Sup. Layer Protected Shared Memory FPGA Board (Xilinx Virtex4) 19 Robosztus partícionálás Többszörözés (replikálás) hibatűrés alapja hiba behatárolási régió csomópont megoldás taszkok többszörözése másolatok külön csomópontra üzenetek többszörözése külön-külön buszon átvitel protokoll végzi a szavazást 20 Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás 21 7
8 Kódgenerálás Cél: rendszerfejlesztés gyorsítása nincs szükség kézi kódolásra kódminőség javítása ellenőrzött modellből indul ki tanusítás egyszerűbbé tétele ha a kódgenerátor tanusított a modell és a kód közötti egyezőség megbízható kódolással kapcsolatos verifikáció elhagyható 22 Kódgenerálás Egy 10 KLOC alkalmazás DO178B level B szerinti átlagos tervezési, fejlesztési és ellenőrzési ideje: 16 mérnökév 90-es évek végén a repülőipari projektek: 46%-a túllépte a költségkereteket 35%-a késett A repülőipari projektek ideje többnyire: ellenőrzés: 28% kódolás: 14% követelmények: 12% 23 Kódgenerálás Kiindulás: modell alapú fejlesztés jól definiált szemantikájú modell nincs szükség kézi kódolásra végrehajtható modell szimulációs ellenőrzéshez 24 8
9 Kódgenerálás Kézi Hagyományos automatikus Életciklus Megtakarítás 0% -20% Tanusítható kódgenerátor -50% Terv ellenőrzéssel -60% becsült (forrás: Esterel Technologies) Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás 26 Integrált, automatizált V&V Cél: ellenőrzés a fejlesztőeszközökbe integrálva ellenőrzés a fejlesztéssel párhuzamosan hibák mielőbbi felfedezése ellenőrzési folyamat automatizálása szabványokból származtatott tevékenységek ellenőrzési lépések folyamatának koordinálása kézi működtetési hibák megelőzése 27 9
10 Integrált, automatizált V&V Autóipar ISO/IEC 61508, ISO WD Repülőipar DO 178B, DO 160D, MIL-STD-461E Ipari vezérlés IEC 61511, IEC 61131, EMC-directive 89/336/EC Egyéb: EN 50129, IEC 62061, IEC Integrált, automatizált V&V Ellenőrzés folyamata Control Info (workflow, V&V tool spec. etc.) Test Bench Management Data & Documents Repository V&V- Tools AUT (Artefact Under Test) 29 Integrált, automatizált V&V Segíti a tervezőt az ellenőrzési (V&V) folyamatban Követi a biztonsági szabványok-at (e.g. IEC 61508, e.g. EN 50129, ISO 26262, e.g. DO178) Definiál egy (követelmény vezérelt) workflow-t a moduláris biztonsági esetek generálásához Segít a V&V tevékenységek azonosításban és végrehajtásában Képez egy keretrendszert a V&V képességek (módszerek, eszközök) integrálásához 30 10
11 Integrált, automatizált V&V Tartalmazza az ellenőrzési terveket (V-plan) az egyes rendszer elemekhez Összegyűjti a dokumentált V&V tevékenységek eredményeit egy tárolóban biztonsági esetek létrehozása céljából 31 Funkcionális biztonsági életciklus IEC (általános), ISO WD (autóipar) Concept Overall scope definition Hazard and risk analysis Overall safety requirements Safety requirements Allocation Általános V&V keretrendszer használata 6 Overall operation and maintenance planning 7 Overall planning Overall operation and maintenance planning 8 Overall installation and commissioning planning 9 Safety-related systems: E/E/P E S Realisation (see E&E&P E S safety lifecycle) 10 Safety-related systems: E/E/P E S Realisation 11 External risk reduction facilities Realisation Overall installation and commissioning Overall safety validation Back to appropriate Overall safety lifecycle phase 14 Overall operation, Maintenance and repair 15 Overall modification and retrofit 16 Decommissioning or disposal 32 Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás 33 11
12 Tanusítás Cél: annak igazolása, hogy a termék megfelel a vonatkozó biztonsági szabványoknak ISO WD 26262: Megoldás: biztonsági esetek IEC Automotive sector ISO/IEC 62061: Machinery sector IEC Standalone Alrendszerek és komponensek IEC megfelelőség IEC 61511: Process sector IEC 61513: Nuclear sector Szektor megvalósítások 34 Moduláris biztonsági esetek (1) Biztonsági eset: érvelés a hatóság meggyőzésére, hogy a termék eléggé biztonságos Általános biztonsági eset: bármely termék, amely az architektúrára épül biztonságos az architektúra biztonságosságának megmutatása újra használható az architektúrára épülő termék tanusításánál Az általános eset EN 50129:2003- re épül (szoftver szempontjából egyszerűbb mint IEC 61508) 35 Moduláris biztonsági esetek (2) Alkotóelemek Biztonsági esetek az alapvető architekturális szolgáltatásokra (az idővezérelt architektúrára már elvégezték mások) Biztonsági esetek az egyes csomópontokra (azok megbízhatóságának igazolására) Biztonsági esetek az alkalmazásokra 36 12
13 Tanusítás Tipikus felépítés 37 Összefoglalás Idővezérelt architektúra a hibatűrésért és a biztonságkritikusságért Robosztus partícionálás a szétválaszthatóságért Kódgenerálás a hatékonyságért és tanúsíthatóságért Automatizált, integrált V&V a minőségért Tanusíthatóság a szabványoknak való megfelelésért 38 13
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
RészletesebbenTartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver integráció Implementáció 2
Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Tartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver
RészletesebbenDECOS Nemzeti Nap. DECOS Nemzeti Nap. DECOS Nemzeti Nap
Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Implementáció 2 Célkitűzés Fejlesztőeszköz készítése modell-alapú folyamathoz Meglevő eszközök felhasználásával Fejlesztési
RészletesebbenDECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás
RészletesebbenNagy 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ő
RészletesebbenCélkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon
Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás
RészletesebbenAutó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
RészletesebbenAutó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észletesebbenAutó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észletesebbenBokor 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:
RészletesebbenCsoportos üzenetszórás optimalizálása klaszter rendszerekben
Csoportos üzenetszórás optimalizálása klaszter rendszerekben Készítette: Juhász Sándor Csikvári András Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Automatizálási
RészletesebbenA 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észletesebbenAutó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észletesebbenAutóipari beágyazott rendszerek. A kommunikáció alapjai
Autóipari beágyazott rendszerek A kommunikáció alapjai 1 Alapfogalmak Hálózati kommunikáció Vezérlőegységek közötti információ továbbítás Csomópontok Kommunikációs csatornákon keresztül Terepbuszok (cluster)
RészletesebbenOperá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észletesebbenSzoftverarchitektúrák 3. előadás (második fele) Fornai Viktor
Szoftverarchitektúrák 3. előadás (második fele) Fornai Viktor A szotverarchitektúra fogalma A szoftverarchitektúra nagyon fiatal diszciplína. A fogalma még nem teljesen kiforrott. Néhány definíció: A szoftverarchitektúra
RészletesebbenA szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom
A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-folyamat Szoftver
RészletesebbenKomponens 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Életciklus modellek a rendszer és szoftverrendszer-fejlesztésben. SDLC System Development Life Cycle Software Development Life Cycle
Életciklus modellek a rendszer és szoftverrendszer-fejlesztésben SDLC System Development Life Cycle Software Development Life Cycle Mi az életciklus? A termék piacon való megjelenésétől a kivonásáig terjedő
RészletesebbenMiskolci 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észletesebbenAutó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észletesebbenJá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
RészletesebbenAlkalmazott beágyazott rendszerek: 9. előadás,
5. Mennyiségek, változók valós idejű rendszerekben (folytatás) A replikátum determinizmusa Ha a megbízhatóságot aktív redundanciával, azaz fizikai többszörözéssel javítjuk, akkor a párhuzamosan működő
RészletesebbenValós idejű kiberfizikai rendszerek 5G infrastruktúrában
Valós idejű kiberfizikai rendszerek 5G infrastruktúrában dr. Kovácsházy Tamás BME-MIT khazy@mit.bme.hu 1 Kiberfizikai rendszer (CPS, Cyber-Physical System) Egy olyan elosztott, kiterjedt informatikai és
RészletesebbenInformatikai rendszertervezés
Informatikai rendszertervezés Dr. Varró Dániel Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs
RészletesebbenCsertán György Balogh András. Fejlesztési környezet áttekintés PIM-PSM editor bemutatás Ellenőrzési tesztkörnyezet bemutatása
A DECOS fejlesztési környezet Csertán György Balogh András Tartalom Fejlesztési környezet áttekintés PM-PSM editor bemutatás Ellenőrzési tesztkörnyezet bemutatása 2 Célkitűzés Módszerek és eszközök specifikáció,
RészletesebbenBevezetés. Alapfogalmak
Bevezetés Az elmúlt években jelentos változásokon ment keresztül a mikroprocesszorok világa. Korunk információs forradalmának megfeleloen a személyi számítógépek ma már a háztartások nagy részében megtalálhatók.
RészletesebbenSzoftver-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észletesebbenIEC 61508 Basic Engineering -től a Leszerelésig
IEC 61508 Basic Engineering -től a Leszerelésig Dr. Baradits György TÜV id: TP08000105 TÜV Functional Safety Expert Safety Instrumented System BP Rotterdaam SIL4S SIL4S Presentation Presentation BGS 2011.Q4.
RészletesebbenOrvostechnikai eszköz tesztelése DSS Unit test. Taliga Miklós BME-IIT
Orvostechnikai eszköz tesztelése DSS Unit test Taliga Miklós BME-IIT Szabványok és direktívák Orvostechnikai eszközök feladatai Objektív eredmények képzése Embernek érzékelhetetlen paraméterek mérése Sokféle
RészletesebbenBiztonsá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észletesebbenBevezetés. Adatvédelmi célok
Bevezetés Alapfogalmak Adatvédelmi célok Adatok és információk elérhet!ségének biztosítása és védelme Hagyományosan fizikai és adminisztratív eszközökkel Számítógépes környezetben automatizált eszközökkel
RészletesebbenÚ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(Teszt)automatizálás. Bevezető
(Teszt)automatizálás Bevezető Órák ( az előadások sorrendje változhat) 1. Bevezető bemutatkozás, követelmények, kérdések és válaszok 2. Előadás Unit test in general, 3. Előadás Unit test, Tools and practices,
RészletesebbenInformatikai rendszertervezés
Informatikai rendszertervezés Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
RészletesebbenFejleszté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Újdonságok Nexus Platformon
Újdonságok Nexus Platformon Balla Attila balla.attila@synergon.hu CCIE #7264 Napirend Nexus 7000 architektúra STP kiküszöbölése Layer2 Multipathing MAC Pinning MultiChassis EtherChannel FabricPath Nexus
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 1 Tartalom Miről is lesz szó? Bosch GS-TC Automata sebességváltó TCU (Transmission Control Unit) Élettartam tesztek
RészletesebbenMikrorendszerek tervezése
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Mikrorendszerek tervezése Beágyazott rendszerek Fehér Béla Raikovich Tamás
RészletesebbenIBM 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észletesebbenwebalkalmazások fejlesztése elosztott alapon
1 Nagy teljesítményű és magas rendelkezésreállású webalkalmazások fejlesztése elosztott alapon Nagy Péter Termékmenedzser Agenda Java alkalmazás grid Coherence Topológiák Architektúrák
RészletesebbenKö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észletesebbenstratégiai kutatási terve
A NESSI-Hungary stratégiai kutatási terve Dr. Kondorosi osi Károly BME IIT 2 Vázlat Bevezető Alakulás, motivációk Mit csinál a NESSI az EU-s anya Mit csinál a NESSI-Hungary A Stratégiai kutatási terv (SKT)
RészletesebbenHálózatok. Alapismeretek. A hálózatok célja, építőelemei, alapfogalmak
Hálózatok Alapismeretek A hálózatok célja, építőelemei, alapfogalmak A hálózatok célja A korai időkben terminálokat akartak használni a szabad gépidők lekötésére, erre jó lehetőség volt a megbízható és
RészletesebbenFolyamatmodellezé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,
Részletesebbenede.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
RészletesebbenVerifikáció és validáció Általános bevezető
Verifikáció és validáció Általános bevezető Általános Verifikáció és validáció verification and validation - V&V: ellenőrző és elemző folyamatok amelyek biztosítják, hogy a szoftver megfelel a specifikációjának
RészletesebbenKö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észletesebbenBiztonsá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észletesebbenA fejlesztéshez használható eszközök
A fejlesztéshez használható eszközök CASE Tools Computer Aided Software Engineering Tools 2018.12.07. Korszerű módszerek a közlekedésautomatikai rendszerek fejlesztésében 1 Ismétlés fejlesztési háromszög
RészletesebbenSzá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észletesebbenBiztonságkritikus rendszerek
Biztonságkritikus rendszerek Biztonságkritikusnak nevezzük azon rendszereket, melyek hibás működése jelentős anyagi kárt okoz, vagy emberek testi épségét, életét veszélyezteti. Autóipari rendszerek esetében
RészletesebbenElosztott rendszer architektúrák
Elosztott rendszer architektúrák Distributed systems architectures Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 12. Andrew S. Tanenbaum, aarten van Steen: Distributed Systems: rinciples
RészletesebbenCloud computing. Cloud computing. Dr. Bakonyi Péter.
Cloud computing Cloud computing Dr. Bakonyi Péter. 1/24/2011 1/24/2011 Cloud computing 2 Cloud definició A cloud vagy felhő egy platform vagy infrastruktúra Az alkalmazások és szolgáltatások végrehajtására
RészletesebbenSzolgá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észletesebbenJárműinformatika Bevezetés
Járműinformatika Bevezeté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 Autó elektronika az 1970-es években
RészletesebbenTOGAF elemei a gyakorlatban
TOGAF elemei a gyakorlatban Vinczellér Gábor 2009.06.0406 04 8 éves szakmai tapasztalat Bemutatkozás IT Support, Programozó, jelenleg Projektvezető, Termékfejlesztési Üzletág Vezető Tanácsadási és Szoftverfejlesztési
RészletesebbenHatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve
Hatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve Kérdő Attila, ügyvezető, INSERO Kft. EOQ MNB, Informatikai Szakosztály, HTE, ISACA 2012. május 17. Módszertanok
RészletesebbenInfor PM10 Üzleti intelligencia megoldás
Infor PM10 Üzleti intelligencia megoldás Infor Üzleti intelligencia (Teljesítmény menedzsment) Web Scorecard & Műszerfal Excel Email riasztás Riportok Irányít Összehangol Ellenőriz Stratégia Stratégia
RészletesebbenCloud computing Dr. Bakonyi Péter.
Cloud computing Dr. Bakonyi Péter. 1/24/2011 Cloud computing 1/24/2011 Cloud computing 2 Cloud definició A cloud vagy felhő egy platform vagy infrastruktúra Az alkalmazások és szolgáltatások végrehajtására
RészletesebbenHálózatok I. A tárgy célkitűzése
Hálózatok I. A tárgy célkitűzése A tárgy keretében a hallgatók megismerkednek a számítógép-hálózatok felépítésének és működésének alapelveivel. Alapvető ismereteket szereznek a TCP/IP protokollcsalád megvalósítási
RészletesebbenAz automatizált, kontrollált és ITIL alapú munkafolyamat kezelés
Az automatizált, kontrollált és ITIL alapú munkafolyamat kezelés NetIQ Aegis...A következő dokumentum a NetIQ Aegis termékét mutatja be. Ennek a dokumentumnak a segítségével a kívánt termékről alapszintű
RészletesebbenInformatikai 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
RészletesebbenOrvosi eszközök gyártmányfejlesztése Aktív orvosi eszköz szoftver verifikálása, validálása (V&V) Dolgos Márton Budapest, 2013-11-07
Orvosi eszközök gyártmányfejlesztése Aktív orvosi eszköz szoftver verifikálása, validálása (V&V) Dolgos Márton Budapest, 2013-11-07 Bemutatkozás Dolgos Márton Okleveles villamosmérnök (2008) Bay Zoltán
RészletesebbenSzenzorhálózatok programfejlesztési kérdései. Orosz György
Szenzorhálózatok programfejlesztési kérdései Orosz György 2011. 09. 30. Szoftverfejlesztési alternatívák Erőforráskorlátok! (CPU, MEM, Energia) PC-től eltérő felfogás: HW közeli programozás Eszközök közvetlen
RészletesebbenÓbudai Egyetem Neumann János Informatikai Kar. Tóth Béla 2015.
Óbudai Egyetem Neumann János Informatikai Kar Tóth Béla 2015. Név: Tóth Béla Tanulmányok: 2010 - Óbudai Egyetem / NIK Informatikai Biztonság szak Mérnök Diploma Főállásban: Pénzügyi szektor IT Infrastruktúra
RészletesebbenProgrammable Chip. System on a Chip. Lazányi János. Tartalom. A hagyományos technológia SoC / PSoC SoPC Fejlesztés menete Mi van az FPGA-ban?
System on a Chip Programmable Chip Lazányi János 2010 Tartalom A hagyományos technológia SoC / PSoC SoPC Fejlesztés menete Mi van az FPGA-ban? Page 2 1 A hagyományos technológia Elmosódó határvonalak ASIC
RészletesebbenHibatű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észletesebbenArchitektú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
RészletesebbenSzabványok, ajánlások
Szabványok, ajánlások ISO 27000 szabványcsalád COBIT (Control Objectives for Information and Related Technology) Common Criteria (ISO/IEC 15408) ITIL és ISO/IEC 20000 (IT Infrastructure Library) KIB 25.
RészletesebbenPárhuzamos programozási platformok
Párhuzamos programozási platformok Parallel számítógép részei Hardver Több processzor Több memória Kapcsolatot biztosító hálózat Rendszer szoftver Párhuzamos operációs rendszer Konkurenciát biztosító programozási
RészletesebbenAZ INTEGRÁLT NYOMONKÖVETŐ RENDSZER BEMUTATÁSA (TÁMOP 3.4.2-B) Kern Zoltán Közoktatási szakértő Kern.zoltan@educatio.hu
AZ INTEGRÁLT NYOMONKÖVETŐ RENDSZER BEMUTATÁSA (TÁMOP 3.4.2-B) Kern Zoltán Közoktatási szakértő Kern.zoltan@educatio.hu Integrált (Elektronikus) Nyomonkövető Rendszer Miért használjuk? Hogyan használjuk?
RészletesebbenClick to edit Master title style
2017 Okos Városok Magyarországon - okos városok a régióban 2017 május 25. Bottyán Balázs: Okos város LoRa alapokon - intelilight közvilágítási hálózat, mint smart city alapinfrastruktúra bevezetés és kontextus
RészletesebbenIT Szolgáltatás Menedzsment az oktatási szektorban - 90 nap alatt költséghatékonyan
IT Szolgáltatás Menedzsment az oktatási szektorban - 90 nap alatt költséghatékonyan Bácsi Zoltán Bedecs Szilárd Napirend Közép Európai Egyetem (CEU) bemutatása IT stratégia kialakítása Változás előtt Termék
RészletesebbenA szoftverellenőrzés szerepe
A szoftverellenőrzés szerepe Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/ 1 Motiváció Tartalomjegyzék Milyen minőségi igények vannak a szoftverrel szemben, és mit tud ma a szoftveripar? Miért
RészletesebbenJárműinformatika bevezetés. 1. Óra
Járműinformatika bevezetés 1. Óra Ajánlott irodalom Gépjárművek buszhálózatai Dr. Kováts Miklós, Dr. Szalay Zsolt (ISBN 978-963-9945-10-4) Multiplexed Networks for Embedded Systems Dominique Paret (ISBN
RészletesebbenJárműfedélzeti rendszerek II. 8. előadás Dr. Bécsi Tamás
Járműfedélzeti rendszerek II. 8. előadás Dr. Bécsi Tamás A FlexRay hálózat Kifejlesztésének célja: alacsony költségen, nagy megbízhatóságú, nagy teljesítményű adatátvitel járműipari környezetben. A specifikációt
RészletesebbenVerziókövető rendszerek használata a szoftverfejlesztésben
Verziókövető rendszerek használata a szoftverfejlesztésben Dezső Balázs Szakszeminárium vezető: Molnár Bálint Budapesti Corvinus Egyetem Budapest, 2009. június 24. 1 Bevezetés 2 Verziókövetőrendszerek
Részletesebbenevosoft Hungary Kft.
Intelligens eszközök fejlesztése az ipari automatizálásban 9. fejezet: Minőség menedzsment Előadó: Harrer Ágnes Krisztina minőségügyi megbízott menedzser ELŐADÓ: HARRER ÁGNES KRISZTINA Minőségügyi megbízott
RészletesebbenKözösség, projektek, IDE
Eclipse Közösség, projektek, IDE Eclipse egy nyílt forráskódú (open source) projekteken dolgozó közösség, céljuk egy kiterjeszthető fejlesztői platform és keretrendszer fejlesztése, amely megoldásokkal
RészletesebbenMobil szolgáltatások és alkalmazások fejlesztése
Mobil szolgáltatások és alkalmazások fejlesztése SADM Service and Application Development for Mobile Systems Benedek Zoltán, MIK 3.1.2 projekt - projektvezető zoltán.benedek@aut.bme.hu Nemzeti Kutatási
RészletesebbenA virtualizáció a modern vállalati informatikai infrastruktúra alapja
A virtualizáció a modern vállalati informatikai infrastruktúra alapja Bodnár Ádám a-adbodn@microsoft.com Server Product Marketing Manager Microsoft Magyarország 0 Miről lesz ma szó? A virtualizáció Mire
RészletesebbenFirmware fejlesztés. Mártonfalvi Zsolt Hardware programozó
Firmware fejlesztés Mártonfalvi Zsolt Hardware programozó Áttekintés Beágyazott rendszer A fejlesztés menete Milyen eszközökkel? Beágyazott rendszer Egy beágyazott rendszer (angolul: embedded system) olyan
RészletesebbenPárhuzamos programozási platformok
Párhuzamos programozási platformok Parallel számítógép részei Hardver Több processzor Több memória Kapcsolatot biztosító hálózat Rendszer szoftver Párhuzamos operációs rendszer Konkurenciát biztosító programozási
RészletesebbenÜgyfélszolgálati képernyők
Ügyfélszolgálati képernyők avagy ami az ügyfélből még kilátszik Philippovich Ákos +36 30 555 4 666 philippovich@t-online.hu Operátori felület Történeti áttekintés A technológia és az igények fejlődése
RészletesebbenA BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN
A BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN Szabó Géza Bevezetés Az előadás célja, vasúti alrendszerekre
RészletesebbenFejlesztés, működtetés, felügyelet Hatékony infrastruktúra IBM szoftverekkel
IBM Software Group Fejlesztés, működtetés, felügyelet Hatékony infrastruktúra IBM szoftverekkel Rehus Péter Szoftver üzletág igazgató 2005. február 2. 2003 IBM Corporation On demand igény szerinti működési
RészletesebbenÚJ ISO/IEC :2018 itsmf Szeminárium Dr. Becser Balázs. Az új családtag a szabványcsaládban IT Szolgáltatásirányítás követelmények
ÚJ ISO/IEC 20000-1:2018 itsmf Szeminárium Dr. Becser Balázs Az új családtag a szabványcsaládban IT Szolgáltatásirányítás követelmények ISO/IEC 20000-1:2011 Azel d alapján: 856 szervezet tanúsított a világon
RészletesebbenMiért is transzformáljunk modelleket? Varró Dániel
Miért is transzformáljunk modelleket? Varró Dániel Mit látunk a képen? Tipikus kérdések (Hardvertervezés) Jól működik-e? 1+1 = 2? Hogyan készítsünk 8 bites összeadót 4 bites összeadóval? Hogyan készítsünk
RészletesebbenAutóipari beágyazott rendszerek. Local Interconnection Network
Autóipari beágyazott rendszerek Local Interconnection Network 1 Áttekintés Motiváció Kis sebességigényű alkalmazások A CAN drága Kvarc oszcillátort igényel Speciális perifériát igényel Két vezetéket igényel
RészletesebbenElőadók: Angyal Gergely (Raiffeisen), tesztelési csoportvezető Kováts Márton (KFKI), szenior rendszermérnök 2010.03.25.
Fejlesztéskövetés fejvesztés nélkül, avagy Kiadáskezelés megvalósítása banki környezetben Előadók: Angyal Gergely (Raiffeisen), tesztelési csoportvezető Kováts Márton (KFKI), szenior rendszermérnök 2010.03.25.
RészletesebbenTartalomjegyzék. Bevezetés. 1. A.NET 3.5-keretrendszer 1. A korszerű alkalmazások felépítésének kihívásai... 2
Bevezetés xv Mitől tartozik egy platform a következő generációhoz?... xvi Mennyire jelentős az egyre újabb.net-változatok közötti különbség?... xviii Mit jelentett a Windows Vista megjelenése a Microsoft.NET
RészletesebbenSmart megoldások. Ela
Smart megoldások ERA-NET Electric Mobility Europe Electric Mobility as a Service (emaas) Dr. Bakonyi Péter Urban Institute Zrt. - BME Ela 1 emaas projekt electric Mobility as a Service Célkitűzés Az emaas
RészletesebbenBiztosí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észletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben
RészletesebbenSzoftver architektúra, Architektúrális tervezés
Szoftver architektúra, Architektúrális tervezés Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 11. Roger S. Pressman: Software Engineering, 5th e. chapter 14. Bass, Clements, Kazman: Software
RészletesebbenStoreWay FDA 1500/2500/2900 középkategóriás moduláris tárolórendszer
StoreWay FDA 1500/2500/2900 középkategóriás moduláris tárolórendszer Gazdag funkcionalitású menedzsment szoftver LUN Mapping (Access Control) Cache Partitioning (FDA2900);alkalmazás szerint (LUN) Local
RészletesebbenKOGGM614 JÁRMŰIPARI KUTATÁS ÉS FEJLESZTÉS FOLYAMATA
KOGGM614 JÁRMŰIPARI KUTATÁS ÉS FEJLESZTÉS FOLYAMATA System Design Wahl István 2019.03.26. BME FACULTY OF TRANSPORTATION ENGINEERING AND VEHICLE ENGINEERING Tartalomjegyzék Rövidítések A rendszer definiálása
RészletesebbenÉ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észletesebbenMenetrendkezelő Rendszer
Menetrendkezelő Rendszer Rózsa Péter Folyamatirányítási Informatikai Osztály Piacműködtetési és gazdasági informatikai főmunkatárs MAVIR Magyar Villamosenergia-ipari Átviteli Rendszerirányító Zártkörűen
Részletesebben