Nagy bonyolultságú rendszerek fejlesztőeszközei

Méret: px

Mutatás kezdődik a ... oldaltól:

Download "Nagy bonyolultságú rendszerek fejlesztőeszközei"

Tivadar Bakos
7 évvel ezelőtt
Látták:

1 Nagy bonyolultságú rendszerek fejlesztőeszközei Balogh András

2 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ő rendszerek Modell-alapú fejlesztés Verifikáció/validáció Folyamat alapú rendszertervezés Tevékenységi kör Modell-alapú fejlesztőeszközök beágyazott rendszerekhez Formális verifikáció, validáció Automatikus eszközök rendszertervezéshez Oktatás, tanácsadás Artemis-H Akadémia november 30. 2

3 Tartalom GENESYS: Az Artemis célok egy megvalósítása GENESYS Fejlesztési módszertan A módszertan megvalósítása Modell-alapú fejlesztés Előnyök Hátrányok Kihívások Példa: autóipari alkalmazás Artemis-H Akadémia november 30. 3

4 ARTEMIS - GENESYS ARTEMIS célok Hálózati és biztonságos rendszerek Energia-hatékonyság és integrált erőforrás kezelés Robosztusság Komponálhatóság Diagnosztika és karbantartás támogatás Továbbfejleszthetőség GENESYS EU Projekt ( ) Résztvevők: ipari túlsúly (autó, repülő, multimédia, mobil) Célkitűzések Általános architekturális stílus Referencia architektúra sablon Modell- és minőség-vezérelt fejlesztési módszertan Prototípusok fejlesztése Artemis-H Akadémia november 30. 4

5 GENESYS architektúra Erősen komponens-orientált, Hierarchikus chip, eszköz, rendszer Artemis-H Akadémia november 30. 5

6 GENESYS architektúra Komponens összekapcsolás Chip-en belül Chip-ek között Eszközök között hálózatok segítségével Platform Kis számú alapszolgáltatás ( nanokernel ) Komponens boot és futtatás Globális idő Kommunikáció (üzenet alapú, idő- és esemény-vezérelt, adatfolyamok) Komplex szolgáltatások Komponens-orientált megközelítés Mint az alkalmazások Egyenként hozzáadhatóak Példák: redundancia, diagnosztika, internet kapcsolat, stb. Artemis-H Akadémia november 30. 6

7 GENESYS fejlesztési módszertan Tipikus alkalmazások Közös jellemzők Elosztott, több számítási egység Hálózatok kezelése Több funkció integrálása Energiahatékonyság Csökkenő életciklus hagyományos beágyazott rendszerek Kemény valós idejű Gyakran biztonságkritikus dinamikus rendszerek Folyamatosan változó környezet és rendszer Változó felhasználói igények Változó prioritások Artemis-H Akadémia november 30. 7

8 GENESYS fejlesztési módszertan Fő jellemzők Modell alapú Terület specifikus nyelvek Matlab Simulink, UML MARTE, Automatikus transzformációk Minőség vezérelt Folyamatos ellenőrzés Tervezési variánsok kiértékelése Nem-funkcionális jellemzők követése Időbeliség Megbízhatóság Energia felhasználás Tanúsítványozás Támogatás a tanúsított fejlesztéshez Artemis-H Akadémia november 30. 8

9 GENESYS fejlesztési módszertan Követelmény specifikáció Funkcionális tervezés Platform tervezés Szoftver-hardver integráció Minőség-ellenőrzés Implementáció Artemis-H Akadémia november 30. 9

10 Fontos jellemzők Alkalmazás és platform modell könyvtár Modell-szintű újrafelhasználás Alkalmazások Rész-rendszerek Platform elemek Tartalma Alkalmazás és platform modellek Implementációik Nem-funkcionális jellemzők Teljesítmény, fogyasztás, időzítések, ár Lehetőségek Intelligens keresés meglevő elemek között Újrafelhasználás Artemis-H Akadémia november

11 Intelligens újrafelhasználás Példa: elosztott alkalmazás Alkalmazás architektúrális tervezése <- modell úf. Magas szintű platform architektúra kialakítása Az alkalmazás terv alapján Meglévő platform elemek újrafelhasználása Fizikai kényszerek (elhelyezkedés, fogyasztás, ) Új platform elemek fejlesztése Platform modell összeállítása <- platform úf. Hardver-szoftver integráció <- konfiguráció úf. Implementálás <- kód újrafelhasználás Artemis-H Akadémia november

