search query: @keyword safety instrumented systems / total: 2
reference: 2 / 2
« previous | next »
Author: | Koskimies, Matti |
Title: | Applying model checking to analysing safety instrumented systems |
Mallintarkastusmenetelmän soveltaminen turva-automaatiojärjestelmien analysointiin | |
Publication type: | Master's thesis |
Publication year: | 2008 |
Pages: | viii + 68 Language: eng |
Department/School: | Informaatio- ja luonnontieteiden tiedekunta |
Degree programme: | Tietotekniikan tutkinto-ohjelma |
Main subject: | Tietojenkäsittelyteoria (T-119) |
Supervisor: | Niemelä, Ilkka |
Instructor: | Heljanko, Keijo |
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 CentreIn 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
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark Aalto | Archive |
Keywords: | model checking safety instrumented systems mallintarkastus turva-automaatiojärjestelmät |
Abstract (fin): | Teollisuudessa on käynnissä muutosprosessi, jossa vanhoja analogisia instrumentointi- ja säätöjärjestelmiä korvataan uusilla digitaalisilla vastineilla. Uudet digitaaliset järjestelmät mahdollistavat yhä monipuolisempia säätötehtäviä ja etenkin niiden käyttö turva-automaatiossa on synnyttänyt tarpeen uusille verifiointimenetelmille. Tämä työ pyrkii vastaamaan tähän tarpeeseen. Työn tavoitteena on tutkia mallintarkastusmenetelmän soveltuvuutta todelliseen teollisuudessa käytettävään turva-automaatiojärjestelmään ja tutkia, voidaanko tällainen järjestelmä mallintaa tasolla, joka mahdollistaa relevanttien turvaominaisuuksien verifioinnin ja joka toisaalta säilyttää mallin analysoitavan kokoisena. Keskeisenä tavoitteena on myös luoda yleinen metodologia mallintarkastusmenetelmän soveltamiseksi turva-automaatiojärjestelmiin. Tapaustutkimuksena kuvattiin UTU Falcon -merkkiseen valokaarisuojaukseen perustuva suojajärjestelmä käyttöympäristöineen NuSMV kuvauskielellä ja tarkastettiin kyseinen malli oleellisimpien turvaominaisuuksien suhteen. Tutkimustulokset osoittavat, että mallintarkastus vaikuttaa lupaavalta menetelmältä turva-automaatiojärjestelmien verifiointiin. |
ED: | 2008-08-22 |
INSSI record number: 36062
+ add basket
« previous | next »
INSSI