Text this: Система автоматизированного проектирования бортового программного обеспечения космического аппарата