Säkerhetskristiska system

Zined10 skrev:

Hej 

Jag undrar om någon kan förklara vad säkerherskritska system är för något och vad det anävnds till ? 

Det är ett ganska brett begrepp men min tolkning är att det är system som måste bete sig på ett deterministiskt sätt när de drabbas av problem.

Där jag jobbar har vi komponenter i systemet som har en skyldighet att så fort de upptäcker fel  stänger ned sig själva för att på så vis minimera ev. skada. Sedan normalt genereras ett larm till operatörem. Så om man har ett säkerhetsskritiskt system så hindrar man t.ex. att en fabrik börjar släppa ut gas eller något annat obehagligt.

Det är system vars korrekta funktion är kritisk för säkerhet i nån form, oftast så att inte en olycka inträffar, t.ex. kontrollsystem i kärnkraftverk eller för tåg. Man behöver garantera att om nånting blir fel så blir det det på ett sätt så att ingen olycka sker. "Fel" innefattar fel i själva programmet, så det måste vara skrivet så att det stänger av sig eller startar om eller går till något säkert neutralt läge om någonting blir konstigt.

"Program" kan vara flera samverkande program, förstås.

Bakom en del programmeringsspråk ligger tankar om att vissa programmeringsfel som är möjliga i andra språk inte är möjliga att göra. Ada, t.ex.

Man gör ofta analyser av programkoden på olika sätt för att kunna hitta fel eller tveksamheter innan programmen tas i drift.