Show simple item record

2005-07-06Buch DOI: 10.18452/2450
Hazard Detection in a GALS Wrapper: a Case study
dc.contributor.authorStahl, Christian
dc.contributor.authorReisig, Wolfgang
dc.contributor.authorKrstić, Miloš
dc.date.accessioned2017-06-15T17:07:46Z
dc.date.available2017-06-15T17:07:46Z
dc.date.created2005-07-06
dc.date.issued2005-07-06
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3102
dc.description.abstractAn asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in a gate is reduced to a model checking problem: the reachability of a particular marking in the Petri net. In order to alleviate state space explosion three techniques to reduce the model’s state space are presented. By use of these techniques we detected several potential hazards in the wrapper.eng
dc.language.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.titleHazard Detection in a GALS Wrapper: a Case study
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10043243
dc.identifier.doihttp://dx.doi.org/10.18452/2450
local.edoc.pages10
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year2005
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber2005,184

Show simple item record