Инструментальная система структурного синтеза вычислительных систем реального времени и построения расписанийстатья