A konkréttól az absztraktig és vissza -a modellvezérelt tervezés az informatikában
|
|
- Piroska Deákné
- 8 évvel ezelőtt
- Látták:
Átírás
1 A konkréttól az absztraktig és vissza -a modellvezérelt tervezés az informatikában Dr. Pataricza András Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
2 A Hibatűrő Rendszerek Kutatócsoport
3 MI A MODELL?
4 Mi a modell? "The sciences o do not try to explain, o they hardly even try to interpret, o they mainly make models. By a model is meant o a mathematical construct which, o with the addition of certain verbal interpretations, o describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work. Neumann János
5 Modell és valóság Mi a modell? A valóság egy részletének egyszerűsített képe Lényeges o A valóság mely részének o milyen szisztéma szerint o mennyire egyszerűsített képe Haszna o kisebb (véges) o áttekinthetőbb Mi NEM a modell? A modell nem a valóság! A modell nem a diagram. o az csak egy nézet
6 Modellek és tervezési folyamat Koncepció Implementáció Specifikácó Struktúra Működtetés FORMS/FORMAT 2010 Braunschweig
7 Példák Modellalapú szoftvertervezés: Precíz mérnöki modellek és transzformációk segítségével történő tervezés, fejlesztés és projektvezetés. Szolgáltatásbiztos rendszerek: Megbízható, nagy rendelkezésre állású, kritikus rendszerek tervezése, megvalósítása, mérése, felügyelete. Cloud. Verifikáció és validáció: Ellenőrzések a tervezési, megvalósítási és futási fázisban. Formális módszerek alkalmazása a verifikáció során.
8 ESZKÖZTERVEZÉS
9 Beágyazott rendszerek tervezési folyamata Mérés és általánosítás Paraméterezés Specifikáció Transzformáció Teljesség, ellentmondás mentesség Optimalizálás Szimuláció Tervezési modell Particionálás 9 Verifikáció Bonyolultság? HW szintézis Hibamodellezés, tesztelés Kommunikáció Tulajdonságmodell Implementáció és tesztelés Ütemezés Mobil, ad-hoc SW szintézis Mérés, ellenőrzés
10 Sok modell- közös nyelv?
11 MDA a beágyazott rendszerekben Metamodel
12 Fogalomtól nyelvig 12 Katalógus Szótár Thesaurus Informális Hierarchis Formális példányok Tulajdonság Számosság és érték Ontológia Metamodel
13 Szabvány és model A Shipment is an identifiable collection of one or more goods items to be transported between the seller party and the buyer party. This information may be defined within a commercial contract. A shipment can be transported in different consignments (e.g., split for logistical purposes). Forrás: e-freight ontológia
14 Az egységes európai szállítmányozási rendszer Tudás Feltárása Modellezése Formalizálása
15 Rejtett modellek Transport Instruction séma (részlet) GS1 Transport Instruction üzenet Transport Instruction üzenet (részlet) <xsd:complextype name="transportinstructionconsignmentitemtype"> <xsd:sequence> <xsd:element name="lineitemnumber" type="xsd:positiveinteger"/> <xsd:element minoccurs="0" name="note" type="shared_common:description500type"/> <xsd:element name="transportcargocharacteristics" type="ecom_common:transportcargocharacteristicstyp e"/> <xsd:element maxoccurs="unbounded" minoccurs="0" name="packagetotal" type="ecom_common:packaget otaltype"/> <xsd:element maxoccurs="unbounded" minoccurs="0" name="logisticunit" type="ecom_common:logisticuni ttype"/> <xsd:element maxoccurs="unbounded" minoccurs="0" name="referencedtransportequipment" type="ecom_ common:transportequipmenttype"/> <xsd:element maxoccurs="unbounded" minoccurs="0" name="transportreference" type="ecom_common:tr ansportreferencetype"/> <xsd:element maxoccurs="unbounded" minoccurs="0" name="handlinginstruction" type="ecom_common:ha ndlinginstructiontype"/> <xsd:element maxoccurs="unbounded" minoccurs="0" name="dangerousgoodsinformation" type="ecom_co mmon:dangerousgoodsinformationtype"/> </xsd:sequence> </xsd:complextype> <transportinstructionconsignmentitem> <lineitemnumber>1</lineitemnumber> <transportcargocharacteristics> <cargotypecode>21</cargotypecode> <cargotypedescription languagecode="en">furniture</cargotypedescription> </transportcargocharacteristics> <logisticunit> <sscc> </sscc> <packagetypecode>201</packagetypecode> </logisticunit> <logisticunit> <sscc> </sscc> <packagetypecode>201</packagetypecode> </logisticunit> <logisticunit> <sscc> </sscc> <packagetypecode>201</packagetypecode> </logisticunit> <logisticunit> <sscc> </sscc> <packagetypecode>211</packagetypecode> </logisticunit> <logisticunit> <sscc> </sscc> <packagetypecode>211</packagetypecode> </logisticunit> </transportinstructionconsignmentitem> </transportinstructionconsignment>
16 SPECIFIKÁCIÓTERVEZÉS Tudásmodellezés Gyártásoptimalizás Hatékonyságelemzés Integrált rendszer
17 IBM Data Storage Systems Megoldandó probléma: időben változó és előre nem ismert rendelésállomány anyagbeszerzés+gyártás optimalizálása Kihívások: Több milliós konfiguráció szám * ~1500 rendelés KOMBINATORIKUS ROBBANÁS Kevés és zajos adatból jóslás ADAPTÍV PREDIKCIÓ Felfedezések nyomában,
18 Példa folyamat tesztelési lépések Kiegészítés egy létező konfigurációhoz Új gép gyártása Újrakonfigurálás Gyártási folyamat Modellezése Szimuláció Optimalizálás
19 Főbb eredmények Működő rendszer élesben használva: 40 perc futási idő 1 negyedévre European Supply-Chain Technology Award (2012) Revolution R: Applications of R in Business competition, Honorable Mention (2012) Mérnöki vs. matematikai modellezés Tacit tudás modellezése! Nem kell matematikai optimum Heurisztikus gyorsítás Darabolással jól csökkenthető az állapottér Józan ésszel több nagyságrend komplexitás absztrahálható el Felfedezések nyomában,
20 A felhő számítástechnika Kezdet: a fogyasztó magának termel energiát Csúcsterhelésre méretezett egyedi infrastruktúra Energiaszolgáltatás Hatékony termelés Csúcserőmű Konfigurálás, védelem, redundancia Tehereloszlás, Monitorozás Szabályozás A felhő számítástechnika ugyanez Energia=számítási teljesítmény Erőmű= szerver Távvezeték=Internet Elosztás, védelem, mérés, szabályozás Hatékony szállítás Fogyasztás SLA Felfedezések 20 nyomában, 2012
21 Virtualizáció
22 Proaktív felügyelet és szabályozás Reaktív szabályozás o Egy veszélyes szituációra reagál ahelyett hogy elkerülné vagy uralná Proaktív szabályozás o Egy szituációt már a bekövetkezése előtt ural Felfedezések 22 nyomában, 2012
23 Egy gazdasági világcég Megoldandó probléma: egy sokfelhasználós, privát cloud alapú rendszerben a felhasználói gépek időnként csuklanak Statikusan is kevés a kapacitás, vagy rossz az elosztás dinamikája? Kihívások: Adatsor: 180 millió x 20 ezer BIG DATA Ebből 6 ezer hibára utaló RITKA ESEMÉNY ANALÍZIS Mérési hibák ADATTISZTÍTÁS Felfedezések nyomában,
24 Főbb eredmények Erőforráskezelést kell finomítani és nem szerverkapacitást növelni ($$$!!!) Mérés általános tudás modell Tervezés Felfedezések nyomában,
25 A MODELLEZÉS MINT KULCS PARADIGMA Hogyan alakítja át az MDA a tervezést? Pl. Beágyazott rendszerek
26 Bonyolultság és tervezéstechnológia Kis bonyolultság- Implementáció domináns Nagy bonyolultság- Tervezés domináns Kézimunka Minden egyedi Alacsony komponensszint Célgépek Kereskedelmi elemek Szerelés
27 Tervezési intelligencia
28 Tervezési kihívások Specifikáció Interdiszciplináris Szabványosság Szolgáltatásbiztonság Rendszertervezés Integráció Konformancia Kompozíció Eszköztervezés IP felhasználás Tervezési sebesség Megbízhatóság Implementáció HW/SW? Sebesség Minőség Ellenőrzés IP felhasználás Hatékonyság Alaposság
29 Iparszerű tervezés és implementáció Integráció alapú rendszerszintézis o Szabványos, előre gyártott komponensek TERV+ IMPLEMENTÁCIÓ o Magas fokú automatizáció o IP újrahasznosítás o HW-SW programozás
30 Referencia architektúrák Az IT platformokhoz hasonló egységesítés o Sajátos mérés- és szabályozástechnikai követelmények Terv szintjén modularizáltak, o redundancia alacsony Megvalósítás: alternatív implementációs technológiák A nem funkcionális követelmények teljesülését konstrukciójuknál fogva garantálják.
31 A tárgyak Internete: kiber-fizikai rendszerek Probléma Szolgáltatás Komponensek szolgáltatás kínálata Telepítés Megoldási minta Megoldások tára Adatok világa Fizikai világ
32 ÉS A FEJEK HOGYAN ALAKULNAK ÁT?
33 Oktatás: ilyen egyszerűen lehet kezdeni
Modellezési alapismeretek
Modellezési alapismeretek 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észletesebbenModellezési alapismeretek
Modellezési alapismeretek Rendszermodellezé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
RészletesebbenModellezési alapismeretek
Modellezési alapismeretek Rendszermodellezé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
RészletesebbenSzolgáltatásfejlesztés és -menedzsment a gyakorlatban bemutatkozás, tárgykövetelmények, bevezető
Szolgáltatásfejlesztés és -menedzsment a gyakorlatban bemutatkozás, tárgykövetelmények, bevezető Dr. Pataricza András, Gönczy László {pataric,gonczy}@mit.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem
RészletesebbenModellezési alapismeretek
Modellezési alapismeretek Rendszermodellezé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
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é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észletesebbenA cloud szolgáltatási modell a közigazgatásban
A cloud szolgáltatási modell a közigazgatásban Gombás László Krasznay Csaba Copyright 2011 Hewlett-Packard Development Company HP Informatikai Kft. 2011. november 23. Témafelvetés 2 HP Confidential Cloud
RészletesebbenFelhők teljesítményelemzése felhő alapokon
Felhők teljesítményelemzése felhő alapokon Kocsis Imre ikocsis@mit.bme.hu HTE Infokom 2014 Budapest University of Technology and Economics Department of Measurement and Information Systems 1 IT Szolgáltatásmenedzsment
RészletesebbenModellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő
Modellellenőrzés a vasút automatikai rendszerek fejlesztésében XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő 2018.04.25-27. Tartalom 1. Formális módszerek state of the art 2. Esettanulmány
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é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é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é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észletesebbenA Jövő Internet Nemzeti Kutatási Program bemutatása
A Jövő Internet Nemzeti Kutatási Program bemutatása Dr. Bakonyi Péter és Dr. Sallai Gyula Jövő Internet Kutatáskoordinációs Központ Budapesti Műszaki és Gazdaságtudományi Egyetem Budapest, 2013. június
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 Ez vajon egy állapotgép-e? Munkafolyamat (Workflow):
RészletesebbenRendszertervezés ágazat
Rendszertervezés Mérnök informatikus szak BSc Informatikai technológiák szakirány http://www.inf.mit.bme.hu/ Mérnök informatikus BSc A szakirány és ágazatai Informatikai technológiák szakirány Rendszertervezés
Ré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é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észletesebbenObjektumorientált paradigma és a programfejlesztés
Objektumorientált paradigma és a programfejlesztés Vámossy Zoltán vamossy.zoltan@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Ficsor Lajos (Miskolci Egyetem) prezentációja alapján Objektumorientált
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észletesebbenModell alapú tesztelés: célok és lehetőségek
Szoftvertesztelés 2016 Konferencia Modell alapú tesztelés: célok és lehetőségek Dr. Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika
RészletesebbenModellezési alapismeretek
Modellezési alapismeretek Rendszermodellezé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
RészletesebbenA Hibatűrő Rendszerek Kutatócsoport EU kutatási projektekjei
Budapesti Műszaki és Gazdaságtudományi Egyetem A EU kutatási projektekjei Európai partnereink RESIST BME (HU) City U. (UK) TU Darmstadt (DE) Deep Blue Srl (IT) France Telecom R&D (FR) IBM Research GmbH
RészletesebbenAutomatikus tesztgenerálás modell ellenőrző segítségével
Méréstechnika és Információs Rendszerek Tanszék Automatikus tesztgenerálás modell ellenőrző segítségével Micskei Zoltán műszaki informatika, V. Konzulens: Dr. Majzik István Tesztelés Célja: a rendszerben
RészletesebbenKÖFOP VEKOP A jó kormányzást megalapozó közszolgálat-fejlesztés
KÖFOP-2.1.2-VEKOP-15-2016-00001 A jó kormányzást megalapozó közszolgálat-fejlesztés Az Okos város okos közigazgatás kutatóműhely zárórendezvénye Okos szolgáltatások teljesítményének mérése, elemzése é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észletesebbenCopyright 2012, Oracle and/or its affiliates. All rights reserved.
1 Oracle Felhő Alkalmazások: Gyorsabb eredmények alacsonyabb kockázattal Biber Attila Igazgató Alkalmazások Divízió 2 M I L L I Á RD 4 1 PERC MINDEN 5 PERCBŐL 5 6 Ember használ mobilt 7 FELHŐ SZOLGÁLTATÁS
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észletesebbenMÉRŐ AUTOMATA RENDSZEREK
Állománynév: software defined 10bevezetes32.pdf Irodalom: Előadók jegyzetei: http://users.itk.ppke.hu/ kolumban/software defined/ MÉRŐ AUTOMATA RENDSZEREK Napjaink legfontosabb trendje: Szoftver definiált
RészletesebbenÜzleti folyamatok rugalmasabb IT támogatása. Nick Gábor András 2009. szeptember 10.
Üzleti folyamatok rugalmasabb IT támogatása Nick Gábor András 2009. szeptember 10. A Generali-Providencia Magyarországon 1831: A Generali Magyarország első biztosítója 1946: Vállalatok államosítása 1989:
RészletesebbenBSc Témalaboratórum (BME VIMIAL00) Előzetes tájékoztató előadás 2018 ősz. Dr. Ráth István
BSc Témalaboratórum (BME VIMIAL00) Előzetes tájékoztató előadás 2018 ősz Dr. Ráth István rath@mit.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 1
RészletesebbenIT ADVISORY. Biztonság a felhőben. Gaidosch Tamás CISA, CISM, CISSP. 2010. január 20.
IT ADVISORY Biztonság a felhőben Gaidosch Tamás CISA, CISM, CISSP 2010. január 20. Tartalom Cloud hype Mi micsoda? Szempontok Előnyök és kockázatok 1 Hype 2 Hype cloud outsourcing Forrás: Gartner 3 Mit
RészletesebbenDivényi Dániel, BME-VET Konzulens: Dr. Dán András 57. MEE Vándorgyűlés, szeptember
Divényi Dániel, BME-VET Konzulens: Dr. Dán András 57. MEE Vándorgyűlés, 2010. szeptember Tartalom Probléma ismertetése A létrehozott modell Ágenstechnológia általában Az alkalmazott modell részletes ismertetése
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é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észletesebbenIoT rendszerfelügyelet
IoT rendszerfelügyelet Rózsa Gábor, NETvisor Zrt. Budapest, 2016. december 6. Tartalom Rendszerfelügyelet IoT környezetben Alapvető felügyeleti komponensek Felderítés Nyilvántartás Teljesítmény monitorozás
Részletesebben4.0: Lehetőség vagy követendő irány. ~150 év ~ 60 év. ~ 30 év ~ 15 év
r 4.0: Lehetőség vagy követendő irány 4.0: Lehetőség vagy követendő irány Gödri István, AVENTICS Hungary Kft. ~150 év ~ 60 év ~ 30 év ~ 15 év Mire keres megoldást az Ipar 4.0? A bizonytalan és gyorsan
RészletesebbenÓBUDAI EGYETEM KANDÓ KÁLMÁN VILLAMOSMÉRNÖKI KAR. Villamosmérnök szak
2016/2017. tanév 1. félév 1. Matematika I. 42439/1. Vektorgeometria és lineáris algebra 2.900,- 42440 Analízis 3.900,- 1190 Matematika feladatok 3.220,- 2. Informatika I. 1186/I. Számítástechnika I. 2.200,-
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észletesebbenObjektum orientált programozás Bevezetés
Objektum orientált programozás Bevezetés Miskolci Egyetem Általános Informatikai Tanszék Utolsó módosítás: 2008. 03. 04. OOPALAP / 1 A program készítés Absztrakciós folyamat, amelyben a valós világban
RészletesebbenS01-7 Komponens alapú szoftverfejlesztés 1
S01-7 Komponens alapú szoftverfejlesztés 1 1. A szoftverfejlesztési modell fogalma. 2. A komponens és komponens modell fogalma. 3. UML kompozíciós diagram fogalma. 4. A szoftverarchitektúrák fogalma, összetevői.
RészletesebbenFELHŐ és a MAINFRAME. Irmes Sándor
FELHŐ és a MAINFRAME Irmes Sándor Változik az üzleti környezet Zavaró tényezők viharában Gartner: nexus of forces (összehangolt erőterek) Social: Mindenhol elérhető kapcsolattartás, egyre gazdagabb tartalommal
RészletesebbenThe nontrivial extraction of implicit, previously unknown, and potentially useful information from data.
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Adatelemzés intelligens módszerekkel Hullám Gábor Adatelemzés hagyományos megközelítésben I. Megválaszolandó
RészletesebbenDW 9. előadás DW tervezése, DW-projekt
DW 9. előadás DW tervezése, DW-projekt Követelmény felmérés DW séma tervezése Betöltési modul tervezése Fizikai DW tervezése OLAP felület tervezése Hardver kiépítése Implementáció Tesztelés, bevezetés
RészletesebbenSzoftver-technológia I.
Szoftver technológia I. Oktatók Sziray József B602 Heckenast Tamás B603 2 Tananyag Elektronikus segédletek www.sze.hu/~sziray/ www.sze.hu/~heckenas/okt/ (www.sze.hu/~orbang/) Nyomtatott könyv Ian Sommerville:
RészletesebbenLászló Péter. Lehetséges-e az üzleti fókuszú infokommunikációs szolgáltatás menedzsment megvalósítása az állami szférában?
László Péter Lehetséges-e az üzleti fókuszú infokommunikációs szolgáltatás menedzsment megvalósítása az állami szférában? Do more with less. ICT értékének bizonyítása Transzparencia hiánya ICT szolgáltatások
RészletesebbenFolyamatoptimalizálás: a felhőalapú modernizáció kiindulópontja. Bertók Botond Pannon Egyetem, Műszaki Informatikai Kar
Folyamatoptimalizálás: a felhőalapú modernizáció kiindulópontja Bertók Botond Pannon Egyetem, Műszaki Informatikai Kar Tartalom Felhőalapú szolgáltatások Kihívások Módszertan Kutatás Projektek 2 Felső
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észletesebben30 MB INFORMATIKAI PROJEKTELLENŐR
INFORMATIKAI PROJEKTELLENŐR 30 MB DOMBORA SÁNDOR BEVEZETÉS (INFORMATIKA, INFORMATIAKI FÜGGŐSÉG, INFORMATIKAI PROJEKTEK, MÉRNÖKI ÉS INFORMATIKAI FELADATOK TALÁKOZÁSA, TECHNOLÓGIÁK) 2016. 09. 17. MMK- Informatikai
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észletesebbenIV.3. MODELL-ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ KOCSIS-MAGYAR MELINDA
infokommunikációs technológiák IV.3. MODELL-ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ KOCSIS-MAGYAR MELINDA MODELL ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK
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észletesebbenValószínűségi modellellenőrzés Markov döntési folyamatokkal
Valószínűségi modellellenőrzés Markov döntési folyamatokkal Hajdu Ákos Szoftver verifikáció és validáció 2015.12.09. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
RészletesebbenMegszületett a digitális minőségügyi szakember? XXIV. Nemzeti Minőségügyi Konferencia
Megszületett a digitális minőségügyi szakember? XXIV. Nemzeti Minőségügyi Konferencia Online szavazás részletei zeetings.com/adapto XXIV. Nemzeti Minőségügyi Konferencia 2 Bevezető Szemfelszedő, Jéghordó,
RészletesebbenKÖZPONTI OKOSHÁLÓZATI MINTAPROJEKT
KÖZPONTI OKOSHÁLÓZATI MINTAPROJEKT Kudor Attila műszaki igazgató attila.kudor@komzrt.hu KOM KÖZPONTI OKOS MÉRÉS ZRT. 100%-os MAVIR tulajdonú projektvállalat A Központi Okoshálózati Mintaprojekt végrehajtója
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észletesebbenObjektumorientált paradigma és programfejlesztés Bevezető
Objektumorientált paradigma és programfejlesztés Bevezető Vámossy Zoltán vamossy.zoltan@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Ficsor Lajos (Miskolci Egyetem) prezentációja alapján
RészletesebbenAbsztrakció. Objektum orientált programozás Bevezetés. Általános Informatikai Tanszék Utolsó módosítás:
Objektum orientált programozás Bevezetés Miskolci Egyetem Általános Informatikai Tanszék Utolsó módosítás: 2008. 03. 04. OOPALAP / 1 A program készítés Absztrakciós folyamat, amelyben a valós világban
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észletesebbenPTE PMMIK, SzKK Smart City Technologies, BimSolutions.hu 1
BEMUTATKOZÁS Diploma (2009) Építészirodai munka, tervezési gyakorlat VICO vcs, (vce), pl, trainer (2010) PhD tanulmányok + oktatás Kutatócsoport + saját projektek (2014) BimSolutions.hu 1 BIM FELHASZNÁLÁSI
RészletesebbenFelhőszolgáltatások megvalósítása PureSystems eszközökön
Budai Károly Szoftver architekt 2015. április 1. Felhőszolgáltatások megvalósítása PureSystems eszközökön 2015 IBM Corpora/on Tartalom è Az IBM PureSystems termékcsalád è PureFlex - IaaS è PureApplication
RészletesebbenITIL alapú IT környezet kialakítás és IT szolgáltatás menedzsment megvalósítás az FHB-ban
IBM Global Technology Services ITIL alapú IT környezet kialakítás és IT szolgáltatás menedzsment megvalósítás az FHB-ban ITSMF Magyarország 3. szemináriuma Tild Attila, ISM IBM Magyarországi Kft. 2006
RészletesebbenTakács Gábor mérnök informatikus, okl. mérnöktanár
Takács Gábor mérnök informatikus, okl. mérnöktanár takacsg@sze.hu http://rs1.sze.hu/~takacsg/ Big Data Definition Big Data is data that can t be stored or analyzed using traditional tools. Információ tartalom,
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é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é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észletesebbenFormális módszerek GM_IN003_1 Bevezetés
Formális módszerek GM_IN003_1 Formális módszerek Formális módszer! formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben nincs olyan formális eljárás, ami egy komplex rendszer minden
RészletesebbenLEAN 4.0 azaz hogyan tudja a Lean menedzsment az Ipar 4.0-át támogatni és lehetőségeit kiaknázni.
XXV. NEMZETI MINŐSÉGÜGYI KONFERENCIA LEAN 4.0 azaz hogyan tudja a Lean menedzsment az Ipar 4.0-át támogatni és lehetőségeit kiaknázni. Dr. Németh Balázs Kvalikon Kft. 2018. Szeptember 14. Termelő vállalat
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észletesebbenProgramrendszerek tanúsítása szoftverminőség mérése
SZEGEDI TUDOMÁNYEGYETEM Programrendszerek tanúsítása szoftverminőség mérése Dr. Gyimóthy Tibor Dr. Ferenc Rudolf Szoftverminőség biztosítás Fő cél: az üzemelő IT rendszerekben csökkenteni a hibák számát
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észletesebbenHálózati szolgáltatások biztosításának felügyeleti elemei
Budai Károly IT architekt 2012. október 11. Hálózati szolgáltatások biztosításának felügyeleti elemei Szolgáltatás biztosítás általános modellje FELHASZNÁLÓ szolgáltató ügyfélszolgálat szolgáltató üzemeltetői
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észletesebbenTARTÓSZERKEZETEK TERVEZÉSE ÉS TŰZGÁTLÓ MEGOLDÁSOK BIM ALAPÚ PROJEKTEKNÉL
TARTÓSZERKEZETEK TERVEZÉSE ÉS TŰZGÁTLÓ MEGOLDÁSOK BIM ALAPÚ PROJEKTEKNÉL Nikula László Senior mérnöktanácsadó / BIM Specialista Hilti Hungária Szolgáltató Kft. MI IS A BIM? BIM Modell Menedzsment Épület
RészletesebbenModellek fejlesztése
Modellek fejlesztése Molnár Vince, Dr. Pataricza Andrá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
RészletesebbenVIKKK III: firány: Korszer technológia rendszerek fejlesztése, se, optimalizálása
VIKKK III: firány: Korszer technológia rendszerek fejlesztése, se, optimalizálása Szeifert Ferenc Veszprémi Egyetem, Folyamatmérnöki Tanszék Veszprém, 2006. január Elzmény projektek: Projektek Vegyipari
RészletesebbenDigitális eszközök típusai
Digitális eszközök típusai A digitális eszközök típusai Digitális rendszer fogalma Több minden lehet digitális rendszer Jelen esetben digitális integrált áramköröket értünk a digitális rendszerek alatt
RészletesebbenSW-project management
SW-project management 1 PM tárgya tervezés megfigyelés ellenőrzés emberek folyamat események 4P People (emberek) Product (termék) Process (folyamat) Project PM szintjei 3 SW előállítási folyamat bizonytalansága
RészletesebbenModellek fejlesztése
Modellek fejlesztése 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 1 Tartalom
RészletesebbenMANUFUTURE STRATÉGIAI KUTATÁSI TÉMATERÜLETEK KAPCSOLATI RENDSZERE, TERVEZHETŐ IDŐHORIZONTOK
MANUFUTURE STRATÉGIAI KUTATÁSI TÉMATERÜLETEK KAPCSOLATI RENDSZERE, TERVEZHETŐ IDŐHORIZONTOK Új üzleti modellek Európai gyárak menedzselése A menedzsment átalakítása a túlélésért és a sikerért Innovatív,
RészletesebbenMiskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék
Miskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék 2012/13 2. félév 4. Előadás Dr. Kulcsár Gyula egyetemi docens Gyártórendszerek egyszerűsített irányítási modellje Zavaró
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észletesebbenSzolgáltatás mérés/riportolás magas fokon Egy valós megoldás Pepsi berkekben
Szolgáltatás mérés/riportolás magas fokon Egy valós megoldás Pepsi berkekben Mérő Gábor PepsiAmericas Kft Technikai szolgáltatási Vezető Hajdú Miklós ICON Számítástechnikai Rt Alkalmazás- és Rendszerfelügyeleti
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észletesebbenStratégiai Terv Összefoglaló. ARTEMIS-Magyarország Nemzeti Technológiai Platform
Stratégiai Terv Összefoglaló ARTEMIS-Magyarország Nemzeti Technológiai Platform ARTEMIS-H dokumentumok Helyzetelemzés Fogalomkészlet Stratégiai Terv Megvalósítási Terv Készül. Nemzetközi trendek - Másként
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észletesebbenMiskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék. Dr. Kulcsár Gyula egyetemi docens
Miskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék Dr. Kulcsár Gyula egyetemi docens Tartalomjegyzék Bevezetés Termelési paradigma fogalma Paradigma váltások A CIM fogalmának
RészletesebbenSZOLGÁLTATÁS BIZTOSÍTÁS
6. óra SZOLGÁLTATÁS BIZTOSÍTÁS Tárgy: Szolgáltatás menedzsment Kód: NIRSM1MMEM Kredit: 5 Szak: Mérnök Informatikus MSc (esti) Óraszám: Előadás: 2/hét Laborgyakorlat: 2/hét Számonkérés: Vizsga, (félévi
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észletesebbenIK Algoritmusok és Alkalmazásaik Tsz, TTK Operációkutatás Tsz. A LEMON C++ gráf optimalizálási könyvtár használata
IKP-9010 Számítógépes számelmélet 1. EA IK Komputeralgebra Tsz. IKP-9011 Számítógépes számelmélet 2. EA IK Komputeralgebra Tsz. IKP-9021 Java technológiák IK Prog. Nyelv és Ford.programok Tsz. IKP-9030
RészletesebbenEmber és robot együttműködése a gyártásban Ipar 4.0
Helyszín: MTA Székház, Felolvasóterem Időpont: 2017. November 7. Ember és robot együttműködése a gyártásban Ipar 4.0 Dr. Erdős Ferenc Gábor MTA SZTAKI Fejlett robotika ígérete A fejlett robotika és az
RészletesebbenSzIP kompatibilis sávszélesség mérések
SZIPorkázó technológiák SzIP kompatibilis sávszélesség mérések Liszkai János Equicom Kft. SZIP Teljesítőképesség, minőségi paraméterek Feltöltési sebesség [Mbit/s] Letöltési sebesség [Mbit/s] Névleges
RészletesebbenOracle Exalogic Elastic Cloud
ORACLE PRODUCT LOGO Month, Day, Year Venue City Oracle Exalogic Elastic Cloud Nagy Péter Vezető tanácsadó The following is intended to outline our general product direction. It is intended for information
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észletesebbenDr. Pataricza András Dr. Ráth István
BSc Önálló laboratórium (BME VIMIA376 / VIMIAL01) és Szakdolgozat készítés (BME VIMIA411) Előzetes tájékoztató előadás 2016 tavasz Dr. Pataricza András pataric@mit.bme.hu Dr. Ráth István rath@mit.bme.hu
RészletesebbenIK Algoritmusok és Alkalmazásaik Tsz, TTK Operációkutatás Tsz. A LEMON C++ gráf optimalizálási könyvtár használata
IKP-9010 Számítógépes számelmélet 1. EA IK Komputeralgebra Tsz. IKP-9011 Számítógépes számelmélet 2. EA IK Komputeralgebra Tsz. IKP-9021 Java technológiák IK Prog. Nyelv és Ford.programok Tsz. IKP-9030
RészletesebbenA felhő, ha két lábbal a Földön állva nézzük Pávlicz György 2016.02.22.
A teljesség igényével : ) A felhő, ha két lábbal a Földön állva nézzük Pávlicz György 2016.02.22. előadás az Óbudai Egyetemen A Hírközlési és Informatikai Tudományos Egyesület Számítástechnikai Szakosztálya,
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észletesebbenTesztelési szintek Tesztautomatizálás
Integrációs és ellenőrzési technikák (VIMIA04) Tesztelési szintek Tesztautomatizálás Majzik István, Micskei Zoltán Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi
Részletesebben