Turvakriittinen järjestelmä

Turvakriittinen järjestelmä () on järjestelmä, jonka toiminta- tai suunnitteluvirhe voi johtaa henkilövaaraan. Koneturvallisuus (safety) eroaa määritelmällisesti muunlaisesta turvatekniikasta (security) ja vaatimukset näiden toteuttamiselle eroavat.

Järjestelmä voi koostua sekä laitteistosta (hardware) että ohjelmistosta (software). Sulautetut järjestelmät ja teollisuusautomaatio ovat usein osana tämänlaista järjestelmää.

Järjestelmän on havaittava myös itsensä toimintaan vaikuttavat vikatilanteet kuten sensorit ja anturit jotka antavat virheellistä signaalia tai ei lainkaan (ks. nolla-aktiivinen).

pienoiskuva|oikea|Vikapuuanalyysin mallikaavio
Riskien arviointi on olennainen osa järjestelmän suunnittelua. Koneen vikaantumista voidaan arvioida vikapuuanalyysin avulla.

Järjestelmä voi olla vikaturvallinen tai vikasietoinen järjestelmän luokittelun mukaan. Esimerkkejä ovat sydän-keuhkokone, Fly-by-wire järjestelmä ja lukkiutumattomat jarrut (ABS).

 Vaatimustasot 
IEC:n turvavaatimustasot () (SIL) ovat neliportainen asteikko yhdestä neljään, jossa SIL 4 on korkein ja vaativin taso. Tason nousu vaatii riskien vähentämisen moninkertaistamista.

 Standardit 

Standardeja turvakriittisen järjestelmän suunnitteluun ja toteutukseen:
 DO-178B, DO-178C, ilmailu
 ISO 26262, autoteollisuus
 IEC 61508, kattomäärittely useille aloille ja kohteille
 IEC 61513, ydinvoima
 IEC 62304, lääketiede
 IEC 62061, kone- ja laitteisto
 IEC 62279, rautatieliikenne

 Testaaminen 

Järjestelmän testaaminen on olennainen osa järjestelmän kehitystä. IEC 61508 -standardin mukaan ohjelmistolle on tehtävä yksikkötestaaminen ().

DO-178B vaatii formaalia todistetta ohjelmakoodin oikeellisuudesta ja kaikkien syötteiden ja tilojen huomioimisesta toteutuksen toiminnassa (ks. DO-333). Myös laiteohjelma () on huomioitava kehityksessä ja testaamisessa.

 Katso myös 
 Luotettavuustekniikka
 Koneturvallisuus
 MISRA C
 Reaaliaikainen käyttöjärjestelmä

 Lähteet 

Luokka:Koneturvallisuus