Applying model checking to analysing safety instrumented systems

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en Koskimies, Matti 2011-11-28T13:18:57Z 2011-11-28T13:18:57Z 2008
dc.identifier.isbn 978-951-22-9478-7
dc.identifier.issn 1797-5042
dc.description.abstract There is an ongoing change in the industry in which old analogue instrumentation and control (I&C) systems are replaced with new digital ones. New digital systems enable more complex control tasks and especially their application to safety instrumented systems (SIS) has created a need for new verification methods such as model checking. Our goal is to study the applicability of model checking methods to a real safety instrumented system used in industry and to evaluate whether such a system can be modelled on a level which, on one hand, enables verification of relevant safety properties and, on the other hand, keeps the size of the model feasible. A central objective is also to create a general methodology for applying model checking to analysing safety instrumented systems. As a case study we modelled an application of UTU Falcon arc protection system along with its environment with NuSMV modelling language. Moreover, we used NuSMV to verify this model against the most relevant safety properties for the system. Our results indicate that model checking seems to be a promising method for verification of safety instrumented systems. en
dc.format.extent ix, 62
dc.format.mimetype application/pdf
dc.language.iso en en
dc.publisher Helsinki University of Technology en
dc.publisher Teknillinen korkeakoulu fi
dc.relation.ispartofseries TKK reports in information and computer science en
dc.relation.ispartofseries 5 en
dc.subject.other Computer science en
dc.title Applying model checking to analysing safety instrumented systems en
dc.type D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys fi Faculty of Information and Natural Sciences en Informaatio- ja luonnontieteiden tiedekunta fi
dc.contributor.department Department of Information and Computer Science en
dc.contributor.department Tietojenkäsittelytieteen laitos fi
dc.subject.keyword model checking en
dc.subject.keyword safety instrumented systems en
dc.identifier.urn urn:nbn:fi:tkk-012291
dc.type.dcmitype text en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication


My Account