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