Formal Blueprint Validator – Modelltranszformációs nyelv fejlesztése az AUTOSAR-hoz

június 28, 2018     Dr. Bokor Péter   Harmath Dénes       Share

Nálunk nincs nyári szünet! 2018. június 29-én, pénteken újra IncQuery Labs Akadémia, ezúttal az autóiparban hasznosítható fejlesztésünket leplezi le Dr. Bokor Péter, az IQL technikai vezetője és Harmath Dénes, szenior szoftverfejlesztő.

Az IncQuery Labs (több más AUTOSAR konzorciumi céggel együttműködve) kifejlesztett egy olyan eszközt, a Formal Blueprint Validator-t, mely hatékonyan végrehajtja és ellenőrzi a formális leírásokat (ún. blueprinteket), és a szabványhoz tartozó hivatalos tooling környezetbe is be fog kerülni. Munkatársaink ezt az eszközt, illetve működését mutatják be.

Az előadásukat élőben a YouTube-on követheted. Csatlakozz Meetup csoportunkhoz is, hogy egy IQL Akadémiáról se maradj le!