Dissemin is shutting down on January 1st, 2025

Published in

Fifth International Conference on Application of Concurrency to System Design (ACSD'05)

DOI: 10.1109/acsd.2005.20

Links

Tools

Export citation

Search in Google Scholar

Hazard detection in a GALS wrapper: A case study

Proceedings article published in 2005 by C. Stahl, W. Reisig, M. Krstic ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Upload
Green circle
Postprint: archiving allowed
Upload
Red circle
Published version: archiving forbidden
Policy details
Data provided by SHERPA/RoMEO

Abstract

An 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 two techniques to reduce the model's state space are presented. By use of these techniques we detected several potential hazards and a deadlock in the wrapper.