GALS包装中的危险检测:案例研究

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) Pub Date : 2005-06-07 DOI:10.1109/ACSD.2005.20

C. Stahl, W. Reisig, M. Krstic

{"title":"GALS包装中的危险检测:案例研究","authors":"C. Stahl, W. Reisig, M. Krstic","doi":"10.1109/ACSD.2005.20","DOIUrl":null,"url":null,"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.","PeriodicalId":279517,"journal":{"name":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":"{\"title\":\"Hazard detection in a GALS wrapper: a case study\",\"authors\":\"C. Stahl, W. Reisig, M. Krstic\",\"doi\":\"10.1109/ACSD.2005.20\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":279517,\"journal\":{\"name\":\"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-06-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"22\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2005.20\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2005.20","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 22

摘要

对一种装配式GALS系统的异步封装进行了危害分析。为此，提出了一种基于Petri网的GALS包装器建模方法。在我们的模型中，门是否会发生危险的问题被简化为一个模型检查问题:Petri网中特定标记的可达性。为了缓解状态空间爆炸，提出了两种减小模型状态空间的技术。通过使用这些技术，我们检测到包装器中的几个潜在危险和死锁。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Hazard detection in a GALS wrapper: a case study

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量