Előadást letölteni
Az előadás letöltése folymat van. Kérjük, várjon
KiadtaDezső Fehér Megváltozta több, mint 10 éve
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
Hasonló előadás
© 2024 SlidePlayer.hu Inc.
All rights reserved.