Automaatiojärjestelmien käyttövarmuusanalyysi

Tutkimuksessa on kehitetty tietokoneelle soveltuva menetelmä suurten hajautettujen ja hierarkkisten automaatiojärjestelmien käyttövarmuusominaisuuksien tutkimista ja analysointia varten. Menetelmä soveltuu myös staattisten, tehtäväorientoitujen järjestelmien käyttövarmuuden tutkimiseen. Menetelmän lähtökohtana on automaatiojärjestelmän fyysisen rakenteen dynaaminen jakaminen esim. erilaisiin säätötehtäviin, jotka voivat koostua yhdestä tai useammasta säätöpiiristä. Järjestelmärakenteelle on kehitetty uusi dynaaminen esitysmuoto, ns. kytkentäesitys. Järjestelmärakenteen esitysmuotoa kehitettäessä on lähtökohtana ollut rakenteen dynaamisuus ja mahdollisuus erilaisten tehtäväkokonaisuuksien muodostamiseen ja järjestelmän osien yhdistelemiseen halutulla tavalla. Tälle esitysmuodolle on kehitetty algoritmit toimintaverkon muodostamista ja minimikatkosjoukkojen hakua varten. Luotettavuuden, käytettävyyden ja komponenttien tärkeysmittojen laskeminen perustuvat järjestelmästä haettujen minimikatkosjoukkojen käyttöön. Käyttövarmuuden määrittämistä on tutkittu sekä automaatiojärjestelmän että ohjattavan prosessin näkökulmasta. Toimintaverkon muodostamiseen ja minimikatkosjoukkojen hakemiseen kehitetyt algoritmit on automatisoitu RELVEC-nimisessä tietokoneohjelmassa