Обобщенная модель функционирования модульных вычислительных систем реального времени для проверки допустимости конфигураций таких системстатья