Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

IB413. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Modellalapú tervezés és kódgenerálás szakkör Bevezető.

Hasonló előadás


Az előadások a következő témára: "IB413. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Modellalapú tervezés és kódgenerálás szakkör Bevezető."— Előadás másolata:

1 IB413

2 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Modellalapú tervezés és kódgenerálás szakkör Bevezető Darvas Dániel, Horányi Gergő 2012. február 14.

3 3 Kik vagyunk mi?  MIT FTSRG – Hibatűrő Rendszerek Kutatócsoport  Darvas Dániel, MSc – darvas.daniel@gmail.com  Horányi Gergő, MSc – horanyi.gergo@gmail.com  dr. Majzik István, docens – majzik@mit.bme.hu  Szatmári Zoltán, tud. segédmunkatárs – szatmari@mit.bme.hu  Vörös András, doktorandusz – vori@mit.bme.hu 3

4 4 Kik vagyunk mi?  Darvas Dániel o rendszertervezés során készített modellek ellenőrzése, ellenőrző algoritmusok, PetriDotNet keretrendszer  Horányi Gergő o modellvezérelt rendszertervezés kódgenerálási problémáinak megoldása és futásidejű verifikációs rendszerek automatikus szintézise  mi is egy ilyen szakkörrel kezdtük 3 éve, azóta a tanszéken dolgozunk 4 Érdeklődő hallgatókat szívesen látunk a tanszéki projektekben / szakirányon!

5 5 Motiváció 5  vannak projektek, ahol nem lehet hibázni  Vega hordozórakéta fedélzeti számítógépeinek szoftvereit formális módszerekkel ellenőrizték o Esterel SCADE  és amikor hiba csúszik dologba: Ariane 5 rakéta, 1996 o lebegőpontos konverzió, kezeletlen kivétel o 40 másodperc után önmegsemmisítés o rakéta: $500 millió, projekt: $7 milliárd

6 6 Mi fog itt történni? „Rendszert fogunk tervezni.” 6

7 7 Mi fog itt történni? 7 Modellvasút vezérlőrendszer grafikus irányítópulttal

8 8 Mi fog itt történni? 8 4 elosztott beágyazott vezérlő hálózati kapcsolatban egymással bizonyítottan helyes, automatikusan generált programokkal egy komplex rendszerhez pluginként beillesztve egyszerű, egységes grafikus felülettel

9 9 Mi fog itt történni? 9  mbed mikrovezérlő o ARM Cortex-M3 o 96 MHz o 32 bit szóhossz o 32 KB RAM  egyedileg épített vonatvezérlő hardver

10 10 Hogy fog mindez történni? 10  3 alkalom, mindig kedd 17:15-19:00, IL405 o 3. hét (február 21.) o 5. hét (március 6.) o 6. hét (március 13.)  eredményhirdetés: 9. hét (április 3.)  köztes heteken operációs rendszerek (fakultatív) gyakorlatok lesznek

11 11 Hogy fog mindez történni? 11  csapatokban kell dolgozni o 2-3 (de max. 4) fős csapatok  minden alkalom után lesz házi feladat o ezeket kijavítjuk, pontozzuk, szöveges értékeléssel  3. alkalom után nagyfeladat, amire 3 hét van o minden csapat kap konzulenst o személyes találkozó, megbeszélés  nagyfeladat végén egymásnak bemutatjátok mit alkottatok, pontozzuk és eredményt hirdetünk

12 12 Szakkör és csapatverseny 12  szakkör, mert o minden alkalommal röviden bemutatjuk az adott technológiát o utána mindenki kipróbálhatja, együtt oldunk meg feladatokat  verseny, mert o házi feladatokat kell megoldani o nagyfeladatként a teljes rendszert el kell készíteni ténylegesen a modellvasúton futtatva egyedi ötletekkel, megoldásokkal

13 13 Alkalmak 13 modellezés és ellenőrzés kódgeneráláspluginfejlesztés

14 14 Első alkalom: modellezés 14  formális modellek megismerése  modellek helyességének automatikus vizsgálata o követelmények formalizálása  UPPAAL modellező és modellellenőrző rendszer megismerése, kipróbálása  valós problémák modelljének elkészítése és ellenőrzése  közlekedési csomópont modellezése

15 15 Első alkalom: modellezés 15

16 16 Második alkalom: kódgenerálás 16  modellekből automatikus forráskód generálás  modellvasút rendszer és modellvasút szimulátor megismerése o lehetőségetek lesz a házi feladatok során otthon, modellvasút nélkül is tesztelni  vonatmozgások modellezése  környezeti modellek használata

17 17 Második alkalom: kódgenerálás 17 SHELDON

18 18 Második alkalom: kódgenerálás 18

19 19 Harmadik alkalom: pluginfejlesztés 19  grafikus irányítópult fejlesztése a vezérlőrendszerhez  egymásra épülő pluginok fejlesztése o modellvasút szimulátor alkalmazásba egy irányítópult plugin fejlesztése o integráció  Eclipse Rich Client Platform, JForms API technológiák

20 20 Harmadik alkalom: pluginfejlesztés 20

21 21 Ezután… 21  3 hét alatt a csapatoknak le kell fejleszteni a teljes vezérlőrendszert o többféle vonatmozgás modellezése o egyszerű grafikus felület o integráció  csapatonkénti konzultációk o lehetőségetek lesz rá, hogy ne csak szimulátoron teszteljetek  a végeredményt be kell mutatni a többi csapatnak  a legjobbakat díjazzuk!

22 22 Csapatok 22  2-3 (max. 4) fős csapatok  jelentkezzetek a szakkor.inf.mit.bme.hu címen o csapatnév és csapattagok (Neptun kód a beadáshoz) o jelentkezési határidő: február 19. éjfél  együtt kell a házikat és a nagyfeladatot megoldani o a házikat a következő alkalom előtti 2. nap éjfélig lehet leadni a honlapon  aki nem talál csapattársat, jelentkezzen nálam!

23 23 Csapatok 23 http://szakkor.inf.mit.bme.hu

24 24 A következő rész tartalmából 24  Modellezés és modellellenőrzés  UPPAAL  február 21. 17:15, IL405  aki hoz saját gépet, azon is tud dolgozni o UPPAAL elfut minden operációs rendszeren o persze az itt levő gépeken is nyugodtan lehet dolgozni


Letölteni ppt "IB413. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Modellalapú tervezés és kódgenerálás szakkör Bevezető."

Hasonló előadás


Google Hirdetések