Особенности систем реального времени, управляющих технологическими процессами
Реальное время — режим работы автоматизированной системы обработки информации и управления, при котором учитываются ограничения на временны́е характеристики функционирования.
Примеры временных характеристик и связанных с ними ограничений:
- deadline - дедлайн - предельный срок завершения какой-либо работы;
- latency - латентность - время отклика (задержка реакции) системы на внешние события;
- jitter - джиттер - разброс значений времени отклика.
Также (преимущественно, в материалах рекламного и коммерческого характера) встречаются термины:
- жёсткое реальное время — режим работы системы, при котором нарушение временных ограничений равнозначно отказу системы;
- мягкое реальное время — режим работы системы, при котором нарушения временных ограничений приводят к снижению качества работы системы.
Система реального времени (СРВ) — это любая система, работающая в режиме реального времени.
За своевременность воздействий на объект отвечает характеристика deadline. Задержка реакции на внешнее событие характеризуется значениями latency и…
Примеры
Примеры систем, работающих в режиме реального времени:
- АСУ ТП химического реактора;
- АСНИ в области ядерной физики;
- система обработки аудио- и видеопотоков при трансляции в прямом эфире;
- интерактивная компьютерная игра.
Проблемы
При создании систем реального времени приходится решать проблемы привязки внутрисистемных событий к моментам времени, своевременного захвата и освобождения системных ресурсов, синхронизации вычислительных процессов, буферизации потоков данных и т. п. Системы реального времени обычно используют специализированное оборудование (например, таймеры) и программное обеспечение (например, Операционные системы реального времени).
"Реактивными" системами обычно являются программно-аппаратные комплексы, где аппаратная составляющая используется для согласования… Отличительными чертами этих систем является:
Наличие ограниченного числа… Для разработчика важнейшими задачами анализа при этом является:
Доказательство непротиворечивости системы в плане…