OS AUTOMATION OY. 7DYRLWH

Transkriptio

1 7DYRLWH - esitellä standardin osan 3 rakenne - esitellä lyhyesti standardin osan 3 vaatimukset pääkohdittain - herättää keskustelua ko standardiosan soveltuvuudesta soveltajille (vrt. std. IEC 61511) 10 vuotta OS AUTOMATION OY 29 työntekijää 2 tukijalkaa energia suunnittelupalvelu monipuolinen osaaminen

2 $6$) ±,(& RVD SllNRKGDW $6$) ±,(& RVD SllNRKGDW IEC NÄKEE STANDARDIEN KOHDENTAMISEN NÄIN (1):

3 IEC (2): 6RYHOWDPLVDOD - vasta kun kunnolla ymmärretty osat NDLNNL ohjelmistot jotka liittyvät TLJ:ään - vaatimukset TLJ-ohjelmiston elinkaaren vaiheille - vaatimukset integroinnissa tarvittaville tiedoille ohjelmiston validointia varten - sovelletaan yhdessä osien 6 ja 7 kanssa.

4 Kohta 7: ohjelmiston elinkaarivaatimukset 2VDQSllUDNHQQH Yleisvaatimukset (kohdat 2 6) Kuvat ja taulukko 1 (3-16 riviä / kohta): yleissilmäys vaatimuksiin ohjelmiston elinkaaren laatikoiden mukaan jaoteltuna Vaatimustekstit (esim. 2 sivua / kohta): viittaavat liitteen A taulukoihin An, joskus myös liitteen B taulukoihin Bn Liite A: Tekniikoiden ja toimenpiteiden valintataulut viittaavat liitteen B taulukoihin B sekä osan 7 liitteisiin B ja C (menetelmien pidempi kuvaus) Liite B: Yksityiskohtaisemmat taulukot menetelmistä viittaavat osan 7 liitteisiin B ja C (menetelmien pidempi kuvaus) 2KMHOPLVWRQODDWXMlUMHVWHOPl - turvallisuussuunnitelmassa tulee määritellä strategiat joilla ohjelmisto TLJ:n ehestason mukaisesti hankitaan, kehitetään, integroidaan, todennetaan, kelpoistetaan ja muutetaan. - vaatimukset ohjelmiston konfiguroinninhallinnalle, mm hallinnolliset ja tekniset kontrollimenetelmät, muutosmenettelyt, dokumentointi, kaikkien liittyvien osien yksilöinti ja ylläpito.

5 <OHLVYDDWLPXNVHW ELINKAARIMALLIA KÄYTETTÄVÄ Ei välttämättä standardin esittämää mutta samansisältöistä EPÄSUORASTI KEHOITETAAN MYÖS V-MALLIN KÄYTTÖÖN TAULUKKO 1 Esim. kohta Title: Software safety validation plan - Objective: To develop a plan for validating the software safety - Scope: PES: software system - Inputs (information required): Software safety requirements specification - Outputs (information produced): Software safety validation plan. 2KMHOPLVWRQWXUYDOOLVXXVYDDWLPXVWHQ VSHVLILNDDWLR TAVOITE: Turvallisuusvaatimukset ohjelmistolle, ohjelmistototeutteisille turvatoiminnoille ja lopulta kaikille S/E/OE TLJ:lle - riittävän yksityiskohtaiset, ohjelmoijan katselmoimat, yksikäsitteiset määrittelyt - tuotteen (siis ei projektin) turvallisuusvaatimukset eli vaatimukset ohjelmistotoiminnoille ja niiden eheystasolle

6 2KMHOPLVWRQWXUYDOOLVXXGHQ NHOSRLVWXNVHQVXXQQLWWHOX TAVOITE: Suunnitelma jolla ohjelmiston turvallisuus kelpoistetaan Suunniteltava, - missä, koska, kenen toimesta kelpoistetaan - miten (mitkä tekniikat valitaan, esim. functional and black box ) - arvioinnin huominen kelpoistamisvaiheessa - kelpaa/hylätään kriteerien määrittäminen 2KMHOPLVWRQVXXQQLWWHOXMDNHKLW\VD TAVOITE: 1. vaatimukset täyttävä ohjelmistoarkkitehtuuri 2. laitteistoarkkitehtuurin ohjelmistolle asettamien vaatimusten huomiointi 3. soveltuvien työkalujen valinta 4. luoda turvallisesti muutettavissa oleva, analysoitava ja todennettava, turvallisuusvaatimukset täyttävä ohjelmisto 5. varmentaa että turvallisuusvaatimukset tulivat täytetyiksi YLEISVAATIMUKSET (mm): - vastuunjako - suunnittelumenetelmälle asetettavat vaatimukset, mm yksikäsitteinen esitysmuoto, minimalistisuus - ohjaus- ja datavirran itsemonitorointi - valmiiden komponenttien käytön vaatimukset - TLJ ja ei-tlj sekä eri eheystasoisten TLJ-osuuksien yhdistely

7 2KMHOPLVWRQVXXQQLWWHOXMDNHKLW\VE OHJELMISTOARKKITEHTUURIN VAATIMUKSET (mm): - 7 Note kohtaa! - komponentteihin jako - ohjelmisto/laitteisto rajapinnat - datan eheyden varmistaminen - integrointitestien määrittely VAATIMUKSET JÄRJESTELMÄTYÖKALUILLE JA OHJELMOINTIKIELILLE (mm): - valitaan sellaiset ohjelmointityökalut joille löytyy myös koko elinkaaren aikana tarvittavat ylläpito/muutostyökalut - mahdollisimman hyväksytty, rajattu, sovelluksen vaatimukset huomioiva, ohjelmointivirheiden havainnointia tukeva ja suunnittelumenetelmiä tukeva ohjelmointikieli valittavat - koodausstandardit arvioitava ja käytettävä 2KMHOPLVWRQVXXQQLWWHOXMDNHKLW\VF YKSITYISKOHTAISEN SUUNNITTELUN JA KEHITYKSEN VAATIMUKSET (mm): - modulaarisuus, testattavuus ja muutettavuus - ohjelmistomodulien yksityiskohtainen suunnittelu ja testaussuunnittelu - ohjelmiston integrointitestien määrittely VAATIMUKSET OHJELMOINTITYÖLLE (mm): - jokainen moduli testattava etukäteissuunnitelman mukaisesti, tulos oltava odotettu eikä ylimääräisiä toimintoja saa olla - testit dokumentoitava - havaituille virheille suunnitellaan ja toteutetaan korjaukset

8 2KMHOPLVWRQVXXQQLWWHOXMDNHKLW\VG VAATIMUKSET OHJELMISTON INTEGROINNILLE (mm): - integrointitestit suunniteltava ohjelmiston kehitystyön rinnalla - miten ohjelmisto jaetaan hallittaviin integrointisetteihin - testitapaukset ja testidata, testityypit, testiympäristö - testien lopettamisedellytykset, toiminta virhetuloksen sattuessa - TARKOITUS varmentaa että ohjelmistomodulit toimivat oikein yhdessä eivätkä aiheuta tarpeettomia toimintoja 2KMHOPLVWRQMDODLWWHLVWRQLQWHJURLQWL - eriteltävä ohjelmisto/sen ajolaitteisto integrointi vs kenttälaitteiden integrointi em:uun vs ohjattavan kohteen integrointi em:uun (2 vm ovat 2-osan asioita) - integroinnin toteutus, muutokset, dokumentointi, vikatilanteet ja niiden aiheuttamat toimenpiteet 2KMHOPLVWRQNl\WW MDPXXWRNVHW - ks 7.8 ja osa 2, kohta 7.6

9 2KMHOPLVWRQWXUYDOOLVXXGHQ NHOSRLVWXV - kelpoistustoimien dokumentointivaatimukset - toiminta odotettujen ja toteutettujen tulosten poiketessa - testaus on tärkein menetelmä - paitsi odotetuilla syötteillä, myös poikkeustilanteilla ja väärillä syötteillä - kriteerit kelpoistuksen onnistumiselle 2KMHOPLVWRPXXWRNVHW - muutosvaatimus, vaikutusanalyysi, muutoksen turvallisuussuunnittelu, dokumentointi - muutoshistoria 2KMHOPLVWRQWRGHQWDPLQHQ TAVOITE: varmistaa että kunkin ohjelmiston elinkaarivaiheen tuotokset täsmäävät siihen mitä niiltä odotettiin ja että ne vastaavat sitä mitä ko vaiheelle lähtötietona (inputtina) annettiin. - suunnittelu yhtäaikaisesti toteutuksen edetessä - todentamismenetelmät ja tekniikat, toteutus ja dokumentointi - kunkin elinkaarivaiheen alkaessa todennetaan että sille inputtina tarvittava data on olemassa ja se on oikeaa - ennen ohjelmiston toteutukseen ryhtymistä todennetaan TLJL:n kaikki turvallisuusvaatimukset tulevat suunnitellulla ohjelmistolla täytetyiksi ja että kelpoistamissuunnitelma todentaa toiminnot oikein - ohjelmistoarkkitehtuurin todentaminen vasten vaatimuksia - ohjelmiston systeemisuunnittelun todentaminen vasten vaateita - ohjelmistomodulien suunnittelun todentaminen - koodin todentaminen, aluksi staattisin menetelmin (katselmointi, formaalit todentamiset yms) - datan todentaminen; täydellisyys, konsistenssi, rakenteet, arvot,...

10 <+7((19(72 1. OHJELMISTOKEHITYKSEN ERI VAIHEIDEN TURVALLISUUDEN VARMENTAMINEN 2. HYPPELEHTIVÄ TULKITSEMINEN TEKSTIN JA TAULUKOIDEN VÄLILLÄ LIIKKUEN 3. TARVITSEE TUEKSEEN OSAT 1,2, 6 JA 7!!! KOMMENTTEJA? KYSYMYKSIÄ?