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