Смешанная критичность

Система смешанной критичности — это система, содержащая компьютерное аппаратное и программное обеспечение , которая может выполнять несколько приложений с разной критичностью, например, критически важных и некритичных с точки зрения безопасности, или с разным уровнем полноты безопасности (SIL). Различные приложения критичности разрабатываются с разными уровнями надежности, при этом приложения высокой критичности являются наиболее дорогостоящими в разработке и проверке. Системы такого типа обычно встроены в машину, например в самолет, безопасность которой должна быть обеспечена.

Принцип

Традиционные критически важные для безопасности системы необходимо было полностью протестировать и сертифицировать, чтобы доказать их безопасность в использовании. Однако многие такие системы состоят из смеси критичных и некритичных для безопасности частей, как, например, когда самолет содержит развлекательную систему для пассажиров, которая изолирована от критически важных для безопасности полетных систем. Некоторые проблемы, которые необходимо решить в системах со смешанной критичностью, включают поведение в реальном времени , изоляцию памяти, связь данных и управления.

Ученые-компьютерщики разработали методы работы с системами, которые, таким образом, имеют смешанную критичность, но остается еще много проблем, особенно для многоядерного оборудования. ^[1]^[2]^[3]^[4]

Приоритет и критичность

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

Исследовательские проекты

Финансируемые ЕС исследовательские проекты по смешанной критичности включают:

МультиПАРТЕС
МЕЧТЫ
ПРОКСИМА
КОНТРЭКС
БЕЗОПАСНО
ОПРЕДЕЛЕННОСТЬ
ВИРТИКАЛЬНЫЙ
Т-образный гребень
ПРО АРТИС
ПОПЕРЕЧНО (Артемида)
ЭМС2 (Артемида)
РЕКОМП Артемида
АРАМИС (на немецком языке) и АРАМИС II
ВПЕЧАТЛЕНИЕ

Исследовательские проекты по смешанной критичности, финансируемые EPSRC Великобритании, включают:

МСС

Несколько исследовательских проектов решили представить результаты своих исследований на финансируемом ЕС Форуме смешанной критичности.

Мастер-классы и семинары

Практикумы и семинары по системам смешанной критичности включают:

Ссылки

^ Баруа, СК; Бернс, А; Дэвис, Р.И. «Анализ времени отклика для систем смешанной критичности» (PDF) . Университет Йорка . Проверено 19 февраля 2013 г.
^ Баруа, С; Бонифачи, В; Д'Анджело, Дж; Ли, Х; Маркетти-Спаккамела, А; Мегоу, Н. ; Стуги, Л. «Планирование заданий смешанной критичности в реальном времени» (PDF) . Архивировано из оригинала (PDF) 8 января 2013 года . Проверено 19 февраля 2013 г.
^ Эль-Саллум, К.; Эльшубер, М.; Хофтбергер, О.; Исакович, Х.; Васичек, А. «ACROSS MPSoC — новое поколение многоядерных процессоров, предназначенное для встраиваемых систем, критически важных для безопасности» (PDF) . Проверено 17 мая 2013 г. ^{[ постоянная мертвая ссылка ]}
^ Бернс, А; Дэвис, Р.И. «Системы смешанной критичности — обзор» (PDF) . Университет Йорка . Проверено 4 марта 2016 г.

Внешние ссылки

[1] Баруа, СК; Бернс, А; Дэвис, Р.И. «Анализ времени отклика для систем смешанной критичности» (PDF) . Университет Йорка . Проверено 19 февраля 2013 г.

[2] Баруа, С; Бонифачи, В; Д'Анджело, Дж; Ли, Х; Маркетти-Спаккамела, А; Мегоу, Н. ; Стуги, Л. «Планирование заданий смешанной критичности в реальном времени» (PDF) . Архивировано из оригинала (PDF) 8 января 2013 года . Проверено 19 февраля 2013 г.

[3] Эль-Саллум, К.; Эльшубер, М.; Хофтбергер, О.; Исакович, Х.; Васичек, А. «ACROSS MPSoC — новое поколение многоядерных процессоров, предназначенное для встраиваемых систем, критически важных для безопасности» (PDF) . Проверено 17 мая 2013 г. ^{[ постоянная мертвая ссылка ]}

[4] Бернс, А; Дэвис, Р.И. «Системы смешанной критичности — обзор» (PDF) . Университет Йорка . Проверено 4 марта 2016 г.

[1]

[2]

[3]

[4]