Kihívások

Az egyre komplexebbé váló kiberfizikai rendszerek esetében a modellezés és a szimuláció az egyik leghatékonyabb eszköz a fejlesztés teljes életciklusán átívelő kihívások feltérképezésére és megoldására. Ebből adódóan a rendszerfejlesztési környezetek egyre összetettebbé és kritikusabbá válnak az ipar számára. A nyílt forrású eszközök lehetővé teszik az eszközök funkcióinak és támogatásának közvetett szabályozását, valamint elősegítik a különböző célú fejlesztő csapatok közötti együttműködést, különösképp a tudás és innováció megosztását. Ennek megfelelően az OpenCPS projekt célja, hogy nyílt forrású eszközökre építve javítsa a verifikáció, validáció és tesztelés hatékonyságát és minőségét, valamint biztosítsa az együttműködést a kulcstechnológiák szabványai között. Mindemellett fontos célkitűzés, hogy olyan technológiákat dolgozzunk ki, amelyek segítségével megvalósítható a rendszerek nagy sebességű szimulációja és dinamikus optimalizációja.

Javasolt megoldások

Az OpenCPS nemzetközi konzorcium célja, hogy integrálja az UML/SysML és MARTE szabványok által definiált diszkrét idejű, futtatható modellezési nyelveket a Modelica és FMI kettőse által már definiált folytonos idejű modellezést megvalósító nyelvvel. A projekt hasznosítja a magas szintű Modelica modellezési nyelv előnyeit oly módon, hogy kifejleszt és integrál egy összetett verifikáció és validáció vezérelt eszközt annak érdekében, hogy csökkentse a generált kód verifikációjára és tesztelésére fordított időt, valamint hogy a fejlesztés korai fázisában is elérhetővé tegye az analízisek szempontjából pontos és helytálló prototípusok fejlesztését. Ezen túlmenően a projekt keretében továbbfejlesztünk egy nyílt forrású modellezési platformot, amely olyan szimulációs algoritmusokat hoz létre, melyek képesek kezelni a koszimuláció esetén megjelenő nagy mennyiségű eseményt, mindemellett fejlett támogatást nyújt a szimulációk hibakereséséhez. Mindezek kiemelten fontos lépések a platform kereskedelmi hasznosíthatósága szempontjából.

A projekt eredményei és hatásai

A fentieken túlmenően a projekt eredményeképp létrejön egy ipari minűségű FMI mester szimulációs eszköz, mely nagy hatékonyságú szimulációra, dinamikus optimalizációra és akár a forrás kód automatikus származtatására is képes. Fontos kiemelni, hogy a technológiai transzfert a projekt kulcs technológiáit, mint a Modelica, az FMI és az UML/SysML, használó ipari partnerek biztosítják, akiknek köszönhetően az eredményeket különböző ipari alkalmazások terén is validáljuk.