Sovellus ohjelmistojen todentamisvaatimukset
Sovellus ohjelmiston turvallisuusvaatimusten erittelyyn sisältyy:
- Turvalaiteintegrointi toiminto vaatimukset (esimerkiksi SIL:n mittalaitteille, logiikka virtauskaaviot / syy ja seuraus kaaviot).
- Ajoitus rajoitteet (esimerkiksi input ja output vähimmäis vasteajat).
- Arkkitehtuuriesteet (esimerkiksi kommunikointirajapinnat ja toiminnallinen erottelu).
Tarkastuksessa varmistetaan, että asetetut vaatimukset täyttävät kussakin vaiheessa sovelluskehityksen vaatimukset. Tietojen tarkistaminen sisältää vahvistuksen siitä, että tiedot joita käytetään sovellusohjelmassa on oikeita, ja tarvittaessa ainutlaatuisia (esimerkiksi, että TAG nimiä osoitetaan yksilöllisesti, eikä tiedot mene väärin ja että vakiot kuten hälytyspisteet ovat voimassa ja oikeita). Tarkastus ei haluttavalta muutokselta, tulisi olla kattava (esim salasanasuojauksen pääsytasoja) ja että nämä mekanismit on riittävästi hyödynnetty.