Reachability-based verification of DSS1 protocol

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorHusberg, Nisse 
dc.contributor.authorTynjälä, Teemu
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2020-12-03T22:55:46Z
dc.date.available2020-12-03T22:55:46Z
dc.date.issued1998 
dc.description.abstractTutkimus 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.fi
dc.format.extent71 
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/86508
dc.identifier.urnURN:NBN:fi:aalto-2020120445346
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelopenAccess
dc.subject.keywordDSSIen
dc.subject.keywordDSSIfi
dc.subject.keywordISDNen
dc.subject.keywordISDNfi
dc.subject.keywordPetri Netsen
dc.subject.keywordSDLfi
dc.subject.keywordPRODen
dc.subject.keywordPetri verkotfi
dc.subject.keywordprotocol verificationen
dc.subject.keywordprotokollien verifiointifi
dc.subject.keywordreachability analysisen
dc.subject.keywordsaavutettavuusanalyysifi
dc.subject.keywordSDL Petri Netsen
dc.subject.keywordstaattiset prioriteetitfi
dc.subject.keywordstatic prioritiesen
dc.titleReachability-based verification of DSS1 protocolen
dc.titleDSSI protokollan saavutettavuusanalyysiin perustuva verifiointifi
dc.type.okmG2 Pro gradu, diplomityö 
dc.type.ontasotMaster's thesisen
dc.type.ontasotPro gradu -tutkielmafi
dc.type.publicationmasterThesis 
local.aalto.digiauthyes
local.aalto.digifolderAalto_39396
local.aalto.idinssi13870
local.aalto.inssilocationP1 Ark T80
local.aalto.openaccessyes

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
master_Tynjälä_Teemu_1998.pdf
Size:
30.27 MB
Format:
Adobe Portable Document Format
Download

Collections

[dipl] Teknillinen korkeakoulu / TKK