Standardi IEC Ohjelmisto
|
|
- Taisto Halttunen
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 Sundcon Oy Standardi IEC Ohjelmisto muutokset Matti Sundquist Sundcon Oy
2 Standardi IEC (1) Standardissa di esitetään vaatimukset niiden tietojen ja menettelytapojen valmisteluun, l jota käyttäjä äjä tarvitsee turvallisuuteen liittyvän sähköisen* järjestelmän käyttöä ja ylläpitoa varten. vaatimukset, jotka sen organisaation on täytettävä, joka toteuttaa turvallisuuteen liittyvän ohjelmiston muutokset. *Tässä standardissa sähköisellä järjestelmällä tarkoitetaan sähköisiä, elektronisia ja ohjelmoitavia elektronisia järjestelmiä (E/E/PES)
3 Standardi IEC (2) Standardi di on tarkoitettu käytettäväksi vasta standardien IEC ja IEC läpikotaisen i ymmärtämisen ä jälkeen on sovellettavissa mihin tahansa ohjelmistoon, joka muodostaaosanturvallisuuteen osan turvallisuuteen liittyvästäjärjestelmästä mukaan lukien käyttöjärjestelmät, järjestelmäohjelmisto, tietoliikenneverkkojen ohjelmistot, ihminen kone vuorovaikutustoiminnot jakiinteäohjelmisto sekä sovellusohjelmisto.
4 Standardin IEC rakenne (1) Standardin di IEC rakenne: Johdanto 1. Soveltamisala ja yleisesitys rakenteesta (kaaviot). 2. Standardiviittaukset (standardin IEC muihin osiin). 3. Määritelmät esitetään standardissa IEC Standardinmukaisuus: viittaus standardin IEC kohtaan Dokumentaatio: viittaus standardin IEC kohtaan Lisävaatimukset (vrt. IEC ) toiminnallisen turvallisuuden hallintaan ohjelmiston kehittämisessä
5 Standardin IEC rakenne (2) Standardin di IEC rakenne: 7. Ohjelmiston turvallisuuden elinkaaren vaatimukset. 7.1 Yleisesitys kaavioilla ja sen sitä selittävällä taulukolla. 7.2 Ohjelmiston turvallisuusvaatimusten määrittely (Safety Requirements Specification, SRS). 7.3 Järjestelmän turvallisuuden kelpuutussuunnitelma ohjelmiston osuudelle (Validation Plan for Software Aspects of System Safety) Ohjelmistonsuunnittelu suunnittelu jakehittäminen kehittäminen. 7.5 Ohjelmoitavan elektroniikan integrointi.
6 Standardin IEC rakenne (3) Standardin di IEC rakenne: 7.6 Ohjelmiston käytön ja muutosten proseduurit. 7.7 Järjestelmän turvallisuuden kelpuutus ohjelmiston osuudelle. 7.8 Ohjelmiston muutokset. 7.9 Ohjelmiston todentaminen. 8. Toiminnallisen turvallisuuden arviointi. Liitteet
7 Standardin IEC rakenne (3) Standardin di edellisen ja tämän ä version liitteet: Annex A (normative) Guide to the selection of techniques and measures Annex B (informative) Detailed tables Annex C (informative) Properties for software systematic capability
8 Standardin IEC rakenne (3) Standardin di uudet liitteet D G: Annex D (normative) Safety manual for compliant items additional i requirements for software elements Annex E (informative) Relationships between IEC and IEC Annex F (informative) Techniques for achieving non interference between software elements on a single computer Annex G (informative) Guidance for tailoring lifecycles associated with data driven systems.
9 Standardin IEC liite A Useille standarditekstin dit ti kohdan 7 vaatimusten t täyttämiseen ttä liittyvistä tekniikoista ja toimenpiteistä esitetään lisätietoja normatiivisessa liitteessä A Ohje tekniikoidenja toimenpiteiden valintaan. Näiden tekniikoiden ja toimenpiteiden valintaan esitetään suosituksia eri SIL tasoille: ei suositeltava (NR) suositeltava (R) erittäin suositeltava (HR). Esimerkiksi kohta Vaatimukset ohjelmistomoduulin testaukseen liittyy taulukkoon A.5 Ohjelmiston suunnittelu ja kehittäminen, ohjelmistomoduulin testaus ja integrointi Taulukkojen A.x otsikossa on viittaus takaisin kyseiseen standarditekstin vaatimusten kohtaan.
10 Standardin IEC liite B Useista standardin di liitteen A taulukoissa esitettävistä i ä tekniikoista ja toimenpiteistä esitetään edelleen yksityiskohtaisia lisätietoja informatiivisessa liitteessä B Yksityiskohtaiset taulukot vastaavilla suosituksilla eri SILtasoille kuin taulukossa A. Liitteen A taulukon jostakin tekniikasta ja toimenpiteestä viittaus sitä koskevaan taulukkoon B on merkitty ensimmäiseen sarakkeeseen Ref. merkinnällä Taulukko B.x. Esimerkiksi liitteen A em. taulukon A.5 toimenpide (rivi 2) Dynaaminen analyysi ja testaus esitetään yksityiskohtaisemmin saman nimisessä taulukossa B.2. Taulukoiden B otsikoissa esitetään viittaukset takaisin liitteen A taulukkojen kyseistä tekniikka ja toimenpidettä esittävään kohtaan.
11 Standardin IEC liite C Liitteessä C Ohjelmistonsystemaattisensuoritustason systemaattisen suoritustason ominaisuudet luokitellaan ohjelmiston systemaattisen suoritustason ominaisuuksia niiden aikaan saaman vahvuuden (rigour) mukaisesti seuraavalla asteikolla: R1 vähäinen tai olematon hyväksyttävyys (SIL 1 tai 2) R2 hyväksyttävä/korkea luottamus (SIL 3) R3 objektiivinen hyväksyttävyys (SIL 4). Liitteessä C esitetään liitteiden A ja B taulukoiden kaikkien tekniikoiden ja toimenpiteiden hyväksyttävyys/luottamus ristiintaulukoituna aiheeseen liittyvien ominaisuuksien kanssa. Esimerkiksi liitteen C taulukon C A.5 kohdassa (rivi 2) Dynamic analysis and testing annettaan arvot R1 ominaisuuksille testauksen täydellisyys yy ja oikeellisuus.
12 Systemaattinen kyvykkyys (1) IEC kh kohta 3.5.9: Systemaattinen kyvykkyys (Systematic Capability) on luottamuksen mitta, joka ilmaisee (asteikolla SIL 1...SIL 4) täyttääkö ohjelmiston elementin systemaattinen eheys määritetynsil SIL tason vaatimukset elementille määritetyn turvatoiminnon suhteen, kun elementtiä sovelletaan sopivassa kohteessa elementille laaditun turvallisuuskäsikirjan ohjeiden mukaisesti. Standardi edellyttää, että ohjelmiston toteuttamat turvatoiminnot ja ohjelmiston systemaattinen kyvykkyys on määritetty
13 Systemaattinen kyvykkyys (2) Standardi diiec esittää turvallisuuden elinkaaren vaiheisiin liittyvät vaatimukset ja toimenpiteet i (ohjelmiston l i turvallisuuden elinkaarimalli, Safety Lifecycle Model). Näihin vaatimuksiin kuuluu sovellettavat tekniikatjatoimenpiteet toimenpiteet, jotkaonjaettu on jaettu luokkiin vaadittavan systemaattisen kyvykkyyden mukaisesti, laitevikojen sekä ohjelmistovirheiden välttämiseen ja hallintaan. Software Aspect of System Safety = järjestelmän turvallisuuden ohjelmiston osuus
14 Keskeiset dokumentit (1) Software System Design Specification = ohjelmistojärjestelmän suunnitelman määrittely Software Architecture Design = Ohjelmiston arkkitehtuurin suunnitelma Software Module Test Specification = ohjelmistomoduulien testausten määrittely
15 Keskeiset dokumentit (1) Software System Integration ti Test tspecification = ohjelmistojärjestelmän integraatiotestausten määrittely Software Architecture IntegrationTest Specification = ohjelmiston arkkitehtuurin integraatiotestausten määrittely Software/PE Integration test Specification = Ohjelmoitavan elektroniikan ohjelmiston intergraatiotestauksen määrittely (laitteisto ja ohjelmisto) Validation Plan for Software Aspects of Safety System = järjestelmän turvallisuuden kelpuutussuunnitelma ohjelmiston osuudelle
Standardin IEC testaustekniikoista. V-malli vai ketterämpi prosessi?
Standardin IEC 61508-3 testaustekniikoista V-malli vai ketterämpi prosessi? Mika Katara mika.katara@tut.fi Tampereen teknillinen yliopisto Ohjelmistotekniikan laitos 2 Sisältö Termien käännökset Johdanto
LisätiedotToiminnallinen turvallisuus
Toiminnallinen turvallisuus Mitä uutta standardeissa IEC 61508 Tekn.lis. Matti Sundquist, Sundcon Oy www.sundcon.fi matti.sundquist@sundcon.fi Mitä uutta standardeissa IEC 61508-1 ja -4? IEC 61508-1 (yleistä):
LisätiedotTurvallisuusseminaari 30.11 1.11.2006 Silja-Line
Turvallisuusseminaari 30.11 1.11.2006 Silja-Line Koneturvallisuus ohjausjärjestelmät ja niihin liittyvät tiedonsiirtojärjestelmät Toiminnallinen turvallisuus Standardi IEC 62061 Koneturvallisuus turvallisuuteen
LisätiedotTeollisuusautomaation standardit. Osio 2:
Teollisuusautomaation standardit Osio 2 Osio 1: SESKOn komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotTeollisuusautomaation standardit. Osio 3:
Teollisuusautomaation standardit Osio 3 Osio 1: SESKOn Komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotIEC 61508-3 sisältö ja rakenne
1(41) IEC 61508-3 sisältö ja rakenne Matti Vuori, Tampereen teknillinen yliopisto Huom! Esityksessä käytetyt standardin suomenkieliset tekstit, termit ja kaaviot ovat standardin käännöksen vielä hyväksymättömästä
LisätiedotIEC Sähköisten/eletronisten/ohjelmoitavien elektronisten turvallisuuteen liittyvien järjestelmien toiminnallinen turvallisuus
IEC 61508 Sähköisten/eletronisten/ohjelmoitavien elektronisten turvallisuuteen liittyvien järjestelmien toiminnallinen turvallisuus Risto Nevalainen, FiSMA ry FiSMA 1 Taustaa, historiaa IEC 61508 standardin
LisätiedotStandardisointikatsaus
Standardisointikatsaus 4.6.2015 ISO/TC 199 Koneturvallisuus työryhmät WG 5 General principles for the design of machinery and risk assessment Suomen edustaja: Sari Kojo, Wärtsilä Finland Oy WG 6 Safety
LisätiedotStandardit IEC 61508 (perustandardi) ja IEC 61511 (prosessit)
Standardit IEC 61508 (perustandardi) ja IEC 61511 (prosessit) DI Jouko Järvi Automation Partners Oy IEC 61508 IEC TC 65 (Industrial Process Measurement and Control), SC 65A (System Aspects) kutsui kokoon
LisätiedotKONEAUTOMAATION LAATU JA TURVALLISUUS. 4.6.2015 Marko Varpunen
KONEAUTOMAATION LAATU JA TURVALLISUUS 4.6.2015 Marko Varpunen TLJ ja automaatio Rautatie, metro, teollisuus-laitokset, kaivoskoneet, vesi, n. 90 henkeä Mikkeli Turvallisuusjohtaminen konsultointi riskienarviointi
LisätiedotTeollisuusautomaation standardit Osio 9
Teollisuusautomaation standardit Osio 9 Osio 1: SESKOn Komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotTietojärjestelmän osat
Analyysi Yleistä analyysistä Mitä ohjelmiston on tehtävä? Analyysin ja suunnittelun raja on usein hämärä Ei-tekninen näkökulma asiakkaalle näkyvien pääkomponenttien tasolla Tietojärjestelmän osat Laitteisto
LisätiedotTässä tiivistelmässä standardi tarkoittaa standardia SFS-EN 13849-1.
15.8.2007/MS Sovellusohjelmistoja koskevien vaatimusten tiivistelmä standardista SFS-EN 13849-1: Koneturvallisuus. Turvallisuuteen liittyvät ohjausjärjestelmän osat. Osa 1: Yleiset suunnitteluperiaatteet.
LisätiedotABB Drives and Controls, 26.05.2015 Koneenrakentajan ja laitetoimittajan yhteistoiminta toiminnallisen turvallisuuden varmistamisessa
ABB Drives and Controls, 26.05.2015 Koneenrakentajan ja laitetoimittajan yhteistoiminta toiminnallisen turvallisuuden varmistamisessa Sisältö 1. Koneenrakentajan haasteita koneiden turvallistamisessa 2.
LisätiedotTeollisuusautomaation standardit. Osio 6:
Teollisuusautomaation standardit Osio 6 Osio 1: SESKOn Komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotSuomen Automaatioseuran turvallisuusjaoston teemasarja Toiminnallinen turvallisuus - uusittu standardisarja IEC 61508
Suomen Automaatioseuran turvallisuusjaoston teemasarja Toiminnallinen turvallisuus - uusittu standardisarja IEC 61508 Standardin IEC 61508 osien 2 ja 6 rakenne ja muutokset VR Track Oy Janne Peltonen Suomen
LisätiedotRiskienhallinta ja turvallisuus FORUM 2012
Riskienhallinta ja turvallisuus FORUM 2012 Järjestelmä- ja ohjelmistoturvallisuus 17.10.2012 Finlandia-talo, Helsinki Tuotepäällikkö Janne Peltonen VTT Expert Services Oy 12.10.2012 2 VTT Expert Services
LisätiedotToiminnallinen turvallisuus
Toiminnallinen turvallisuus Tekn.lis. Matti Sundquist, Sundcon Oy Matti.sundquist@sundcon.fi Tehdasautomaatio PLC Toim isto PLC DCS + PLC DCS Moottoriohjaus + PLC PLC Copyright 2007 Rockwell Automation,
LisätiedotLyhyt yhteenveto ohjelmistovaatimuksista standardissa ISO 13849-1
Lyhyt yhteenveto ohjelmistovaatimuksista standardissa ISO 13849-1 Dr. Michael Huelke, BGIA in close collaboration with Philippe Lubineau and Daniel Renault, CETIM Käännös/m atti.sundquist@ sundcon.fi Sichere
LisätiedotCopyright by Haikala. Ohjelmistotuotannon osa-alueet
Copyright by Haikala Ohjelmistotuotannon osa-alueet Ohjelmiston elinkaari 1. Esitutkimus, tarvekartoitus, kokonaissuunnittelu, järjestelmäsuunnittelu (feasibility study, requirement study, preliminary
LisätiedotTurvallisuus koneautomaatiossa
Turvallisuus koneautomaatiossa Uusittu konedirektiivi ja sen soveltaminen Koneen valmistajan velvollisuudet Kone- ja pienjännitedirektiivin soveltaminen Koneyhdistelmä Koneen dokumentit ja CE -merkintä
LisätiedotTeollisuusautomaation standardit. Osio 5:
Teollisuusautomaation standardit Osio 5 Osio 1: SESKOn Komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotOhjelmistoprojektien hallinta Vaihejakomallit
Ohjelmistoprojektien hallinta Vaihejakomallit Vaihejakomallit TAVOITE: YMMÄRTÄÄ eri vaihejakomallien etujajahaittoja 2 Erilaisia malleja Tee ja korjaa (Code-and-Fix) Vesiputousmalli (Waterfall) Vesiputousmalli
LisätiedotRiskin arviointi. Peruskäsitteet- ja periaatteet. Standardissa IEC esitetyt menetelmät
Ylitarkastaja Matti Sundquist Uudenmaan työsuojelupiiri Riskin arviointi Peruskäsitteet- ja periaatteet Standardissa IEC 61508-5 esitetyt menetelmät matti.sundquist@stm.vn.fi 2.9.2004 1 Toiminnallinen
LisätiedotVTT EXPERT SERVICES OY VTT EXPERT SERVICES LTD.
I006 Liite 1.07, Appendix 1.07 Sivu / Page 1(5) VTT EXPERT SERVICES OY VTT EXPERT SERVICES LTD. Tunnus Code Yksikkö tai toimintoala Department or section of activity Osoite Address www www I006, liite
LisätiedotTeollisuusautomaation standardit Osio 10
Teollisuusautomaation standardit Osio 10 Osio 1: SESKOn Komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotSFS-ISO/IEC Tietoturvallisuuden hallintajärjestelmät. Ohjeistusta. Riku Nykänen
SFS-ISO/IEC 27003 Tietoturvallisuuden hallintajärjestelmät. Ohjeistusta Riku Nykänen 14.12.2018 SFS-ISO/ IEC 2 70 0 3 Tietoturvallisuuden hallintajärjestelmät. Ohjeistusta Riku Ny kän en, 14.12.2 0 18
LisätiedotOhjelmistoarkkitehtuuriin vaikuttavia tekijöitä. Kari Suihkonen
Ohjelmistoarkkitehtuuriin vaikuttavia tekijöitä Kari Suihkonen Ohjelmistoarkkitehtuuriin vaikuttavia tekijöitä Tuote Ohjelmisto Ulkoiset tekijät Sisäiset tekijät 2 Hissin ohjausjärjestelmä ohjelmistotuotteena
LisätiedotTurvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6.
Työpajapäivä 2015 Turvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6. Tampereen teknillinen yliopisto, Rakennustalo Turvallisen tekniikan pääseminaarin lisäksi järjestetään keskiviikkona
LisätiedotNESTE ENGINEERING SOLUTIONS
NESTE ENGINEERING SOLUTIONS Functional safety assessment ASAF teemapäivä Jari Koivuvirta Automation, Functional Safety Neste Engineering Solutions Mobile: +358 50 458 9756 e-mail: jari.koivuvirta@neste.com
LisätiedotOS AUTOMATION OY. 7DYRLWH
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
LisätiedotTurvakriittisen projektin menetelmät ja työkalut
Turvakriittisen projektin menetelmät ja työkalut 1. Vaatimushallinta Vaatimushallintaan kohdistuu turvaluokitelluissa projekteissa paljon odotuksia. Etenkin jäljitettävyys vaatimuksiin, testaukseen ja
LisätiedotIEC osa 4, ed. 2
1 IEC 61508 osa 4, ed. 2 Määritelmät ja lyhenteet Tärkeimpiä ja uusia määritelmiä 11.10.2010, Jouko Järvi Automation Partners Oy 2 Suomennosongelmia on mm. englannin suuri sanavarasto. Esim. laitteistolle
LisätiedotTeollisuusautomaation standardit
Teollisuusautomaation standardit Toiminnallinen turvallisuus: periaatteet Standardisarja IEC 61508 Matti Sundquist Sundcon OY matti.sundquist@sundcon.fi Automaatiojärjestelmien vaakasuora integraatio PLC
LisätiedotSuomen Automaatioseuran turvallisuusjaosto (ASAF) Teemasarja Toiminnallinen turvallisuus - standardisarja IEC 61508
Suomen Automaatioseuran turvallisuusjaosto (ASAF) Teemasarja Toiminnallinen turvallisuus - standardisarja IEC 61508 Standardin IEC 61508-2 laitteistovaatimusten soveltaminen VR Track Oy Janne Peltonen
LisätiedotSuomen Automaatioseuran turvallisuusjaosto (ASAF) Teemasarja Toiminnallinen turvallisuus uusittu standardisarja SFS-EN IEC 61508
Suomen Automaatioseuran turvallisuusjaosto (ASAF) Teemasarja Toiminnallinen turvallisuus uusittu standardisarja SFS-EN IEC 61508 Uusittujen ohjelmistostandardien IEC 61508-3 ja EN 50128 vertailua VR Track
LisätiedotOhjelmistotuotanto, prosessit Syksy Ohjelmistotuotantoprosessi. Prosessimalli. Prosessimallien perustehtävät. Prosessimallin vaihejako
2. Ohjelmistotuotantoprosessi peruskäsitteet: prosessimalli: mahdollisimman yleisesti sovellettavissa oleva ohjeisto ohjelmistojen tuottamiseen ohjelmistotuotantoprosessi: yrityksessä käytössä oleva tapa
LisätiedotJohdantoluento. Ohjelmien ylläpito
Johdantoluento Ylläpito-termin termin määrittely Ylläpito ohjelmistotuotannon vaiheena Evoluutio-termin määrittely Muita kurssin aiheeseen liittyviä termejä TTY Ohjelmistotekniikka 1 Ohjelmien ylläpito
LisätiedotComputing Curricula 2001 -raportin vertailu kolmeen suomalaiseen koulutusohjelmaan
Computing Curricula 2001 -raportin vertailu kolmeen suomalaiseen koulutusohjelmaan CC1991:n ja CC2001:n vertailu Tutkintovaatimukset (degree requirements) Kahden ensimmäisen vuoden opinnot Ohjelmistotekniikan
LisätiedotOhjelmiston testaus ja laatu. Ohjelmistotekniikka elinkaarimallit
Ohjelmiston testaus ja laatu Ohjelmistotekniikka elinkaarimallit Vesiputousmalli - 1 Esitutkimus Määrittely mikä on ongelma, onko valmista ratkaisua, kustannukset, reunaehdot millainen järjestelmä täyttää
LisätiedotPaikkatietojen tietotuotemäärittely
Paikkatietojen tietotuotemäärittely Esityksen sisältö: Mikä on paikkatietotuote? Mikä on paikkatietotuoteseloste? Kuka paikkatietotuotteita määrittelee? Mikä on paikkatietotuoteselosteen sisältö? Mitä
LisätiedotPaikkatietojen tietotuotemäärittely
Paikkatietojen tietotuotemäärittely Esityksen sisältö: Mikä on paikkatietotietotuote? Mikä on paikkatietotuotemäärittely? Kuka paikkatietotuotteita määrittelee? Mikä on paikkatietotuotemäärittelyn sisältö?
LisätiedotOhjelmistojen mallinnus, s2008 HY/TKTL, 28/10/2008. Harri Laine 1. Ohjelmisto
jen mallinnus, s2008 jen mallinnus (OMa) - Johdatus ohjelmistotuotantoon Tietokoneohjelma (computer program) toimintaohje, jonka mukaan toimien tietokone suorittaa jonkin tietojenkäsittelytehtävän suoritettava
LisätiedotTekn. lis. Matti Sundquist, Sundcon Oy Turvallisuusvastuut koneiden modernisoinnissa eurooppalaiset turvallisuusvaatimukset
kirjoittaja: otsikko: julkaisupäivä: 23.4.2010 Tekn. lis. Matti Sundquist, Sundcon Oy Turvallisuusvastuut koneiden modernisoinnissa eurooppalaiset turvallisuusvaatimukset Artikkelin sisällysluettelo: 1
LisätiedotOhjelmistojen mallinnus (OMa) - Johdatus ohjelmistotuotantoon Harri Laine 1
Ohjelmistojen mallinnus (OMa) - Johdatus ohjelmistotuotantoon 31.10.2008 Harri Laine 1 Ohjelmisto Tietokoneohjelma (computer program) toimintaohje, jonka mukaan toimien tietokone suorittaa jonkin tietojenkäsittelytehtävän
LisätiedotToimilohkojen turvallisuus tulevaisuudessa
Toimilohkojen turvallisuus tulevaisuudessa Turvallisuusseminaari ASAF 30.10-1.11.2006 Mika Strömman Teknillinen korkeakoulu 1 Sisältö Luotettavuuden lisääminen hyvillä tavoilla Toimilohkokirjastot Turvatoimilohkot
LisätiedotLaadukkaiden ja luotettavien ohjelmistojen vaatimukset ja miten ne täytetään?
Laadukkaiden ja luotettavien ohjelmistojen vaatimukset ja miten ne täytetään? Kari Alho Solution Architect Nohau Solutions, Finland Sisältö Vaatimusten luokittelua Yleisiä laatustandardeja ISO 9000 + sovitukset
LisätiedotLausuntopyyntöluettelo HUOM. Komiteoiden ja seurantaryhmien kokoonpanot on esitetty SESKOn komitealuettelossa
1(14) FprEN ISO/IEC 13273-1 Energy efficiency and renewable energy sources. Common international terminology. Part 1: Energy efficiency (ISO/IEC 13273-1:2015) ISO/IEC 13273-1:2015 Lausuntoaika päättyy:
LisätiedotProsessiajattelu. Prosessikuvaukset ja elinkaarimallit. Organisaation prosessikuvaus - CMMI. Sami Kollanus TJTA330 Ohjelmistotuotanto 3.4.
Prosessikuvaukset ja elinkaarimallit Sami Kollanus TJTA330 Ohjelmistotuotanto 3.4. Organisaation prosessikuvaus - CMMI Level5 Level4 Organizational Innovation and Deployment Causal Analysis and Resolution
Lisätiedotida IEC61508 turvastandardi ja sen merkitys prosessiteollisuudelle Dr. William M. Goble exida Sellersville, PA USA
IEC61508 turvastandardi ja sen merkitys prosessiteollisuudelle Dr. William M. Goble ex Sellersville, PA USA Martti Hakonen Kunnossapitoyhdistys Promaint ry ASAF teemakokous 17.10.2011 Pasila Esityksen
LisätiedotOhjelmistojen mallintaminen. Luento 11, 7.12.
Ohjelmistojen mallintaminen Luento 11, 7.12. Viime viikolla... Oliosuunnittelun yleiset periaatteet Single responsibility eli luokilla vain yksi vastuu Program to an interface, not to concrete implementation,
LisätiedotSoftware engineering
Software engineering Alkuperäinen määritelmä: Naur P., Randell B. (eds.): Software Engineering: A Report on A Conference Sponsored by the NATO Science Committee, NATO, 1968: The establishment and use of
LisätiedotTeollisuusautomaation standardit. Osio 4:
Teollisuusautomaation standardit Osio 4 Osio 1: SESKOn Komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
LisätiedotTestaaminen ohjelmiston kehitysprosessin aikana
Testaaminen ohjelmiston kehitysprosessin aikana 04.02.2004 http://cs.joensuu.fi/tsoft/ Sisällys 1. Johdanto 2. Yksikkö- ja integrointitestaus 3. Järjestelmätestaus 4. Hyväksymistestaus http://cs.joensuu.fi/tsoft/
LisätiedotOhjelmistotuotanto vs. muut insinööritieteet. (Usein näennäinen) luotettavuus ja edullisuus
Yhteenveto Ohjelmistotuotanto vs. muut insinööritieteet Monimutkaisuus Näkymättömyys (Usein näennäinen) luotettavuus ja edullisuus Muunnettavuus Epäjatkuvuus virhetilanteissa Skaalautumattomuus Copyright
LisätiedotStandardisarja IEC 62443. Teollisuuden tietoliikenneverkot Verkkojen ja järjestelmien tietoturvallisuus
Standardisarja IEC 62443 Teollisuuden tietoliikenneverkot Verkkojen ja järjestelmien tietoturvallisuus Matti Sundquist, Sundcon Oy Jukka Alve, SESKO ry 1 ASAFin tietoturvaseminaari 27.1.2004 Automaatioseuran
LisätiedotCMM Capability Maturity Model. Software Engineering Institute (SEI) Perustettu vuonna 1984 Carnegie Mellon University
CMMI Sami Kollanus TJTA330 Ohjelmistotuotanto 13.3. CMM Capability Maturity Model Software Engineering Institute (SEI) www.sei.cmu.edu Perustettu vuonna 1984 Carnegie Mellon University 1985 SEI aloitti
LisätiedotCMMI CMM -> CMMI. CMM Capability Maturity Model. Sami Kollanus TJTA330 Ohjelmistotuotanto Software Engineering Institute (SEI)
CMMI Sami Kollanus TJTA330 Ohjelmistotuotanto 13.3. CMM Capability Maturity Model Software Engineering Institute (SEI) www.sei.cmu.edu Perustettu vuonna 1984 Carnegie Mellon University 1985 SEI aloitti
LisätiedotCMMI CMMI CMM -> CMMI. CMM Capability Maturity Model. Sami Kollanus TJTA330 Ohjelmistotuotanto
CMM Capability Maturity Model CMMI Sami Kollanus TJTA330 Ohjelmistotuotanto 16.1.2007 Software Engineering Institute (SEI) www.sei.cmu.edu Perustettu vuonna 1984 Carnegie Mellon University 1985 SEI aloitti
LisätiedotFujitsu SPICE Lite. Kimmo Vaikkola Fujitsu Finland Oy Laatu ja liiketoimintatavat. Copyright 2010 FUJITSU
Fujitsu SPICE Lite Kimmo Vaikkola Fujitsu Finland Oy Laatu ja liiketoimintatavat Copyright 2010 FUJITSU Laatu ja prosessit Fujitsussa Laatujärjestelmän rakentaminen ja systemaattinen prosessijohtaminen
LisätiedotProsessiajattelu. Organisaation prosessikuvaus - CMMI. Prosessikuvaukset ja elinkaarimallit. Organisaation prosessien määritys CMMI käytänteet
Organisaation prosessikuvaus - CMMI Prosessikuvaukset ja elinkaarimallit Sami Kollanus TJTA330 Ohjelmistotuotanto 7.2.2007 Level5 Level4 Level3 Requirements Development Technical Solution Product Integration
LisätiedotISEB/ISTQB FOUNDATION CERTIFICATE IN SOFTWARE TESTING III
KOULUTUSTIEDOTE 1(5) ISEB/ISTQB FOUNDATION CERTIFICATE IN SOFTWARE TESTING III Kuvaus ja tavoite ISEB/ISTQB Foundation Certificate in Software Testing -sertifikaattiin valmentava koulutus (2,5 pv) ja sertifikaattikoe
LisätiedotOhjelmistojen testaus
Ohjelmistojen testaus Juha Taina 1. Perusteet (P&Y:1-4) Kurinalainen insinöörityö sisältää suunnittelun ja rakentamisen lisäksi välttämättä tehtäviä, joiden tarkoitus on tunnistaa ja poistaa keskeneräisestä
Lisätiedot2. Ohjelmistotuotantoprosessi
2. Ohjelmistotuotantoprosessi Peruskäsitteet: prosessimalli: mahdollisimman yleisesti sovellettavissa oleva ohjeisto ohjelmistojen tuottamiseen ohjelmistotuotantoprosessi: yrityksessä käytössä oleva tapa
LisätiedotEsimerkki Metson ESD-ventiilidiagnostiikasta (osaiskutesti)
Esimerkki Metson ESD-ventiilidiagnostiikasta (osaiskutesti) ASAF teemasarja - IEC61508 8.11.2010, Juha Yli-Petäys Esityksen sisältö Turvaventtiili ja sen rooli ohjattavassa prosessissa Suoritettavat määräaikaistestit
LisätiedotSESKO ry LAUSUNTOPYYNTÖ 7/08 LIITE Toimisto (5) HUOM. Komiteoiden ja seurantaryhmien kokoonpanot on esitetty SESKOn komitealuettelossa
2008-07-25 1(5) CENELEC SC 9XB Kulkuneuvojen sähkömekaaniset materiaalit S262-08 Railway applications. Rolling stock. Pantographs. Characteristics and tests. Part 1: Pantographs for main line vehicles
LisätiedotOhjelmistotekniikka kevät 2003 Laatujärjestelmät
Laatujärjestelmät Ohjelmistotekniikka kevät 2003 Prosessiajattelu Sisään Prosessi Ulos ohjaus mittaus Laatujärjestelmät Laatujärjestelmät määrittelevät sen, mitkä prosessit täytyy olla määritelty ei sitä,
LisätiedotKuntasektorin kokonaisarkkitehtuuri
Kuntasektorin kokonaisarkkitehtuuri Yhteiskäyttöisten komponenttien kehitys ja hallinta Kurttu 18.4.2013 Ohjelmistokomponenttien uudelleenkäyttö Kustannussäästöjä» Kehityskustannukset» Lisenssikustannukset
LisätiedotLaadun hallinta. Laatukustannukset. Laadun kustannuksista. Sami Kollanus TJTA330 Ohjelmistotuotanto
Laadun hallinta Sami Kollanus TJTA330 Ohjelmistotuotanto 5.4. Laatukustannukset US National Institute of Standards and Technology: Riittämättömän testauksen kustannusten arvioitiin olevan 59 Mrd dollaria
LisätiedotLaadun hallinta. Laatukustannukset. Sami Kollanus TJTA330 Ohjelmistotuotanto
Laadun hallinta Sami Kollanus TJTA330 Ohjelmistotuotanto 5.4. Laatukustannukset US National Institute of Standards and Technology: Riittämättömän testauksen kustannusten arvioitiin olevan 59 Mrd dollaria
LisätiedotTietokantojen suunnittelu, relaatiokantojen perusteita
Tietokantojen suunnittelu, relaatiokantojen perusteita A277, Tietokannat Teemu Saarelainen teemu.saarelainen@kyamk.fi Lähteet: Leon Atkinson: core MySQL Ari Hovi: SQL-opas TTY:n tietokantojen perusteet-kurssin
LisätiedotOhjelmistojen suunnittelu
Ohjelmistojen suunnittelu 581259 Ohjelmistotuotanto 154 Ohjelmistojen suunnittelu Software design is a creative activity in which you identify software components and their relationships, based on a customer
LisätiedotEnterprise Architecture TJTSE Yrityksen kokonaisarkkitehtuuri
Enterprise Architecture TJTSE25 2009 Yrityksen kokonaisarkkitehtuuri Jukka (Jups) Heikkilä Professor, IS (ebusiness) Faculty of Information Technology University of Jyväskylä e-mail: jups@cc.jyu.fi tel:
LisätiedotUusi IEC standardi
Uusi IEC 61340-5-1 standardi Sisällön pääkohdat ja standardin käyttöönotto Esitelmä Staha-yhdistyksen syyskokouksessa 8.11.2007 Terttu Peltoniemi 1 Nokia Siemens Networks Presentation / Author / Date Sisältö
LisätiedotOhjelmistoprosessit ja ohjelmistojen laatu Kevät Ohjelmistoprosessit ja ohjelmistojen laatu. Projektinhallinnan laadunvarmistus
LAADUNVARMISTUS 135 Projektinhallinnan laadunvarmistus Projektinhallinnan laadunvarmistus tukee ohjelmistoprojektien ohjaus- ja ylläpitotehtäviä. Projektinhallinnan laadunvarmistustehtäviin kuuluvat seuraavat:
LisätiedotSOA SIG SOA Tuotetoimittajan näkökulma
SOA SIG SOA Tuotetoimittajan näkökulma 12.11.2007 Kimmo Kaskikallio IT Architect Sisältö IBM SOA Palveluiden elinkaarimalli IBM Tuotteet elinkaarimallin tukena Palvelukeskeinen arkkitehtuuri (SOA) Eri
LisätiedotSFS:n IT-standardisoinnin vuosiseminaari 16.12.2014
SFS:n IT-standardisoinnin vuosiseminaari 16.12.2014 Tomi Dahlberg Tietohallinto ISO/IEC 20000 ISO/IEC 38500 Liiketoiminta Liiketoimintaprosessit ISO/IEC 30105 2 SFS:n seurantaryhmä SR 308 seuraa ISO/IEC
LisätiedotCT60A4150 OHJELMISTOTESTAUKSEN PERUSTEET. Jussi Kasurinen (etu.suku@lut.fi) Kevät 2015
CT60A4150 OHJELMISTOTESTAUKSEN PERUSTEET Jussi Kasurinen (etu.suku@lut.fi) Kevät 2015 EDELLISELLÄ KERRALLA TAPAHTUNUTTA Täydellinen testaus on mahdotonta. Testataan, koska virheiden löytyminen ajoissa
LisätiedotTestausselosteiden vaatimukset
Testausselosteiden vaatimukset PANK Menetelmäpäivä 2016-01-28 Katriina Tallbacka Inspecta Sertifiointi Oy Aluksi Laboratorion tuote on testaus. Prosessi alkaa asiakkaan tilauksesta ja päättyy asiakkaalle
LisätiedotEU GMP Guide Part IV: Guideline on GMP spesific to ATMP. Pirjo Hänninen
EU GMP Guide Part IV: Guideline on GMP spesific to ATMP Pirjo Hänninen 3.4.2019 ATMP ATMPs: Gene therapy medicinal products Somatic cell therapy medicinal products Tissue engineered products Vuosi-kk-pv
LisätiedotOhjelmistotekniikka - Luento 2
Ohjelmistotekniikka - Luento 2 Luku 2: Prosessimallit - miten spiraalimalliin päädyttiin - spiraalimallista (R)UP malliin - oman ammattitaidon kehittäminen; PSP ja TSP mallit 1 Luento 2: Prosessimallit
LisätiedotSavupiippujen testaaminen
Savupiippujen testaaminen Savupiippujen testaaminen Voimassa olevat testausmääräykset ja ohjeet Suomessa (1 / 2) E3 SUOMEN RAKENTAMISMÄÄRÄYSKOKOELMA, PIENTEN SAVUPIIPPUJEN RAKENTEET JA PALOTURVALLISUUS,
LisätiedotToimisto (5) HUOM. Komiteoiden ja seurantaryhmien kokoonpanot on esitetty SESKOn komitealuettelossa
Toimisto 2012-12-31 1(5) CENELEC SC 9XB Kulkuneuvojen sähkömekaaniset laitteet S408-12 Railway applications. Rolling stock. 3-phase shore (external) supply system for rail vehicles Esikuva: CLC/FprTS 50546:2012
Lisätiedotarvostelija Turvallisuuskriittisissä, sulautetuissa järjestelmissä esiintyvien ohjelmistovaatimusten virheanalyysi Jarkko-Juhana Sievi
hyväksymispäivä arvosana arvostelija Turvallisuuskriittisissä, sulautetuissa järjestelmissä esiintyvien ohjelmistovaatimusten virheanalyysi Jarkko-Juhana Sievi Helsinki 6.4.2005 HELSINGIN YLIOPISTO Tietojenkäsittelytieteen
LisätiedotTurvallisen tekniikan pääseminaarin lisäksi järjestetään torstaina 7.6 työpajapäivä, jossa keskitytään kolmeen aihealueeseen.
Turvallisen tekniikan seminaari 2012 Tampereen teknillinen yliopisto, tietotalo Työpajapäivä, torstai 7.6 Turvallisen tekniikan pääseminaarin lisäksi järjestetään torstaina 7.6 työpajapäivä, jossa keskitytään
LisätiedotBaRE Käyttövalmis vaatimusmäärittelymenetelmä
BaRE Käyttövalmis vaatimusmäärittelymenetelmä Uolevi Nikula, Tietotekniikan osasto, LTKK, Uolevi.Nikula@lut.fi 13.11.2002 un/tsoft 1 Esityksen sisältö Jatko-opinnot Lisensiaatintutkimus BaRE menetelmä
LisätiedotOhjelmiston toteutussuunnitelma
Ohjelmiston toteutussuunnitelma Ryhmän nimi: Tekijä: Toimeksiantaja: Toimeksiantajan edustaja: Muutospäivämäärä: Versio: Katselmoitu (pvm.): 1 1 Johdanto Tämä luku antaa yleiskuvan koko suunnitteludokumentista,
LisätiedotProsessien kehittäminen. Prosessien parantaminen. Eri mallien vertailua. Useita eri malleja. Mitä kehitetään?
Prosessien kehittäminen Prosessien parantaminen Sami Kollanus TJTA330 Ohjelmistotuotanto 21.2.2007 Mitä kehitetään? CMMI, SPICE yms. Miten kehittämishanke saadaan toteutettua? Organisaation kehittämisen
LisätiedotMitä vanhan laitteen modernisoinnissa kannattaa huomioida? Kiwa Inspecta Katri Tytykoski
[presentation title] via >Insert >Header & Footer KONEEN JATKOAIKA Mitä vanhan laitteen modernisoinnissa kannattaa huomioida? Kiwa Inspecta Katri Tytykoski Johtava asiantuntija Inspecta Tarkastus Oy Koneen
LisätiedotProsessimalli. 2. Ohjelmistotuotantoprosessi. Prosessimallin vaihejako. Prosessimallien perustehtävät. Ohjelmiston suunnittelu. Vaatimusmäärittely
2. Ohjelmistotuotantoprosessi Peruskäsitteet: prosessimalli: mahdollisimman yleisesti sovellettavissa oleva ohjeisto ohjelmistojen tuottamiseen ohjelmistotuotantoprosessi: yrityksessä käytössä oleva tapa
LisätiedotOLENNAISET TOIMINNALLISET VAATIMUKSET - PÄIVITETTY LUOKITUS JA JÄRJESTELMÄLOMAKE Kela toimittajayhteistyökokous 26.4.
OLENNAISET TOIMINNALLISET VAATIMUKSET - PÄIVITETTY LUOKITUS JA JÄRJESTELMÄLOMAKE 24.4.2019 Kela toimittajayhteistyökokous 26.4.2019 1 ASIAKASTIETOLAIN 250/2014 MUKAISET OLENNAISET VAATIMUKSET I Toiminnalliset
LisätiedotValtioneuvoston asetus
Valtioneuvoston asetus rautatiejärjestelmän turvallisuudesta ja yhteentoimivuudesta annetun valtioneuvoston asetuksen muuttamisesta Valtioneuvoston päätöksen mukaisesti muutetaan rautatiejärjestelmän turvallisuudesta
LisätiedotLaatukustannukset. Laadun hallinta. Laadun kustannuksista
Laatukustannukset Laadun hallinta Sami Kollanus TJTA330 Ohjelmistotuotanto 13.2.2007 US National Institute of Standards and Technology: Riittämättömän testauksen kustannusten arvioitiin olevan 59 Mrd dollaria
LisätiedotAluksi. Riskien hallinta. Riskityyppejä. Riskillä on kaksi ominaisuutta. Reaktiivinen strategia. Proaktiivinen strategia
Aluksi Riskien hallinta Sami Kollanus TJTA330 Ohjelmistotuotanto 24.1.2007 Reaktiivinen strategia Indiana Jones -tyyli Ei huolehdita ongelmista ennen kuin ne tapahtuu Proaktiivinen strategia Tunnistetaan
LisätiedotTutkittua tietoa. Tutkittua tietoa 1
Tutkittua tietoa T. Dybå, T. Dingsøyr: Empirical Studies of Agile Software Development : A Systematic Review. Information and Software Technology 50, 2008, 833-859. J.E. Hannay, T. Dybå, E. Arisholm, D.I.K.
LisätiedotRiippumattomat arviointilaitokset
Riippumattomat arviointilaitokset CSM Riskienhallinta -asetuksen mukainen riippumaton arviointi Komission asetus (352/2009/EY) yhteisestä turvallisuusmenetelmästä, CSM riskienhallinta-asetus, vaatii rautatiejärjestelmässä
LisätiedotProjektityö
Projektityö 24.9.2010 Ohjelmistojen kehitysmalleista Vaatimusten määrittely ja kerääminen Lähteinä (vaatimusten määrittely): Haikala ja Märijärvi, Ohjelmistotuotanto, Talentum, 2005. Luvut 3, 4, 5, 6-10
LisätiedotTeollisuusautomaation standardit Osio 1
Teollisuusautomaation standardit Osio 1 Osio 1: SESKOn komitea SK 65: Teollisuusprosessien ohjaus Osio 2: Toiminnallinen turvallisuus: periaatteet Osio 3: Toiminnallinen turvallisuus: standardisarja IEC
Lisätiedot