Смешанная критичность - Mixed criticality - Wikipedia

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

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

Принцип

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

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

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

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

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

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

MultiPARTES
МЕЧТЫ
ПРОКСИМА
КОНТРЕКС
БЕЗОПАСНОСТЬ
Уверенность
ВИРТИЧЕСКИЙ
Т-КРЕСТ
PROARTIS
ЧЕРЕЗ (Артемида)
EMC2 (Артемида)
РЕКОМЕНДУЙТЕ Артемиду
АРАМИС (на немецком) и АРАМИС II
IMPReSS

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

MCC

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

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

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

внешняя ссылка

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

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

[3] El-Salloum, C .; Эльшубер, М .; Höftberger, O .; Isakovic, H .; Васичек, А. «ACROSS MPSoC - новое поколение многоядерных процессоров, разработанных для критически важных для безопасности встраиваемых систем» (PDF). Получено 17 мая 2013.^{[постоянная мертвая ссылка ]}

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

[1]

[2]

[3]

[4]