DECOS Nemzeti Nap. DECOS Nemzeti Nap. DECOS Nemzeti Nap
|
|
- Dávid Pintér
- 5 évvel ezelőtt
- Látták:
Átírás
1 Biztonság-vezérelt automatikus architektúra szintézis Balogh András 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 kultúra nem veszik el Az egyes eszközök integrációjával Teljes fejlesztési folyamat fedése Nyílt, bővíthető architektúrával Adaptálható, továbbfejleszthető Értékek a felhasználónak Újrafelhasználhatóság Növekvő produktivitás Létező 3 1
2 Implementáció 4 modellezés - Cél Szoftver architektúra megadása Funkcionális Nem-funkcionális jellemzők Grafikus modellező környezet nem hatékony Domain-specifikus nyelvek 5 Alkalmazásmodellezés készítés Funkcionális Nem-funkcionális megbízhatósági teljesítmény követelmények 6 2
3 fejlesztési folyamat követelmények Alkalmazás definíció Job definíció Erőforrás Def. Üzenet Def. Változó Def. Kommunikáció Def. Interfész, Port def. Diagnosztika Def. Teljesítmény Def. Megbízhatóság Def. 7 szerkesztése grafikusan Modell elemek, diagrammok Diagramm editor eszköztárral 8 példa 9 3
4 Implementáció 10 Alkalmazás-modellezés Az egyes szoftver komponensek működését írja le Többféle módszer támogatása Matlab/Simulink SCADE állapottérképek Meglévő forrás/bináris kód beszúrása Egyéb modellező és kódgeneráló eszközök integrálása Modell integráció Modell könyvtárak Marked RationalRose Matlab / ( editor) Simulink Simulink modellek modellek XMI.M -SCADE Simulink-SCADE GW GW SCADE (modellezés) SCADE modell.vsw 11 SCADE modellezés 1 job 1 SCADE csomópont Gateway Interfész adaptáció SCADE Simulink Gateway 12 4
5 példa SCADE Simulink C/C++ 13 Implementáció 14 Platform architektúra Partíciók Terepbuszok (pl. CAN) Szenzorok/beavatkozók DECOS Hálózat Biztonságkritikus job OS támogató réteg Alap Core operációs Operating rendszer System (COS) (COS) FPGA kártya (Xilinx Virtex4) Végrehajtó környezet EEE támogató réteg: oftl + SIL Partíciónként: - memória védelem (optimalizált hibatűrő réteg + Rendszer interfész réteg) - végrehajtási időszelet időbeli és térbeli elválasztás * Hardver FTL Nem biztonságkritikus job Nem biztonságkritikus job OS támogató réteg OS tám. Kommunikációs Layered TTP - LTTP vezérlő (L-Flexray) Virtuális... átjárók Fizikai HFTL * átjárók HW Csomagolás Fault-Tolerance összehasonlítás Layer - HFTL I/O OS tám. Védett osztott memória 15 5
6 Hardver platform 32 bites mikrokontroller Infineon TriCore CAN, TT-CAN Hardver hibatűrő interfész Kommunikációs szolgáltatások TT kontroller vezérlés Szavazás Kommunikációs vezérlő TTP/C FlexRay 16 Implementáció 17 Hardver modellezés Elemei Csomópontok Processzor típus Memória (kód, adat) Perifériák (szenzor/beavatkozó) Kommunikációs interfészek Hálózatok TT alap hálózat Terepbuszok 18 6
7 Implementáció 19 Feladat Szoftver komponensek replikálása és elosztása hardver csomópontokon Főbb lépések 1. Replikálás (job példányok) 2. Adattípus-leképzés (pl. sebesség -> valós) 3. Job és üzenet típus megadása (pl. CAN, LIN) 4. Alkalmazásközi kommunikációs struktúra 5. Logikai-fizikai szenzor/beavatkozó leképezés (pl. motorvezérlő - PWM) 6. Job kompatibilitás megadása 7. Automatikus job hardver csomópont allokáció 8. Üzenet és job ütemezés 20 metamodel metamodel Job kód Inform. Hardver-szoftver integráció folyamata Replikálás Allokáció CRD -PSM típus leképzés Job típus def. Üzenet protokol def. Átjáró def. Diagnosztika def. VIATRA (-PSM leképzés) PSM HSM Jelölt Iteratív, interaktív megközelítés A mechanikus lépések automatikusak A döntés a tervező kezében Lehetőség van a modellek kiegészítésére Nem-formális kényszerek is figyelembe vehetőek (pl. fizikai elhelyezkedés, költség, meglevő komponensek újrafelhasználása) Visszajelzés a tervezés minőségéről (pl. költség számítás) Tervezési adatbázis is illeszthető (felhasználható komponensek paramétereinek átvétele) 21 7
8 metamodel metamodel Job kód Inform. Hardver-szoftver integráció folyamata Replikálás Allokáció CRD -PSM típus leképzés Job típus def. Üzenet protokol def. Átjáró def. Diagnosztika def. VIATRA (-PSM leképzés) PSM Platform modell Job és erőforrás replikáció HSM Jelölt Alkalmazás modellek Job kód információ pontos WCET (mért) memóriaigény Adattípus-leképzés Logikai->platform Job típus leképzés, külső job-ok allokációja Üzenet protokoll definíció Alkalmazások közötti kommunikáció konfigurálása Diagnosztikai alrendszer konfigurálása Job-csomópont allokáció 22 metamodel metamodel Job kód Inform. Folyamatos modell ellenőrzés Minden lépés után ellenőrzés Replikálás Allokáció CRD -PSM típus leképzés Job típus def. Üzenet protokol def. Átjáró def. Diagnosztika def. VIATRA (-PSM leképzés) PSM HSM Jelölt Szintaktikai és szemantikai Funkcionális és nemfunkcionális jellemzőkre Erőforrás-korlátok Időbeliség megbízhatóság Az ellenőrző eszközök kiegészíthetőek Új aspektusok Új ellenőrzések 23 Integráció eredménye 24 8
9 -PSM szerkesztő 25 Integráció emelt fokon: Automatikus allokáció + ütemezés Szoftver komponensek elhelyezése hardver node-okon Funkcionális és nem-funkcionális kényszerek Ütemezés kommunikáció job Tervezési tér felderítése Optimalizálás Mindezt egy lépésben! 26 Kiterjeszthetőség Nem-funkcionális tulajdonságok és kényszerek Csomópontok száma (költség) Átvitel/teljes rendszer késleltetés (reakcióidő) Kiterjeszthetőség max. CPU idő tartalék (új nagy feladat) egyenletes CPU idő tartalék (új elosztott alkalmazás) Robosztusság adott hibaszám esetén minél kevesebb funkció essen ki Új szempontokkal bővíthető ELLENTMONDÓ SZEMPONTOK A tervező dönt 27 9
10 Scheduling results Status: running Solutions found : 3 Computation time: 2:21 Solution objectives Throughput node1 node2 node3 robustness network Max free capacity No. of nodes Avg. Node utilization Throughput: 65 (15%) Robustness: 2 (66%) Max. free capacity: 50% Avg. Node utilization: 60% No. Of nodes: 6 (80%) Overall objective value: 121 0ms 50ms 100ms Selected job: ManMovement1 WCET = 10ms Period = 100ms Allocated to: node3 Start time: 20ms End time 30ms Stop solver Clear All Tervezési tér feltérképezése robustness Max free capacity Throughput No. of nodes Avg. Node utilization A tervezési tér képét radar diagramm szemlélteti Határesetek vizsgálata Az optimális megoldás Egy-egy célfüggvény szerint Az egyes tervek megjeleníthetőek Vizuális összehasonlítás lehetősége Tervek értékelése 28 Skálázhatóság A keresési tér levágása Heurisztikus keresés (Shariful, Suri, et al.) Az eredmény, mint kiindulási alap felhasználása Ennél rosszabb megoldásokat nem keresünk Nagy mennyiségű kényszer Segít Erőteljes megoldó motor ILog CPLEX Heurisztikus megoldás 29 Eszköz támogatás Meglevő eszközökkel való integráció GUI (Eclipse) A felhasználó választja ki A felhasználandó kritériumokat (bővíthető) súlyozott A minimumkövetelményeket Meglévő tervek kiértékelésére is használható Akár a keretrendszertől függetlenül is 30 10
11 Implementáció 31 Implementáció (tanúsított kódgenerálás) Job kód (viselkedés) Burkoló kód (interfész) 32 Implementáció (konfiguráció és kódgenerálás) ütemezés terítés 33 11
12 Az integrált eszközkészlet Összefoglalás Domain-specifikus modellezőeszközök, platform Modell létrehozás, szerkesztés, validálás s folyamat Interaktív, a felhasználó felügyeli Újrafelhasználható, testre szabható Architektúra-optimalizálás Több aspektusú A meglevő tudás/tervek újrafelhasználása A tervezés termelékenysége ÉS minősége javítható 36 12
13 Szerkesztő DECOS Domain Specifikus szerkesztő Modell elemek listája Projekt modellel Tulajdonságok nézet 37 Alkalmazásfejlesztés A job-ok működésének specifikálása Szintén modell-alapú Matlab/Simulink SCADE állapot-térképek Interfész információ a -ből Marked RationalRose Matlab / ( editor) Simulink Simulink modellek modellek XMI.M -SCADE Simulink-SCADE GW GW SCADE (modellezés) SCADE modell.vsw 38 Bemenő modell Alkalmazás (funkciók) Jobok WCET Periódus Replikáció foka Üzenetek Átviteli idő periódus Platform Rendelkezésre álló csomópontok Hálózat paraméterei Manuális elő-allokáció illetve kompatibilitás megadása 39 13
14 Platform architektúra 40 Virtuális hálózatok 41 Hardver-szoftver integráció Iteratív, interaktív megközelítés Több lépés A tervező irányítja az integrációt A mechanikus lépések automatikusak Lehetőség van a modellek kiegészítésére Nem-formális kényszerek is figyelembe vehetőek 42 14
15 Eredmény Szofver-hardver allokációs térkép Ütemezés a kommunikációs hálózathoz (konfigurációs fájl) Ütemezés az egyes node-okhoz (OS konfiguráció) Vizualizálva 43 Kiterjeszthetőség Nem-funkcionális tulajdonságok és kényszerek Hardver költség Robosztusság Ha a redundancia foka n, hány funkció esik ki n hiba esetén? Kiterjeszthetőség Maximum CPU idő tartalék Egyenletes CPU idő tartalék Átvitel A végrehajtási utak mentén számított teljes késleltetés alapján 44 Valós protokollok támogatása A legtöbb protokoll/vezérlő speciális kényszereket ír elő Példa (Flexray): cycletime<=16ms Új változók (konfigurációs paraméterek) jelennek meg A kényszereket újabb MILP egyenlőtlenségekké lehet alakítani Ezeket protokoll specifikus csomagok -ká lehet szervezni Különböző protokollok/verziók támogatása 45 15
Tartalom 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észletesebbenAutó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é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é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é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észletesebbenCsertá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
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
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észletesebbenHálózati réteg. WSN topológia. Útvonalválasztás.
Hálózati réteg WSN topológia. Útvonalválasztás. Tartalom Hálózati réteg WSN topológia Útvonalválasztás 2015. tavasz Szenzorhálózatok és alkalmazásaik (VITMMA09) - Okos város villamosmérnöki MSc mellékspecializáció,
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é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észletesebbenModellező eszközök, kódgenerálás
Modellező eszközök, kódgenerálá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
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észletesebbenSzoftver újrafelhasználás
Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással
RészletesebbenTranszformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István
Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben Ráth István rath@mit.bme.hu A grafikus nyelvek... mindenhol ott vannak: Grafikus felületek (Visual Studio) Relációs sémák (dbdesign)
RészletesebbenAutóipari vezérlőegységek aktív környezetállósági tesztelésének módszerei
Autóipari vezérlőegységek aktív környezetállósági tesztelésének módszerei Aradi Szilárd PhD témavezető: Dr. Gyenes Károly Közlekedés és járműirányítás workshop BME 2011 ISBN 978-963-420-975-1 Bevezetés
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észletesebbenModell alapú tesztelés mobil környezetben
Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed
RészletesebbenA 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)
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é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észletesebbenA 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)
RészletesebbenIntelligens biztonsági megoldások. Távfelügyelet
Intelligens biztonsági megoldások A riasztást fogadó távfelügyeleti központok felelősek a felügyelt helyszínekről érkező információ hatékony feldolgozásáért, és a bejövő eseményekhez tartozó azonnali intézkedésekért.
Ré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észletesebbenHálózat hidraulikai modell integrálása a Soproni Vízmű Zrt. térinformatikai rendszerébe
Hálózat hidraulikai modell integrálása a térinformatikai rendszerébe Hálózathidraulikai modellezés - Szakmai nap MHT Vízellátási Szakosztály 2015. április 9. Térinformatikai rendszer bemutatása Működési
RészletesebbenBevezetés. Szendrei Rudolf Informatikai Kar Eötvös Loránd Tudományegyetem. Programozási technológia I. Szendrei Rudolf. Bevezetés. Szoftvertechnológia
UML tervező JAVA fejlesztő és Informatikai Kar Eötvös Loránd Tudományegyetem 1 Tartalom 1 UML tervező JAVA fejlesztő és 2 UML tervező JAVA fejlesztő és 2 technológiai áttekintése UML tervező JAVA fejlesztő
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észletesebbenProlan Zrt. fejlesztéseiben. Petri Dániel
Az szabvány alkalmazása a Prolan Zrt. fejlesztéseiben Petri Dániel dpetri@prolan.hu PROLAN Irányítástechnikai Zrt. Áttekintés 61850 szabvánnyal kapcsolatos fejlesztéseink ProField IED mezőgép Új alállomási
Ré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é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észletesebbenModellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK
Modellinformációk szabványos cseréje Papp Ágnes, agi@delfin.unideb.hu Debreceni Egyetem EFK Tartalom MOF, UML, XMI Az UML és az XML séma MDA - Model Driven Architecture Networkshop 2004 2 Az OMG metamodell
RészletesebbenElosztott rendszerek. Az elıadás. Az elosztott rendszer definíciója. Köztesrétegként felépülı elosztott rendszer
1. elıadás Az elıadás Elosztott ek 1. Bevezetés Tankönyv: Andrew S. Tanenbaum Maarten van Steen: Elosztott Rendszerek Alapelvek és Paradigmák http://people.inf.elte.hu/bonnie bonnie@inf.elte.hu Az elosztott
RészletesebbenRendszermodellezés: házi feladat bemutatás
Rendszermodellezés: házi feladat bemutatás Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology and Economics Department of Measurement
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észletesebbenVTOL UAV. Moduláris fedélzeti elektronika fejlesztése pilóta nélküli repülőgépek számára. Árvai László, Doktorandusz, ZMNE ÁRVAI LÁSZLÓ, ZMNE
Moduláris fedélzeti elektronika fejlesztése pilóta nélküli repülőgépek számára Árvai László, Doktorandusz, ZMNE Tartalom Fejezet Témakör 1. Fedélzeti elektronika tulajdonságai 2. Modularitás 3. Funkcionális
RészletesebbenEricsson CoordCom. Integrált segélyhíváskezelés, tevékenységirányítás. <Name> Kovács László
Ericsson CoordCom Integrált segélyhíváskezelés, tevékenységirányítás Kovács László Ericsson Mo. ágazati igazgató Mobil: +36 30 9411 161 E-mail: laszlo.kovacs@ericsson.com 2009-04-09 1 Integrált
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é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észletesebbenTémakiírások 2014/15. őszi félévben
Témakiírások 2014/15. őszi félévben Témavezető: Dr. Vörösházi Zsolt voroshazi@vision.vein.hu voroshazi.zsolt@virt.uni-pannon.hu Veszprém, 2014. szeptember 9. Témaismertetés #1 National Instruments - LabView
RészletesebbenHázi feladatok Szenzorhálózatok és alkalmazásaik
Házi feladatok Szenzorhálózatok és alkalmazásaik VITMMA09 Okos város MSc mellékspecializáció Általános tudnivalók 6 téma 6 db. 4 fős csoport A házi feladat elvégzése kötelező, a vizsgára jelentkezés feltétele
RészletesebbenA szoftverfejlesztés eszközei
A szoftverfejlesztés eszközei Fejleszt! eszközök Segédeszközök (szoftverek) programok és fejlesztési dokumentáció írásához elemzéséhez teszteléséhez karbantartásához 2 Történet (hw) Lyukkártya válogató
RészletesebbenÜDVÖZÖLJÜK A HaXSoN BEMUTATÓN!
ÜDVÖZÖLJÜK A HaXSoN BEMUTATÓN! info@dldh.hu www.dldh.hu Mit is jelent? Hardware-XWindow-Software-Network = hardver-szoftver integrált rendszer, amely Xwindow alapú terminálokat szervez egy hálózatba Kialakulás
RészletesebbenÚj generációs informatikai és kommunikációs megoldások ANMS. távközlési hálózatok informatikai hálózatok kutatás és fejlesztés gazdaságos üzemeltetés
Új generációs informatikai és kommunikációs megoldások ANMS távközlési hálózatok informatikai hálózatok kutatás és fejlesztés gazdaságos üzemeltetés ANMS Távközlési szolgáltatók számára Az ANMS egy fejlett
RészletesebbenA hálózattervezés alapvető ismeretei
A hálózattervezés alapvető ismeretei Infokommunikációs hálózatok tervezése és üzemeltetése 2011 2011 Sipos Attila ügyvivő szakértő BME Híradástechnikai Tanszék siposa@hit.bme.hu A terv általános meghatározásai
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észletesebbenNorway Grants. Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai. Kakuk Zoltán, Vision 95 Kft.
Norway Grants AKKUMULÁTOR REGENERÁCIÓS ÉS Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai Kakuk Zoltán, Vision 95 Kft. 2017.04.25. Rendszer szintű megoldás
RészletesebbenDigitális technika VIMIAA01 9. hét Fehér Béla BME MIT
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 VIMIAA01 9. hét Fehér Béla BME MIT Eddig Tetszőleges
RészletesebbenDigitális technika VIMIAA01 9. hét
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 VIMIAA01 9. hét Fehér Béla BME MIT Eddig Tetszőleges
RészletesebbenErőforrás gazdálkodás a bevetésirányításban
Professzionális Mobiltávközlési Nap 2009 Új utakon az EDR Erőforrás gazdálkodás a bevetésirányításban Fornax ZRt. Nagy Zoltán Vezérigazgató helyettes Budapest, 2009. április 9. Tartalom 1. Kézzelfogható
RészletesebbenSzámítógépes munkakörnyezet II. Szoftver
Számítógépes munkakörnyezet II. Szoftver A hardver és a felhasználó közötti kapcsolat Szoftverek csoportosítása Számítógép működtetéséhez szükséges szoftverek Operációs rendszerek Üzemeltetési segédprogramok
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észletesebbenIoT alapú mezőgazdasági adatgyűjtő prototípus fejlesztési tapasztalatok
IoT alapú mezőgazdasági adatgyűjtő prototípus fejlesztési tapasztalatok 2016.05.19. Szilágyi Róbert Tóth Mihály Debreceni Egyetem Az IoT Eszközök és más fizikai objektumok elektronikával, vezérléssel,
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észletesebbenTermeléshatékonyság mérés Ipar 4.0 megoldásokkal a nyomdaiparban
PRESENTATION Termeléshatékonyság mérés Ipar 4.0 megoldásokkal a nyomdaiparban Kremzer, Péter ICCS Kft. kremzerp@iccs.hu Tartalomjegyzék Folyamatirányítás FIR nélkül Nyomdai sajátosságok Megrendelői igények
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észletesebbenI.3 ELOSZTOTT FOLYAMATSZINTÉZIS BERTÓK BOTOND. Témavezetői beszámoló
infokommunikációs technológiák infokommunikációs technológiák I.3 ELOSZTOTT FOLYAMATSZINTÉZIS BERTÓK BOTOND Témavezetői beszámoló Pannon Egyetem 2015. január 7. A KUTATÁSI TERÜLET RÖVID MEGFOGALMAZÁSA
RészletesebbenModellek végrehajtása, kódgenerálás
Modellek végrehajtása, kódgenerálá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
RészletesebbenTANMENET 2018/2019. tanév
Szolnoki Műszaki Szakképzési Centrum Pálfy-Vízügyi Szakgimnáziuma 5000 Szolnok, Tiszaparti sétány 2-3. Tel:06-56-424-955, Fax: 06-56-513-925 e-mail cím: titkarsag@palfy-vizugyi.hu TANMENET 2018/2019. tanév
RészletesebbenProgramfejlesztési Modellek
Programfejlesztési Modellek Programfejlesztési fázisok: Követelmények leírása (megvalósíthatósági tanulmány, funkcionális specifikáció) Specifikáció elkészítése Tervezés (vázlatos és finom) Implementáció
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észletesebbenOperációs rendszerek. Az X Window rendszer
Operációs rendszerek X Windows rendszer Az X Window rendszer Grafikus felhasználói felületet biztosító alkalmazás és a kapcsolódó protokoll 1983-84: a Massachusetts Institute of Technology-n (MIT, USA).
RészletesebbenTELE-OPERATOR UTS v.14 Field IPTV műszer. Adatlap
TELE-OPERATOR UTS v.14 Field IPTV műszer Adatlap COMPU-CONSULT Kft. 2009. augusztus 3. Dokumentáció Tárgy: TELE-OPERATOR UTS v.14 Field IPTV műszer Adatlap (6. kiadás) Kiadta: CONSULT-CONSULT Kft. Dátum:
RészletesebbenRendszermodernizációs lehetőségek a HANA-val Poszeidon. Groma István PhD SDA DMS Zrt.
Rendszermodernizációs lehetőségek a HANA-val Poszeidon Groma István PhD SDA DMS Zrt. Poszeidon EKEIDR Tanúsított ügyviteli rendszer (3/2018. (II. 21.) BM rendelet). Munkafolyamat támogatás. Papírmentes
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é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é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észletesebbenA szoftverfejlesztés eszközei
A szoftverfejlesztés eszközei Fejleszt! eszközök Segédeszközök (szoftverek) programok és fejlesztési dokumentáció írásához elemzéséhez teszteléséhez karbantartásához 2 Segédeszközök szükségessége Szoftver
RészletesebbenIntervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése
Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése Somogyi Ferenc Attila 2016. December 07. Szoftver verifikáció és validáció kiselőadás Forrás Mathijs Schuts and Jozef
RészletesebbenKomplex terheléses tesztmegoldások a Mobil PS és CS gerinchálózaton
Komplex terheléses tesztmegoldások a Mobil PS és CS gerinchálózaton Olaszi Péter, Sey Gábor, Varga Pál AITIA International Zrt. HTE Infokom konferencia és kiállítás, 2012. október 10 12. Változások a gerinchálózatban
RészletesebbenRendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Rendszermodellezés Modellellenőrzés Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Ismétlés: Mire használunk modelleket? Kommunikáció, dokumentáció Gondolkodás,
Ré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észletesebbenUtolsó módosítás:
Utolsó módosítás:2011. 09. 29. 1 2 4 5 MMU!= fizikai memóriaillesztő áramkör. Az utóbbinak a feladata a memória modulok elektromos alacsonyszintű vezérlése, ez sokáig a CPU-n kívül a chipset északi hídban
RészletesebbenÖsszefoglalás és gyakorlás
Összefoglalás és gyakorlás High Speed Networks Laboratory 1 / 28 Hálózatok jellemző paraméterei High Speed Networks Laboratory 2 / 28 Evolúció alkotta adatbázis Önszerveződő adatbázis = (struktúra, lekérdezés)
RészletesebbenBankkártya elfogadás a kereskedelmi POS terminálokon
Bankkártya elfogadás a kereskedelmi POS terminálokon Költségcsökkentés egy integrált megoldással 2004. február 18. Analóg-Digitál Kft. 1 Banki POS terminál elemei Kliens gép processzor, memória, kijelző,
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észletesebbenMikor és hogyan érdemes virtualizálni?
CNW Rendszerintegrációs Zrt. Tamási Leander» Rendszermérnök Mikor és hogyan érdemes virtualizálni? 2012. március 27.» IT üzemeltetés Főbb témák 30 percben 1) Virtualizáció célterületei, előnyei 2) Virtualizációs
RészletesebbenAz OpenScape Business rendszerek egységes architektúrára épülnek: Rugalmas, skálázható és megbízható
Rugalmas, skálázható és megbízható Az OpenScape Business rendszer a kis- és közepes vállalkozások változatos igényeinek minden szempontból megfelelő korszerű, egységes kommunikációs (UC) megoldás. A rendszer-felépítése
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észletesebbenUtolsó módosítás:
Utolsó módosítás: 2011. 09. 08. 1 A tantárggyal kapcsolatos adminisztratív kérdésekkel Micskei Zoltánt keressétek. 2 3 4 5 6 7 8 9 10 11 12 13 14 Erősen buzzword-fertőzött terület, manapság mindent szeretnek
RészletesebbenVárosi tömegközlekedés és utastájékoztatás szoftver támogatása
Városi tömegközlekedés és utastájékoztatás szoftver támogatása 1. Általános célkitűzések: A kisvárosi helyi tömegközlekedés igényeit maximálisan kielégítő hardver és szoftver környezet létrehozása. A struktúra
RészletesebbenVIRTUAL NETWORK EMBEDDING VIRTUÁLIS HÁLÓZAT BEÁGYAZÁS
BME/TMIT Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) Távközlési és Médiainformatikai Tanszék (TMIT) VIRTUAL NETWORK EMBEDDING VIRTUÁLIS HÁLÓZAT BEÁGYAZÁS Dr. Maliosz Markosz maliosz@tmit.bme.hu
RészletesebbenUML (Unified Modelling Language)
UML (Unified Modelling Language) UML (+ Object Constraint Language) Az objektum- modellezés egy szabványa (OMG) UML A 80-as, 90-es években egyre inkább terjedő objektum-orientált analízis és tervezés (OOA&D)
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é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észletesebbenMetamodellezés. Simon Balázs BME IIT, 2011.
Metamodellezés Simon Balázs BME IIT, 2011. Bevezetés Metamodellezés EMF & ecore Tartalom (C) Simon Balázs, BME IIT, 2011. 2 Hétfő: Simon Balázs Bevezetés hetente felváltva: előadás és gyakorlat metamodellezés
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észletesebbenK+F a Hálózattervezés területén
K+F a Hálózattervezés területén Sipos Attila Fejlesztési igazgatóhelyettes Magyar Telekom PKI Távközlésfejlesztési Igazgatóság 2007.09.25, 1 oldal Tartalomjegyzék K+F együttműködés a hálózattervezés területén
RészletesebbenSzaniszló Gábor, ABB Kft MEE szakmai nap elıadás, 2010.05.27. Az IEC61850-es szabvány gyakorlati alkalmazása. ABB Group June 1, 2010 Slide 1
Szaniszló Gábor, ABB Kft MEE szakmai nap elıadás, 2010.05.27. Az IEC61850-es szabvány gyakorlati alkalmazása June 1, 2010 Slide 1 Az ABB IEC61850 kompatibilis készülék palettája Szerverek - Konverteres
RészletesebbenSzoftver-technológia II. Architektúrák dokumentálása UML-lel. Irodalom. Szoftver-technológia II.
Architektúrák dokumentálása UML-lel Irodalom L. Bass, P. Clements, R. Kazman: Software Architecture in Practice, Addison-Wesley, 2003 H. Störrle: UML 2, Panem, 2007 2 Szoftver architektúra (emlékeztet!)
RészletesebbenSmart Strategic Planner
Smart Strategic Planner STRATÉGIAI FTTX HÁLÓZAT TERVEZŐ ÉS KÖLTSÉG ELEMZŐ ESZKÖZ távközlési hálózatok informatikai hálózatok kutatás és fejlesztés gazdaságos üzemeltetés Smart Strategic Planner Térinformatikai
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észletesebbenWEB2GRID: Desktop Grid a Web 2.0 szolgálatában
WEB2GRID: Desktop Grid a Web 2.0 szolgálatában MAROSI Attila Csaba MTA SZTAKI atisu@sztaki.hu 2011.07.26. Áttekintés Bevezető Grid rendszerekkel szembeni elvarások változása Web 2.0 rendszerek főbb jellemzői
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é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észletesebbenCloud Akkreditációs Szolgáltatás indítása CLAKK projekt. Kozlovszky Miklós, Németh Zsolt, Lovas Róbert 9. LPDS MTA SZTAKI Tudományos nap
Cloud Akkreditációs Szolgáltatás indítása CLAKK projekt Kozlovszky Miklós, Németh Zsolt, Lovas Róbert 9. LPDS MTA SZTAKI Tudományos nap Projekt alapadatok Projekt név: Cloud akkreditációs szolgáltatás
Részletesebbenour future our clients + our values Szeptember 16. MEE vándorgyűlés 2010
MEE vándorgyűlés 2010 our clients + our values our future Az átviteli hálózati munkairányítási és eszközgazdálkodási rendszer megvalósítása 2010. Szeptember 16. A WAM projekt és azon belül az Eszközgazdálkodás
RészletesebbenAdattárház kialakítása a Szövetkezet Integrációban, UML eszközökkel. Németh Rajmund Vezető BI Szakértő március 28.
Adattárház kialakítása a Szövetkezet Integrációban, UML eszközökkel Németh Rajmund Vezető BI Szakértő 2017. március 28. Szövetkezeti Integráció Központi Bank Takarékbank Zrt. Kereskedelmi Bank FHB Nyrt.
RészletesebbenIDAXA-PiroSTOP. PIRINT PiroFlex Interfész. Terméklap
IDAXA-PiroSTOP PIRINT PiroFlex Interfész Terméklap Hexium Kft. PIRINT Terméklap Rev 2 2 Tartalomjegyzék. ISMERTETŐ... 3 2. HARDVER... 4 2. LED... 5 2.2 KAPCSOLAT A VKGY GYŰRŰVEL... 6 2.3 CÍMBEÁLLÍTÁS...
RészletesebbenAlapszintű formalizmusok
Alapszintű formalizmusok dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális tervek Informális követelmények Formális modell Formalizált követelmények
RészletesebbenKommunikációs rendszerek teljesítőképesség-vizsgálata
Kommunikációs rendszerek teljesítőképesség-vizsgálata (3. előadás) Dr. Lencse Gábor lencse@sze.hu https://www.tilb.sze.hu/cgi-bin/tilb.cgi?0=m&1=targyak&2=krtv 1 Miről lesz szó? Az OMNeT++ diszkrét idejű
Részletesebben