Sistema eta software txertatuak eta horien baliozkotze-ingurune automatizatuak diseinatu eta garatzen ditugu, eta ereduetan oinarritutako ingeniaritzan, simulazio eta prototipatze azkarreko tresnetan eta kode automatikoaren sorkuntzan espezializatzen gara.
Ibilbide luzea dugu sistema txertatuen birtualizazioan eta haien ingurunean modelatzeko hainbat tresna (Simulink, Labview, Isaac Sim, Modelica) eta kodearen sorkuntza automatikoa (C, CUDA, VHDL), prototipatze azkarreko hainbat plataforma eta ingurunetarako.
XIL sistemetan oinarritutako proba-ingurune automatizatuak ditugu, espezifikazioa betetzen dela ziurtatzeko, estandarrak, hodeiko VVTak eta IAren erabilera aztertuz.
Softwarea garatzen dugu HW ingurune emulatuetan (QEMU, OVP) eta kosimulazio-agertokietan, ereduen trukea eta aldi baterako determinismoaren propietateak ziurtatuko dituzten estandarrak erabiliz (NDF, DCP, HLA, VISTA).
Gure instalazio aitzindariek eta goi mailakoek ezinbesteko aukerak eskaintzen dituzte hainbat teknologia probatu eta baliozkotzeko, eta, horrela, iraunkortasuna, energia-eraginkortasuna eta zibersegurtasuna bezalako erronkei erantzuteko.
Aurrera goaz garapen-ziklo laburragoekin txertatutako sistema adimendunen hurrengo belaunaldiaren garapenean, ereduetan oinarritutako ingeniaritzari eta baliozkotze-ingurune automatizatuei esker.