search query: @keyword turvallisuuskriittinen ohjelmisto / total: 3
reference: 3 / 3
« previous | next »
Author:Johansson, Mika
Title:An assessment method for development processes of safety-critical software
Arviointimalli turvallisuuskriittisten ohjelmistojen tuotantoprosessien arviointiin
Publication type:Master's thesis
Publication year:2009
Pages:(10+) 116      Language:   eng
Department/School:Tietotekniikan laitos
Main subject:Tietojenkäsittelyoppi   (T-76)
Supervisor:Männistö, Tomi
Instructor:Nevalainen, Risto
OEVS:
Electronic archive copy is available via Aalto Thesis Database.
Instructions

Reading digital theses in the closed network of the Aalto University Harald Herlin Learning Centre

In the closed network of Learning Centre you can read digital and digitized theses not available in the open network.

The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/

You can read theses on the Learning Centre customer computers, which are available on all floors.

Logging on to the customer computers

  • Aalto University staff members log on to the customer computer using the Aalto username and password.
  • Other customers log on using a shared username and password.

Opening a thesis

  • On the desktop of the customer computers, you will find an icon titled:

    Aalto Thesis Database

  • Click on the icon to search for and open the thesis you are looking for from Aaltodoc database. You can find the thesis file by clicking the link on the OEV or OEVS field.

Reading the thesis

  • You can either print the thesis or read it on the customer computer screen.
  • You cannot save the thesis file on a flash drive or email it.
  • You cannot copy text or images from the file.
  • You cannot edit the file.

Printing the thesis

  • You can print the thesis for your personal study or research use.
  • Aalto University students and staff members may print black-and-white prints on the PrintingPoint devices when using the computer with personal Aalto username and password. Color printing is possible using the printer u90203-psc3, which is located near the customer service. Color printing is subject to a charge to Aalto University students and staff members.
  • Other customers can use the printer u90203-psc3. All printing is subject to a charge to non-University members.
Location:P1 Ark Aalto     | Archive
Keywords: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
Abstract (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 record number: 38069
+ add basket
« previous | next »
INSSI