Московский институт электроники и математики им. А.Н. Тихонова, Учебно-исследовательская лаборатория функциональной безопасности космических аппаратов и систем, Департамент компьютерной инженерии