haku: @keyword safety instrumented systems / yhteensä: 2
viite: 2 / 2
« edellinen | seuraava »
Tekijä: | Koskimies, Matti |
Työn nimi: | Applying model checking to analysing safety instrumented systems |
Mallintarkastusmenetelmän soveltaminen turva-automaatiojärjestelmien analysointiin | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2008 |
Sivut: | viii + 68 Kieli: eng |
Koulu/Laitos/Osasto: | Informaatio- ja luonnontieteiden tiedekunta |
Koulutusohjelma: | Tietotekniikan tutkinto-ohjelma |
Oppiaine: | Tietojenkäsittelyteoria (T-119) |
Valvoja: | Niemelä, Ilkka |
Ohjaaja: | Heljanko, Keijo |
OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen 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
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
Sijainti: | P1 Ark Aalto | Arkisto |
Avainsanat: | model checking safety instrumented systems mallintarkastus turva-automaatiojärjestelmät |
Tiivistelmä (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 tietueen numero: 36062
+ lisää koriin
« edellinen | seuraava »
INSSI