74129

Операционные системы реального времени

Доклад

Информатика, кибернетика и программирование

Система называется системой реального времени СРВ если правильность её функционирования зависит не только от логической корректности вычислений но и от времени за которое эти вычисления производятся. Говорят что система работает в реальном времени если ее быстродействие адекватно скорости протекания физических процессов на объектах контроля или управления. Здесь имеются в виду процессы непосредственно связанные с функциями выполняемыми конкретной системой реального времени.

Русский

2014-12-26

16.47 KB

1 чел.

Операционные системы реального времени.

Система называется системой реального времени (СРВ), если правильность её функционирования зависит не только от логической корректности вычислений, но и от времени, за которое эти вычисления производятся. То есть для событий, происходящих в такой системе, то, когда эти события происходят, так же важно, как логическая корректность самих событий.

Говорят, что система работает в реальном времени, если ее быстродействие адекватно скорости протекания физических процессов на объектах контроля или управления. Здесь имеются в виду процессы, непосредственно связанные с функциями, выполняемыми конкретной системой реального времени. Система управления должна собрать данные, произвести их обработку в соответствии с заданными алгоритмами и выдать управляющее воздействие за такой промежуток времени, который обеспечивает успешное выполнение поставленных перед системой задач.

Основные требования к СРВ:

- предсказуемость;

- требования по времени;

- возможность параллельного выполнения нескольких задач;

- важно максимальное время отклика на событие, а не среднее;

- особые требования в вопросах безопасности;

- возможность безотказной работы в течении длительного периода времени.


 

А также другие работы, которые могут Вас заинтересовать

26001. Особенности древнекитайской философии. Конфуцианство 34.09 KB
  Философия Бакунина Михаил Александрович [1830. В эти годы Бакунин Михаил Александрович последователь философии И. В Берлинском университете Бакунин Михаил Александрович слушал лекции К. В Цюрихе Бакунин Михаил Александрович познакомился с В.
26002. Натурфилософия Древней Греции. Сущность материализма 29.47 KB
  Жан Жак Руссо .В любом из произведений Руссо непрестанно звучат четыре лейтмотива: культ личности чувствительность культ природы и ощущение социальной несправедливости. Эти Руссо замечает что жизнь человека в этом лучшем из миров не соответствует его подлинной сущности что человек не таков каким он должен быть согласно своей истинной природе но и представляется не тем что он есть на самом деле люди не решаются показаться тем что они есть стало выгоднее притворяться не таким каков ты есть на самом деле. Чем больше накапливаем...
26003. СМО с бесконечной очередью для пуассоновских потоков. Граф, система уравнений, расчетные соотношения 23.44 KB
  СМО с бесконечной очередью для пуассоновских потоков. Из СМО с очередью конечной длины можно получить СМО с неограниченной очередью если устремить. Рассмотрим частный случай одноканальной системы с бесконечной очередью
26004. СМО с бесконечной очередью для произвольных потоков. Граф, система уравнений, расчетные соотношения 30.06 KB
  СМО с бесконечной очередью для произвольных потоков. Рассмотрим случай который можно интерпретировать либо как наличие немедленного обслуживающего прибора интенсивность обслуживания которого растет линейно с ростом числа ожидающих требований либо как систему в которой всегда найдется новый обслуживающий прибор доступный каждому вновь поступающему требованию. СМО типа М М ∞ с бесконечным числом обслуживающих приборов Переходя к равенству: Получаем: Можно выписать искомые решения для pk и N: Условие эргодичности в данном случае также...
26005. СМО с бесконечной очередью и частичной взаимопомощью для пуассоновских потоков. Граф, система уравнений, расчетные соотношения 60.64 KB
  СМО типа М М m Переходя к решению для pk в соответствии с равенством: Видим что это решение должно быть разбито на две части так как зависимость k от k также имеет две части. Соответственно при k≤m: Аналогично при k≥m: Объединяя результаты получим: Где: Теперь с помощью: Можно выписать решение для p0: И следовательно: Вероятность того что поступающее требование окажется в очереди задается равенством: Таким образом:.
26006. СМО с бесконечной очередью и частичной взаимопомощью для произвольных потоков. Граф, система уравнений, расчетные соотношения 35.06 KB
  Эта система в строгом смысле является саморегулируемой. Подходящей моделью для описания такой системы является процесс размножения и гибели при следующем выборе параметров: Система является эргодической.
26007. СМО с бесконечной очередью и полной взаимопомощью для пуассоновских потоков. Граф, система уравнений, расчетные соотношения 32.91 KB
  Каждое вновь поступившее требование подается на свой отдельный обслуживающий прибор однако если требование поступает в момент когда все приборы заняты то оно теряется.
26008. СМО с бесконечной очередью и полной взаимопомощью для произвольных потоков. Граф, система уравнений, расчетные соотношения 46.78 KB
  Такая модель задается следующим образом: Эта система является эргодической. СМО типа М М ∞ М Для вероятностей pk этой системы из: Имеем: Где биноминальные коэффициенты определяются обычным образом: Определяя p0 получаем: И следовательно: Таким образом: Не составляеет труда вычислить среднее число требований в системе: Используя частную производную получаем:.
26009. СМО с конечной очередью для пуассоновских потоков. Граф, система уравнений, расчетные соотношения 76.36 KB
  Длина очереди m число мест в очереди. Если все места в очереди заняты то заявка получает отказ. Если при обслуживании освобождается канал то из очереди переходит очередная заявка на обслуживание; все заявки сдвигаются и вновь поступившая заявка ставится в конец очереди. вероятность того что заявке придется стоять в очереди вероятность очереди: 4.