Tato práce popisuje proces návrhu letového softwaru pro zařízení kvalifikované pro provoz ve vesmíru, ukazuje jeho vývoj a testování, a poskytuje popis hotového produktu. Letový software popisovaný v této práci byl vyvinut ...