УДК: 004.414.23

Модель программного обеспечения систем реального времени

А. О. Соколов, аспирант, инженер-конструктор, e-mail: wedmeed@mail.ru, Саратовский государственный технический университет им. Гагарина Ю. А., ОАО "КБ Электроприбор", г. Саратов

Представлена модель программного обеспечения, построенная с использованием понятий из трех смежных областей науки, касающихся систем реального времени — теории вычислений, теории планирования, теории операционных систем. Модель позволяет описать специфические особенности различных типов встроенных систем через базовые понятия. В качестве примера приведено описание цифрового регулятора, входящего в состав системы автоматического управления.

Ключевые слова: программа, операционная система, модель, планирование, реальное время, процессор, ресурс

Стр. 9–16