Szolgáltatási területek
A kutatás és a tudáshasznosítási mechanizmusok integrációja
Szoftver- és adatintenzív szolgáltatások
A Központ szolgáltatási tevékenységének fő iránya:
kutatásfejlesztési tevékenység a helyi/regionális ipari igényeknek megfelelően:
Piaci hatékonyságot, versenyképességet növelő új eljárások, tesztelt prototípusok vagy piacra vihető termékek, szolgáltatások, technológiai eljárások kidolgozása.
Szolgáltatási területeink
Egészségügy
Diagnosztikai célú képalkotó eszközökben alkalmazott jel- és képfeldolozás, és adatfeldolgozási módszerek fejlesztése. Nagy egészségügyi adatbázisok összekapcsolásával és egészségügyi adatok elemzésével új gyógyászati eljárások informatikai hátterének kialakítása.
Pénzügy
Pénzügyi szolgáltatások digitális transzformációja, adattudományi eljárások kidolgozása és alkalmazása a digitális banki szolgáltatások, a Fintech területén.
Ipar 4.0
Pénzügyi szolgáltatások digitális transzformációja, adattudományi eljárások kidolgozása és alkalmazása a digitális banki szolgáltatások, a Fintech területén.
Kriptográfia
A kriptográfia a következő pár évben fontos változáson fog átmenni a kvantumtechnológiai kihívásra reagálva. Megvizsgáljuk azokat a megoldásokat, amelyek ellenállók mind a hagyományos, mind a kvantumszámítógéppel szemben, mivel járhat az algoritmusváltás, miképp lehet alkalmazni azokat.
SPECT képalkotás
A szív kiértékeléseknél két különböző területre, a perfúziós és blodpool, úgynevezett átfolyásos eljárások automatikus kiértékelése fókuszálunk, ahol a nagy fokú automatizmusok újdonságnak számítanak. A szív kiértékelés mellett az agyi vizsgálatok a másik fontos terület, ahol a SPECT képalkotási modalitással számos betegség diagnosztizálható és elemezhető automatizált algoritmusokkal.
Adatintenzív elemzések
Az ELTE kutatói olyan K+F infrastruktúrát és informatikai elemzőközpontot hoznak létre, amely az iparban alkalmazott, failsafe adatgyűjtő technológiákra épülve képes adatintenzív elemzéseket végezni, csak dinamikus módszerekkel mérhető paraméterek meghatározására.
Szolgáltatásaink
Probléma
A hagyományos tesztautomatizálás nem tartalmazza a teszttervezést, programozói tudást igényel, lassú és nehezen karbantartható. Az erre adott válasz a modell-alapú tesztelés. Azonban, a modell „gép által értelmezhető” kell, hogy legyen, tehát csak akkor kezdhető, ha már kész az alkalmazás, kell hozzá programozói tudás és minden implementációs részletet kell, hogy tartalmazzon. Ezért szintén lassú és minden implementációs változásra érzékeny. Továbbá az eredményeket előre ki kell számolni és betenni a modellbe.
Megoldás
Kidolgoztunk egy kétfázisú modellalapú módszert. Az első fázisban egy magasszintű modellt készít a tesztelő. A magasszintű modell egy olyan modell-leírás, amely opcionálisan tartalmazza a rendszer állapotait. A szöveges modellből állapotgráf generálható. A magasszintű modellből generálhatók az absztrakt tesztek, amelyeket a tesztelő képes végrehajtani, amint az applikáció elkészült. A futtatás során az alacsonyszintű modellt kigeneráljuk, amelyből tetszés szerinti futtatható kód készül.
Eredmény
A megoldás egy alkalmazás, amely segítségével egyszerűen és gyorsan lehet a tesztautomatizálás első részét elvégezni egészen a tesztfuttatásig, amelyre számos hatékony eszköz képes. Ezzel a megoldással a tesztkód a hasonló automatizálásra képes tesztkód méretének tizede. Egy teszteset átlagosan négy óra alatt készül el a hagyományos megoldással, a kétfázisú modellezéssel 20- 30 perc.
Amit kínálunk
Oktatás. Egy és kétnapos „hands-on” oktatás során megtanítjuk a legmodernebb teszttervezési módszereket. Ehhez érdekes feladatokat dolgoztunk ki, amelyek megtalálhatók a honlapunkon. Az oktatás másik célja a modern tesztautomatizálás elsajátítása gyakorlatokon keresztül.
Tesztautomatizálás. Számos cég nem rendelkezik megfelelő létszámú tesztelőcsapattal, ugyanakkor szeretnének tesztautomatizálni. Vállaljuk a projektekben a tesztelés modellezését és a futtatható tesztek elkészítését, kigenerálását. Vállaljuk továbbá a tesztek folyamatos karbantartását.
Probléma
A tesztelés a szoftverfejlesztés alapvető szempontja, mivel a szoftverek összetettsége egyre nő, a kiadási határidők pedig egyre rövidebbek, ami növeli a hibák valószínűségét. A tesztelés fontossága ellenére a tesztelésre szánt erőforrások gyakran korlátozottak a szoftver összetettségéhez képest. Míg a nagy szoftvercégeknél elterjedt az automatizált tesztvégrehajtás, a teszttervezés jellemzően még mindig kézzel történik, ami jelentős időt vesz igénybe.
Megoldás
Az egyik lehetséges megoldás a teszttervezés automatizálása. A Model 》 Test 》 Relax keretrendszer automatikusan generál teszteket egy adott specifikációs modellből, amely szisztematikusan ellenőrzi a tesztelt rendszert (SUT), bizonyos előre beállított tesztkiválasztási kritériumok szerint. Az automatizált teszttervezéssel azonos erőforrásokkal magasabb termékminőség érhető el.
Eredmény
Van egy robusztus keretrendszerünk, amely változatos algoritmusokkal és
funkciókkal van felszerelve a tesztgeneráláshoz és a modellátalakításhoz, valamint a modell- és adatvizualizációhoz. Új fejlesztésű, hatékony tesztgeneráló algoritmusokat is bevezettünk.
Amit kínálunk
Szolgáltatás. Segítünk formális specifikációs modellek létrehozásában, amelyek világos, átfogó megértést adnak a rendszerről az érintettekkel való hatékony kommunikáció érdekében. Támogatásunk magában foglalja az optimális tesztkiválasztási kritériumok kiválasztását is, amelyek egyensúlyban tartják az erőforrásokat és a termékminőséget. Ezek a kritériumok szükség szerint módosíthatók, és különféle kritériumok állíthatók be különböző tesztelési célokra, például gyorsellenőrzésekre vagy kiadás előtti tesztekre. Továbbá segítünk a specifikációs modell és a tesztelendő rendszer (SUT) közötti kapcsolat kialakításában kulcsszavakkal, amelyek a tesztvégrehajtás alapjául szolgálnak, ami alacsony karbantartási költségeket és a megvalósítástól való függetlenséget eredményezi.
Oktatás. Eszközünket beépítjük mesterképzésünk „Modellálás és tesztelés” kurzusába, így a kollégák és hallgatók átfogó ismereteket nyújtanak a modellalapú tesztelésről. A keretrendszer kötegelt végrehajtási képessége, beállítható naplóüzenetszintjei, adatvizualizációs szolgáltatásai és hatékony architektúrája stabil környezetet teremt az új tesztgeneráló és modellkonverziós algoritmusok fejlesztéséhez és feltárásához.
Git repository használati útmutató Kiadás
Probléma
Nagy méretű legacy kódok architektúrális újjáépítése, refaktorálása a vállalatok számára nagyon költséges lehet, ráadásul gyakran egyedi megoldásokat igényel. Sajnos a nagytakarításhoz hasonlóan egy idő után elkerülhetetlen, előbb utóbb úgyis el kell végezni, és minél inkább halogatjuk, annál nehezebb és költségesebb lesz.
Megoldás
A vállalatok fejlesztési folyamatai és érettségi szintjük alapján olyan agilis folyamatot dolgoztunk ki, amelyben a rearchitekturálási eljárás során minimalizálni lehet a „régi” és az „új” termékhez tartozó kódbázis mennyiségi és időbeli eltérését (a befektetés és kellemetlenség minimalizálása, haszon maximalizálása).
Eredmény
A refaktorálási feladat bemenete egy monolitikus felhasználói alkalmazás. A cél egy szerver-kliens alapú modularizált architektúra, amelyre a modern szoftverfejlesztési- és tesztelési technikák már jól alkalmazhatóak. A megoldás során egy olyan szerver-oldali ütemező réteget tudunk adni, amely a monolitikus alkalmazást beburkolva lehetővé teszi annak egyre kisebb darabokra történő fraktációját. A megvalósítás felülről lefelé halad és leginkább két részproblémára koncentrál. Az egyik az az ütemező, ami a szerver-kliens és modul-modul kapcsolatok rendszerbe szervezésére vonatkozik, a másik az applikáció vezérlési rétegének általánosítása és kiemelése.
Amit kínálunk
Szolgáltatás. Segítünk formális specifikációs modellek létrehozásában, amelyek világos, átfogó megértést adnak a rendszerről az érintettekkel való hatékony kommunikáció érdekében. Támogatásunk magában foglalja az optimális tesztkiválasztási kritériumok kiválasztását is, amelyek egyensúlyban tartják az erőforrásokat és a termékminőséget. Ezek a kritériumok szükség szerint módosíthatók, és különféle kritériumok állíthatók be különböző tesztelési célokra, például gyorsellenőrzésekre vagy kiadás előtti tesztekre. Továbbá segítünk a specifikációs modell és a tesztelendő rendszer (SUT) közötti kapcsolat kialakításában kulcsszavakkal, amelyek a tesztvégrehajtás alapjául szolgálnak, ami alacsony karbantartási költségeket és a megvalósítástól való függetlenséget eredményezi.
Oktatás. Eszközünket beépítjük mesterképzésünk „Modellálás és tesztelés” kurzusába, így a kollégák és hallgatók átfogó ismereteket nyújtanak a modellalapú tesztelésről. A keretrendszer kötegelt végrehajtási képessége, beállítható naplóüzenetszintjei, adatvizualizációs szolgáltatásai és hatékony architektúrája stabil környezetet teremt az új tesztgeneráló és modellkonverziós algoritmusok fejlesztéséhez és feltárásához.
Probléma
SPECT, vagy másnéven egy-foton emissziós komputerizált tomográfia a diagnosztikának egy radiofarmakonokkal végzett modalitása. A célja, olyan a szövetekben lejátszódó anyagcserefolyamatok jellemzése, amelyekkel a célszerv funkcionális jellemzése – például oxigén felvevő képesség, másnéven életképesség – lehetővé válik.
Megoldás
Az alapvetően kardiológiai célú kutatások és fejlesztések teljes protokolljában rendelkezünk algoritmusokkal és megoldásokkal. Kezdve a farmakológiai modellezéstől az injektálás utáni folyadékáramlási jellemzéseket a rekonstrukción át a végső kvantitatív kiértékeléseket a megoldás kiterjed a teljes szélességében a felvételtől a kiértékelésig. Olyan modern technikákat alkalmazunk mint, ViT a mélyhálók esetében a balkamrai szegmentációhoz, illetve hatékony matematikai eljárások a rekonstrukció optimalizációjához. Fontos kiemelni, hogy a megoldásokat egyfajta API jellegű módon tesszük disztributálhatóvá, amely lehetővé teszi a már jelenlegi megvalósított rendszerekbe való illesztését.
Eredmény
A szoftvercsomagot fokozatos beépítés utána lehet elérhetővé tenni a megfelelő
vezérlési FDA/CE elvek alkalmazásával. Eredményként egy olyan tesztelt és kvantitatív számításokat végző megoldás kerül beépítésre, amely a piacon egyedülálló és versenyelőny érhető el velük a felvételi idő csökkentése mellett.
Amit kínálunk
Tanácsadás. Az implementáció és maguk a problémák, ahogy az adat sem nem triviális. Ehhez a szükséges alapvető tudásátadás és felépítést rendelkezésre tudjuk bocsátani. Fontos kiemelni, hogy a tanácsadás során a feladatot végrehajtó teljes stáb jelenlétére szükség van a technikusoktól, orvosokon át az implementációt végző programozókra is, hogy a kohézió a lehető legmagasabb szinten legyen tartható.
Prototípusok. A már elkészült technológiákról és technikákról számos értekezés érhető el az internetet, ezek mellé a teljes a rendszert implementáló szoftvercsomagot is rendelkezésre bocsátjuk, hogy az aktuális megoldások relatíve könnyen integrálhatóak és optimalizálhatóak legyenek az aktuális környezetre.
Probléma
A hegesztéstechnológiák megjelenése a fémszerkezetek elterjedésével egyidejűleg jellemzi a technikai fejlődéstörténet egy igen jelentős szakaszát. A különféle acélszerkezetek kivitelezésénél a hegesztő eljárások alkalmazása pusztán gazdaságossági szempontokat figyelembe véve is ma már kézenfekvő, de mindenképp megkerülhetetlen. A megtérülés mellett a kötés kialakítása az anyagszerkezet kialakulása szempontjából viszont sok esetben gondos előkészítést és odafigyelést is jelent, hiszen bonyolult hőtechnikai folyamatok mentén alakul ki a kívánt szerkezet.
Megoldás
2021. év harmadik negyedévében telepítésre került intézetünkben egy hattengelyes Yaskawa ipari hegesztő-robotcella. A berendezéscsoport a
„Szoftver- és adatintenzív szolgáltatások” című közbeszerzési pályázat keretében került kialakításra.
Yaskawa AR1440 robotkar: 6 vezérelhető tengellyel,
Terhelhetőség: 12 kg,
Ismétlési pontosság: +/-0,06 mm.
Hegesztő áramforrás: Fronius TPS400i, digitalis inverteres, MIG-MAG eljárásra alkalmas, vízhűtéses, max. áramerősség: 400 A.
Manipulátor: Yaskawa MT1-250S2D körasztal ,2 tengely körüli elforgatható, terhelhetőség: 250 kg
Munkabiztonság: elszívórendszer, munkatér elkerítés, védőeszközök.
Offline szoftver: MotoSim VRC, 20 db licensz
Vizsgáló eszközök: Equotip 550D keménységmérő, X-MET 8000 kézi anyagösszetétel-vizsgáló, Mágnesezhető poros (MT) vizsgáló bőrönd.
Eredmény
A robotcella beszerzésében az intézetünkben az volt a cél, hogy a hallgatók a
robotkar mozgáspálya programozásán túl a hegesztéstechnológiai alapokat is tanulmányozhassák. A berendezéssel a korszerű ipar 4.0-s kutatómunkák is folytathatók BSc-MSc-PhD szinten.
Amit kínálunk
Szolgáltatás. Lemezalkatrészek hegesztése MIG-MAG eljárással. Új, gyártandó alkatrészek technologizálása.
Oktatás. Gépépszmérnöki képzés tantárgyak (gyártástechnológia, robotok) gyakorlati oktatása elvégezhető.
Kutatás. ipar 4.0, lézertechnológia (lézeregységgel kiegészítve a hegesztő cella), robotmozgás, képfelismerés, mesterséges intelligencia, IoT alap és doktori kutatások.
Készítette:
Szőlősi József – tudományos segédmunkatárs ELTE-IK-Savaria Műszaki Intézet szjo@inf.elte.hu