12 Automatizálás Sok fázisban Intelligens keresés modell-szintű újrafelhasználáshoz Magas szintű architektúra változatok generálása Hardver-szoftver allokáció Kommunikáció és taszk ütemezés Konfiguráció és forrás fájl generálás Fő célkitűzés Mechanikus feladatok automatizálása DE: tervezői kontroll Automatizálás és manuális megadás kombinálható Artemis-H Akadémia november

13 INDEXYS: A GENESYS implementálása Új EU Artemis Projekt Cél: A GENESYS elvek átültetése a gyakorlatba között Partnerek: Audi, EADS, NXP, OptXware, Thales, TTTech, TU Darmstadt, TU Delft, TU Kaiserslautern, TU Vienna OptXware feladatok GENESYS kompatibilis eszköz lánc kifejlesztése Az előbb tárgyalt koncepciók mentén Artemis-H Akadémia november

14 INDEXYS modell-alapú eszköz lánc Követelmények A GENESYS folyamat támogatása Ipari alkalmazhatóság Csoportmunka kezelés Verziókezelés Valós méretű projektek kezelése Ipari szabvány eszközökkel, modellezési nyelvekkel való kompatibilitás Nyílt architektúra Kiterjeszthető eszköz rendszer Testre szabható (akár felhasználó által is) Illeszkedik a felhasználó fejlesztési folyamatához Artemis-H Akadémia november

INDEXYS modell-alapú eszköz lánc Központi tár modellek fájlok Fejlesztői verziókezelés munkaállomás integrált környezet moduláris felépítés szerkesztők, fordítók,

15 INDEXYS modell-alapú eszköz lánc Központi tár modellek fájlok Fejlesztői verziókezelés munkaállomás integrált környezet moduláris felépítés szerkesztők, fordítók, analízis eszközök Fejlesztő szerver állományok kezelése jogosultság kezelése automatikus eszközök meghívása eseménykezelés folyamatkövetés Artemis-H Akadémia november

16 Modell-alapú fejlesztés Előnyök Vizuális fejlesztés Magas szintű tervezés Magas szintű újrafelhasználás Automatikus szintézis eszközök Allokáció Ütemezés Konfiguráció generálás Automatikus analízis eszközök Produktivitás növekedés Komplexitás csökkentés Artemis-H Akadémia november

17 Modell-alapú fejlesztés Hátrányok (kihívások) Sok különböző modellező nyelv Melyiket? Nagyméretű projektek Nagy modellek kezelése? Automatikus eszközök Stabil platformot feltételez Platform elemeket nem generál -> GENESYS megoldást kínál Eszköz minőség/minősítés Tanúsítható eszközök kellenek Modell-transzformációk Kódgenerátorok Kihívások az eszköz fejlesztőknek! Artemis-H Akadémia november

18 Mintapélda: autóipari rendszerek Fontos terület Sok szereplő Autógyárak Beszállítók Eszköz fejlesztők Előrehaladott szabványosítás AutoSAR FIBEX Automotive HIS OSEK A modell-alapú fejlesztés terjed A problémák még nincsenek teljes mértékben megoldva Artemis-H Akadémia november

19 Embedded Architect automotive edition Az INDEXYS eszközök első mintapéldánya Modell-alapú Folyamat megközelítést tartalmaz Automatizált szintézis eszközök Integrált konzisztencia ellenőrzés Integrált modell analízis A korábban bemutatott elvek alkalmazása Autóipari környezetben Autóipari modellező nyelvekre Autóipari platformra Artemis-H Akadémia november

20 Egyszerűsített munkafolyamat Artemis-H Akadémia november

21 Egyszerűsített munkafolyamat Artemis-H Akadémia november

22 Összefoglalás Modell-alapú fejlesztés Beágyazott rendszerek területén is Fontos kutatási és fejlesztési témakör Már vannak ígéretes eredmények További munka szükséges a teljes elfogadáshoz GENESYS architektúra Általános, komponens alapú platform Beágyazott rendszerek széles köréhez Moduláris, hordozható felépítés Modell-alapú fejlesztés támogatása Az első konkrét eszközök már elérhetőek Artemis-H Akadémia november

Hasonló dokumentumok

Autó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