search query: @keyword Petri nets / total: 10
reference: 8 / 10
Author: | Tynjälä, Teemu |
Title: | Reachability-based verification of DSS1 protocol |
DSSI protokollan saavutettavuusanalyysiin perustuva verifiointi | |
Publication type: | Master's thesis |
Publication year: | 1998 |
Pages: | 71 Language: eng |
Department/School: | Tietotekniikan osasto |
Main subject: | Digitaalitekniikka (Tik-79) |
Supervisor: | Ojala, Leo |
Instructor: | Husberg, Nisse |
Digitized copy: | https://aaltodoc.aalto.fi/handle/123456789/86508 |
OEVS: | Digitized archive copy is available in Aaltodoc
|
Location: | P1 Ark T80 | Archive |
Keywords: | DSSI ISDN Petri Nets PROD protocol verification reachability analysis SDL Petri Nets static priorities DSSI ISDN SDL Petri verkot protokollien verifiointi saavutettavuusanalyysi staattiset prioriteetit |
Abstract (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 record number: 13870
+ add basket
INSSI