haku: @keyword reachability analysis / yhteensä: 13
viite: 5 / 13
| Tekijä: | Tynjälä, Teemu |
| Työn nimi: | Reachability-based verification of DSS1 protocol |
| DSSI protokollan saavutettavuusanalyysiin perustuva verifiointi | |
| Julkaisutyyppi: | Diplomityö |
| Julkaisuvuosi: | 1998 |
| Sivut: | 71 Kieli: eng |
| Koulu/Laitos/Osasto: | Tietotekniikan osasto |
| Oppiaine: | Digitaalitekniikka (Tik-79) |
| Valvoja: | Ojala, Leo |
| Ohjaaja: | Husberg, Nisse |
| Digitoitu julkaisu: | https://aaltodoc.aalto.fi/handle/123456789/86508 |
| OEVS: | Digitoitu arkistokappale on julkaistu Aaltodocissa
|
| Sijainti: | P1 Ark T80 | Arkisto |
| Avainsanat: | DSSI ISDN Petri Nets PROD protocol verification reachability analysis SDL Petri Nets static priorities DSSI ISDN SDL Petri verkot protokollien verifiointi saavutettavuusanalyysi staattiset prioriteetit |
| Tiivistelmä (fin): | Tutkimus rinnakkaisten ja hajautettujen järjestelmien alalla on tuottanut useita formalismeja, joita voidaan käyttää suurien järjestelmien verifioinnissa. Tässä työssä esitetään DSS1 protokollan Petri verkkojen käyttöön perustuva mallitus ja analyysi. Työssä on kehitetty käytännön menetelmiä signalointikanavien, ajastimien, siirtovirheiden ja ylemmän protokollakerroksen primitiivien mallintamiseen Petri verkkojen avulla. Työssä on erityisesti keskitytty staattisten prioriteettien hyväksikäyttöön saavutettavuusgraafin generoinnin helpottamiseksi. Protokollan määrityksestä löytyi kolme virhettä, jotka esitetään korjauksineen työn lopussa. |
| ED: | 1999-02-02 |
INSSI tietueen numero: 13870
+ lisää koriin
INSSI