search query: @keyword automaatiojärjestelmät / total: 9
reference: 2 / 9
« previous | next »
Author:Västi, Mikko Matti
Title:Turvallisuuskriittisen automaatiojärjestelmän ohjelmistotestaus voimalaitoksen simulaattorilla
Software testing of safety critical automation systems with power plant simulator
Publication type:Master's thesis
Publication year:2014
Pages:viii + 68 s. + liitt. 16      Language:   fin
Department/School:Perustieteiden korkeakoulu
Main subject:Tietojenkäsittelyoppi   (T-76)
Supervisor:Lassenius, Casper
Instructor:Tahvonen, Topi ; Välisuo, Martti
Electronic version URL: http://urn.fi/URN:NBN:fi:aalto-201507013719
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  1713   | Archive
Keywords:software testing
safety critical
automation systems
simulation systems
nuclear power
ohjelmistotestaus
turvallisuuskriittiset järjestelmät
automaatiojärjestelmät
simulaatiojärjestelmät
ydinvoima
Abstract (eng): In this master's thesis we investigate software testing of safety critical automation systems with power plant simulator.
The research is performed using literature review and practical part.

In the literature review the basics of requirements engineering and software testing is presented and the connection between them is built.
On top of these is built the special requirements coming from safety critical systems and usage of simulators.

A brief introduction to Nuclear Power Plant and specially the target automation systems is given.
As a special topic the reader is given highlights about the requirements to the software testing coming from regulators and IEC 60880.

In order to have a systematic approach to test case selection, a working process is defined.
The process is applied for one automation system that is renewed on Loviisa Automation Renewal Project.
The selected test cases are carried out in Apros based simulator and the results are presented and analysed.
Based on the results suitability analysis on the process is performed and the process is found suitable for software testing safety critical automation systems.

As end result the reader will get an overview of software testing of safety critical systems, simulators and nuclear power plant automation systems.
Abstract (fin): Työssä tutkitaan turvallisuuskriittisen automaatiojärjestelmän ohjelmistotestausta voimalaitoksen simulaattorilla.
Tutkimus suoritetaan kirjallisuustutkielmalla ja käytännön osuudella.

Kirjallisuustutkielmassa esitetään perusteet vaatimustenhallinnasta ja määrittelystä ja luodaan sen ja ohjelmistotestauksen yhteys.
Näiden päälle rakennetaan erityisvaatimukset, jotka syntyvät turvallisuuden kannalta kriittisistä järjestelmistä ja simulaattoreista.

Työssä esitellään kohteena olevan Loviisan ydinvoimalaitos ja siihen liittyvät automaatiojärjestelmät.
Työssä korostetaan viranomaisvaatimuksia ja IEC 60880:n mukaisia vaatimuksia ohjelmistotestaukselle.

Työssä määritetään testitapauksien valinnassa käytettävä työskentelyprosessi.
Määrittelyllä saavutetaan järjestelmällisyys testitapauksien valinnassa.
Prosessia sovelletaan yhteen Loviisan automaatiouudistuksessa uusittavaan automaatiojärjestelmään.
Valituilla testitapauksilla suoritetaan ohjelmistotestaus käyttäen Apros simulaattoria, jonka tulokset esitellään ja analysoidaan.
Tuloksien perusteella suoritamme prosessin soveltuvuuden analysoinnin ja toteamme prosessin soveltuvaksi turvallisuuskriittisten automaatiojärjestelmien ohjelmistontestaukseen.

Lopputuloksena lukijalle syntyy kuva turvallisuuskriittisten järjestelmien ohjelmistotestauksesta, simulaattoreista sekä yleiskuva ydinvoimalaitoksien automaatiojärjestelmistä.
ED:2014-06-30
INSSI record number: 49356
+ add basket
« previous | next »
INSSI