Systemy safety-critical od kuchni
Systemy safety-critical projektujemy w taki sposób, aby minimalizowały ryzyko wystąpienia niebezpiecznych zdarzeń. Ten cel ma pierwszeństwo nad dostępnością, wydajnością, a czasem choćby nad funkcjonalnością docelowego systemu.
W trakcie prezentacji pokażę kilka popularnych technik zapewniających bezpieczeństwo systemów safety-critical. Będzie o wykorzystaniu praw fizyki dla zapewnienia bezpieczeństwa, o wydzielaniu mniej krytycznych zadań na oddzielne procesory, o wymaganiach dla protokołów komunikacyjnych, tworzeniu przydatnej i uzupełnianej na bieżąco dokumentacji, czy o wpływie wyboru języka programowania na bezpieczeństwo systemu.
