Смешанная критичность - Mixed criticality
А смешанная критичность система - это система, содержащая компьютерное оборудование и программного обеспечения которые могут выполнять несколько приложений разной критичности, например, критичных для безопасности и не критических для безопасности, или различных Уровень полноты безопасности (SIL). Различные приложения с критичностью разработаны для разных уровней надежности, причем приложения с высокой критичностью являются наиболее дорогостоящими для разработки и проверки. Такие системы обычно встраиваются в машину, такую как самолет, безопасность которого должна быть обеспечена.
Принцип
Традиционные системы, критически важные для безопасности, должны были быть полностью протестированы и сертифицированы, чтобы показать, что они безопасны в использовании. Однако многие такие системы состоят из смеси критических для безопасности и некритических частей, как, например, когда самолет содержит систему развлечения пассажиров, которая изолирована от критически важных для безопасности систем полета. Некоторые проблемы, которые необходимо решить в системах со смешанной критичностью, включают: поведение в реальном времени, изоляция памяти, связь данных и управления.
Ученые-информатики разработали методы работы с системами, которые, таким образом, имеют неоднозначную критичность, но остается еще много проблем, особенно для многоядерного оборудования.[1][2][3][4]
Приоритет и критичность
По сути, большинство ошибок в настоящее время совершается при путанице между атрибуцией приоритета и управлением критичностью. Поскольку приоритет определяет порядок между различными задачами или сообщениями, передаваемыми внутри системы, критичность определяет классы сообщений, которые могут иметь разные параметры в зависимости от текущего варианта использования. Например, в случае предотвращения автокатастрофы или предупреждения о препятствиях датчики камеры могут внезапно чаще отправлять сообщения и тем самым создавать перегрузку в системе. Вот когда нам нужно заставить работать Mixed-Criticality: выбрать сообщения, которые будут абсолютно гарантировать систему в этих случаях перегрузки.
Исследовательские проекты
Финансируемые ЕС исследовательские проекты по смешанной критичности включают:
- MultiPARTES
- МЕЧТЫ
- ПРОКСИМА
- КОНТРЕКС
- БЕЗОПАСНОСТЬ
- Уверенность
- ВИРТИЧЕСКИЙ
- Т-КРЕСТ
- PROARTIS
- ЧЕРЕЗ (Артемида)
- EMC2 (Артемида)
- РЕКОМЕНДУЙТЕ Артемиду
- АРАМИС (на немецком) и АРАМИС II
- IMPReSS
Исследовательские проекты смешанной критичности, финансируемые британской EPSRC, включают:
Несколько исследовательских проектов решили представить результаты своих исследований на финансируемой ЕС Форум смешанной критичности
Мастер-классы и семинары
Практикумы и семинары по системам со смешанной критичностью включают:
- 1-й международный семинар по системам со смешанной критичностью (WMC 2013)
- 2-й Международный семинар по системам со смешанной критичностью (WMC 2014)
- 3-й Международный семинар по системам со смешанной критичностью (WMC 2015)
- 4-й Международный семинар по системам со смешанной критичностью (WMC 2015)
- Семинар в Дагштуле по смешанной критичности на многоядерных / многоядерных платформах (2015)
- Семинар Дагштуля по смешанной критичности на многоядерных / многоядерных платформах (2017)
Рекомендации
- ^ Баруах, СК; Бернс, А; Дэвис, Р. «Анализ времени отклика для систем со смешанной критичностью» (PDF). Йоркский университет. Получено 19 февраля 2013.
- ^ Baruah, S; Бонифачи, V; Д'Анджело, G; Ли, Н; Маркетти-Спаккамела, А; Megow, N; Стуги, Л. «Планирование заданий смешанной важности в реальном времени» (PDF). Получено 19 февраля 2013.
- ^ El-Salloum, C .; Эльшубер, М .; Höftberger, O .; Isakovic, H .; Васичек, А. «ACROSS MPSoC - новое поколение многоядерных процессоров, разработанных для критически важных для безопасности встраиваемых систем» (PDF). Получено 17 мая 2013.[постоянная мертвая ссылка ]
- ^ Бернс, А; Дэвис, Р. «Системы со смешанной критичностью - обзор» (PDF). Йоркский университет. Получено 4 марта 2016.