Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
СРВ complete edition епта.docx
Скачиваний:
17
Добавлен:
24.09.2019
Размер:
488.03 Кб
Скачать

167. Что определяет стандарт гост р 51904?

ГОСТ Р 51904-2002. Настоящий стандарт распространяется на процессы разработки и документирования программного обеспечения (ПО) встроенных систем реального времени. Стандарт распространяется на все действия, имеющие отношение к разработке программного обеспечения.

Настоящий стандарт применяют полностью ко всему поставляемому программному обеспечению, включая среду разработки, если контрактом не предусмотрено использование специальных стандартов для определенных заказчиком типов ПО. Стандарт не применим для аппаратных элементов программно-аппаратного обеспечения.

168. Что такое Time Demand Analysis?

Метод Time Demand Analysis (TDA (Анализ требования времени)) позволяет получить оценку способности к планированию в системах реального времени с фиксированными приоритетами.

Функция требования времени

Функция требования времени wi(t), представляет собой максимальное процессорное время, требуемое как задачей Ji1, так и всеми задач, что завершились до Ji1, и обозначается как функция от времени t с момента запуска Ji1.

169. Что такое фаза задачи?

Время запуска первой работы задачи.

или

Фаза задачи – задача в первый раз переходит в состояние готовности.

170. Что такое критический момент времени (critical instant) в контексте анализа

Время завершения этой работы называется critical instant задачи Ti. Что бы определить все ли работы встречают свои дедлайны, нам необходимо проследить что бы работа в Ti завершилась в critical instant

планируемости задач по RMA и какую роль он играет в доказательстве возможности

планирования?

ЧМА Теорема 1A Для набора N независимых периодических задач, где Ci, Ti, и Bi, i = 1,2.... N, , являются временем выполнения, периодом и временем блокировки в самом плохом случае, соответственно, а критический срок выполнения равняется периоду задачи, задачи диспетчируемы согласно ЧМА , если следующее условие выполняется:

Более простое достаточное условие можно получить из вышеупомянутого набора неравенств. Его преимущество состоит в том, что оно содержит только одно, а не N неравенств.

ЧМА Теорема 2A

Для набора N независимых периодических задач, где Ci, Ti, и Bi, i= 1,2, . . . . N, являются временем выполнения, периодом, и временем блокировки в наихудшем случае соответственно, а критический срок выполнения равняется периоду задачи, задачи диспетчируемы согласно ЧМА , если следующее условие выполняется:

,

где минимум рассчитан как (k, l) Wi, и

Обратите внимание, это только достаточное условие, потому что значения Bi представляют собой время блокировки в самом плохом случае. Практически, некоторые из этих неравенств не могут быть выполнены, а набор задач может быть все еще диспетчируем, потому что фактические времена блокирования короче. Эмпирическое правило, данное в секции “Необходимое и достаточное условие для диспетчеризации с помощью ЧМА ” может быть использовано, если включить в него Bi.

171. Как называется международный стандарт, которому соответствует гост р 15408?

Национальный стандарт безопасности ГОСТ/ИСО МЭК 15408 "Общие критерии оценки безопасности информационных технологий"

В 1999 г. Международная Организация по Стандартизации (ISO) приняла международный стандарт ISO 15408 под названием Общие критерии оценки безопасности ИТ (Common Criteria for Information Technology Security Evaluation или сокращенно - Common Criteria). Внушительных размеров тома Common Criteria содержат обобщенное формализованное представление знаний и опыта, накопленного в области обеспечения информационной безопасности на протяжении десятилетий.