T. Kärkkäinen
Kurssi: Formaalit menetelmät 2002
Harjoitus 7: Ag B212.1 14-16

Tehtävä 1

1. Muodosta turvahälyttimen tilansiirtokaavio ja lisää siihen kahta eri testaustapausta vastaavat todennäköisyysskenaariot järjestelmän käyttäytymiselle.

2. Hahmottele oliototeutus tila-automaatin ja siihen liittyvän tilansiirtokaavion realisoimiseksi. Miten tilansiirtotodennäköisyydet voidaan ottaa toteutuksessa huomioon ja miten tilasiirtymä annettujen todennäköisyyksien mukaisesti voitaisiin realisoida?