haku: @keyword process assessment / yhteensä: 3
hakutulos-lista
viite: 1 / 3
« edellinen | seuraava »
Tekijä:Johansson, Mika
Työn nimi:An assessment method for development processes of safety-critical software
Arviointimalli turvallisuuskriittisten ohjelmistojen tuotantoprosessien arviointiin
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2009
Sivut:(10+) 116      Kieli:   eng
Koulu/Laitos/Osasto:Tietotekniikan laitos
Oppiaine:Tietojenkäsittelyoppi   (T-76)
Valvoja:Männistö, Tomi
Ohjaaja:Nevalainen, Risto
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark Aalto     | Arkisto
Avainsanat:safety-critical software
process assessment
ISO/IEC15504
IEC 60880
nuclear power plant instrumentation and control
software certification
turvallisuuskriittinen ohjelmisto
prosessiarviointi
ISO/IEC15504
IEC 60880
ydinvoimalan ohjausjärjestelmä
ohjelmiston sertifiointi
Tiivistelmä (fin): Turvallisuuskriittisten ohjelmistojen merkitys kasvaa yhteiskunnassa jatkuvasti.
Ohjelmistojen tuotantoprosesseille on olemassa kansainvälisiä ja kansallisia standardeja ja vaatimuksia.
Nämä standardit ovat perinteisesti olleet listoja vaatimuksista, joissa ei ole erikseen eroteltu tuotteen vaatimuksia ja tuotantoprosessin vaatimuksia.

Ohjelmistotuotannossa monilla muilla aloilla sen sijaan tekemisen laatua arvioidaan prosessipohjaisesti, ja erityisesti prosessien kyvykkyyttä tai organisaation kypsyyttä mittaavat mallit ovat suosittuja.
Tunnetuimmat esimerkit näistä malleista ovat ISO/IEC 15504-sarja, joka tunnetaan paremmin nimellä SPICE, sekä kaupallinen malli CMMI.
Auto- ja avaruusteollisuuden myötä prosessiarviointimalleja on alettu ottaa käyttöön myös kriittisten ohjelmien arvioinnissa.

Kansallisen ydinturvallisuusohjelman SAFIR2010:n CERFAS -projektissa tutkitaan prosessiarviointimallien ja perinteisten turvallisuusstandardien yhdistämistä, tavoitteena tuottaa menetelmiä ohjelmiston sertifioimiseen.
Tässä työssä käydään läpi prosessiarviointinäkökulmaa pääosin ISO/IEC 15504-standardisarjan lähtökohdista, sekä Suomessa ydinvoimalan digitaalisilta turvallisuuskriittisiltä (Turvaluokka 2) ohjausjärjestelmiltä noudatettavaksi edellytettävää vaatimuspohjaista IEC 60880 - standardia.

Työssä kehitettiin arviointimalli, jossa yhdistetään edellä mainittujen standardien vaatimus- ja prosessilähtöisyys.
Työssä käydään läpi haasteita, joita tämän tyyppisen mallin luomiseen liittyy.
Mallin käyttökelpoisuus testattiin arvioinnilla, jossa kohteena oli turvaluokka 2 - luokiteltu mittauslaite.
Arvioinnin tulokset olivat osa laitteen kvalifiointiprosessia.
Lisäksi arvioitiin arviointimallin standardinmukaisuus.

Lopuksi käydään läpi turvallisuuskriittisen ohjelmiston prosessiarvioinnin käyttöä osana ohjelmiston sertifiointia eri näkökulmista.
Analyysi kattaa muun muassa arvioinnin kattavuuden, objektiivisuuden ja tehokkuuden, ja analyysin pohjalta esitetään muutamia suosituksia sekä mallien jatkokehitystä että varsinaisia arviointeja varten.
Lisäksi tässä työssä tehtyjä havaintoja verrataan vastaaviin kokemuksiin auto- ja avaruusteollisuudessa.
ED:2009-07-15
INSSI tietueen numero: 38069
+ lisää koriin
« edellinen | seuraava »
INSSI