@book{71791ecf7c574e72951bd84fb8167766,
title = "Toiminnallinen verifiointi prosessiautomaatiossa",
abstract = "Tutkimuksessa tarkastellaan automatiikkojen, erityisesti ohjaussekvenssien toiminnallista verifiointia. Esitett{\"a}v{\"a}n menetelm{\"a}n perusajatus on kuvata samalla formalismilla sek{\"a} automatiikan toiminnallinen m{\"a}{\"a}rittely ett{\"a} ohjattavan laitoksen toiminnalliset ominaisuudet ja tarkistaa, ett{\"a} n{\"a}in saatu kokonaisj{\"a}rjestelm{\"a}n kuvaus vastaa toiminnallisilta ominaisuuksiltaan annettuja vaatimuksia. Ohjattavan laitoksen jatkuva-aikaisten ilmi{\"o}iden kuvaamiseen on sovellettu ns. kvalitatiivista mallitueta. Raportin p{\"a}{\"a}paino on prosessien ja ohjauslogiikan mallinnuksessa. Toiminnan oikeellisuutta on tarkistettu toisaalta yksinkertaisella ohjelmalla, joka generoi j{\"a}rjestelm{\"a}n saavutettavuusgraafin, toisaalta pyrkim{\"a}ll{\"a} visualisoimaan j{\"a}rjestelm{\"a}n toimintaa. Esimerkeiss{\"a} k{\"a}ytetty ohjelmisto on toteutettu Prolog-ohjelmointikielell{\"a}, jolla on my{\"o}s kuvattu tarkasteltavat j{\"a}rjestelm{\"a}t. Raportin perustarkoitus on tarkastella prosessilaitoksen ohjausongelmaa, korostaa tapahtumapohjaisen ohjauksen osuutta ja esitell{\"a} er{\"a}st{\"a} tiet{\"a}mystekniikan tarjoamaa mahdollisuutta tukea tapahtumapohjaisen ohjauksen suunnittelua.",
keywords = "automation, process control, qualitative modelling, verification",
author = "Heikki V{\"a}lisuo",
year = "1991",
language = "Finnish",
isbn = "951-38-4003-4",
series = "Valtion teknillinen tutkimuskeskus. Tiedotteita",
publisher = "VTT Technical Research Centre of Finland",
number = "1270",
address = "Finland",
}