Toiminnallinen verifiointi prosessiautomaatiossa

Heikki Välisuo

Research output: Book/ReportReport

Abstract

Tutkimuksessa tarkastellaan automatiikkojen, erityisesti ohjaussekvenssien toiminnallista verifiointia. Esitettävän menetelmän perusajatus on kuvata samalla formalismilla sekä automatiikan toiminnallinen määrittely että ohjattavan laitoksen toiminnalliset ominaisuudet ja tarkistaa, että näin saatu kokonaisjärjestelmän kuvaus vastaa toiminnallisilta ominaisuuksiltaan annettuja vaatimuksia. Ohjattavan laitoksen jatkuva-aikaisten ilmiöiden kuvaamiseen on sovellettu ns. kvalitatiivista mallitueta. Raportin pääpaino on prosessien ja ohjauslogiikan mallinnuksessa. Toiminnan oikeellisuutta on tarkistettu toisaalta yksinkertaisella ohjelmalla, joka generoi järjestelmän saavutettavuusgraafin, toisaalta pyrkimällä visualisoimaan järjestelmän toimintaa. Esimerkeissä käytetty ohjelmisto on toteutettu Prolog-ohjelmointikielellä, jolla on myös kuvattu tarkasteltavat järjestelmät. Raportin perustarkoitus on tarkastella prosessilaitoksen ohjausongelmaa, korostaa tapahtumapohjaisen ohjauksen osuutta ja esitellä erästä tietämystekniikan tarjoamaa mahdollisuutta tukea tapahtumapohjaisen ohjauksen suunnittelua.
Original languageFinnish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages60
ISBN (Print)951-38-4003-4
Publication statusPublished - 1991
MoE publication typeNot Eligible

Publication series

SeriesValtion teknillinen tutkimuskeskus. Tiedotteita
Number1270
ISSN0358-5085

Keywords

  • automation
  • process control
  • qualitative modelling
  • verification

Cite this

Välisuo, H. (1991). Toiminnallinen verifiointi prosessiautomaatiossa. VTT Technical Research Centre of Finland. Valtion teknillinen tutkimuskeskus. Tiedotteita, No. 1270