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).
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