Mieszana krytyczność
System o mieszanej krytyczności to system zawierający sprzęt komputerowy i oprogramowanie , które mogą wykonywać kilka aplikacji o różnej krytyczności, takich jak krytyczne dla bezpieczeństwa i niekrytyczne dla bezpieczeństwa lub o różnych poziomach nienaruszalności bezpieczeństwa (SIL). Aplikacje o różnej krytyczności są projektowane z różnymi poziomami pewności, przy czym aplikacje o wysokiej krytyczności są najbardziej kosztowne w projektowaniu i weryfikacji. Tego rodzaju systemy są zwykle wbudowane w maszynę, taką jak samolot, której bezpieczeństwo musi być zapewnione.
Zasada
Tradycyjne systemy krytyczne dla bezpieczeństwa musiały zostać przetestowane i certyfikowane w całości, aby wykazać, że są bezpieczne w użyciu. Jednak wiele takich systemów składa się z mieszanki części o krytycznym i niekrytycznym znaczeniu dla bezpieczeństwa, jak na przykład samolot zawiera system rozrywki dla pasażerów, który jest odizolowany od systemów lotu o krytycznym znaczeniu dla bezpieczeństwa. Niektóre problemy, które należy rozwiązać w systemach o mieszanej krytyczności, obejmują zachowanie w czasie rzeczywistym , izolację pamięci, sprzężenie danych i sterowania.
Informatycy opracowali techniki obsługi systemów, które w związku z tym mają różną krytyczność, ale pozostaje jeszcze wiele wyzwań, zwłaszcza w przypadku sprzętu wielordzeniowego.
Priorytet i krytyczność
Zasadniczo większość błędów jest obecnie popełniana przy myleniu przypisywania priorytetów i zarządzania krytycznością. Ponieważ priorytet określa kolejność różnych zadań lub komunikatów do przesłania w systemie, krytyczność definiuje klasy komunikatów, które mogą mieć różne parametry w zależności od bieżącego przypadku użycia. Na przykład w przypadku unikania wypadków samochodowych lub przewidywania przeszkód czujniki kamer mogą nagle częściej emitować komunikaty, powodując w ten sposób przeciążenie systemu. Właśnie wtedy musimy sprawić, by funkcja Mixed-Criticality działała: aby wybrać komunikaty, które mają absolutną gwarancję w systemie w przypadkach przeciążenia.
Projekty badawcze
Finansowane przez UE projekty badawcze dotyczące mieszanej krytyczności obejmują:
- Wiele CZĘŚCI
- MARZENIA
- PROXIMA
- CONTREX
- BEZPIECZNE
- PEWNOŚĆ
- WIRTUALNE
- T-CREST
- PROARTIS
- W poprzek (Artemida)
- EMC2 (Artemida)
- RECOMP Artemis
- ARAMIS (w języku niemieckim) i ARAMIS II
- Imponować
Finansowane przez UK EPSRC projekty badawcze dotyczące mieszanej krytyczności obejmują:
Kilka projektów badawczych zdecydowało się zaprezentować wyniki swoich badań na finansowanym przez UE forum Mixed-Criticality Forum
Warsztaty i seminaria
Warsztaty i seminaria na temat mieszanych systemów krytycznych obejmują:
- 1st International Workshop on Mixed Criticality Systems (WMC 2013)
- 2. Międzynarodowe Warsztaty nt. Mieszanych Systemów Krytycznych (WMC 2014)
- 3rd International Workshop on Mixed Criticality Systems (WMC 2015)
- 4th International Workshop on Mixed Criticality Systems (WMC 2015)
- Seminarium Dagstuhla na temat mieszanej krytyczności na platformach wielordzeniowych / wielordzeniowych (2015)
- Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms (2017)