Paper Info
Title
Modeling CHP descriptions in labeled transitions systems for an efficient formal validation of asynchronous circuit specifications
Abstract
This work addresses the analysis and validation of CHP specifications for asynchronous circuits, using property verification tools. CHP semantics, initially given in terms of Petri Nets, are reformulated as labeled transition systems. Circuit specifications are translated into an intermediate format (IF) based on communicating extended finite state machines. They are then validated using the IF environment, which provides model checking and bi-simulation tools. The direct translation must be optimized to delay state explosion. Performance studies are reported.
Year
DOI
Venue
2003
10.1007/1-4020-7991-5_18
Forum on specification & Design Languages
Keywords
Field
DocType
petri nets,intermediate format,chp specification,transitions system,direct translation,asynchronous circuit,circuit specification,modeling chp description,chp semantics,state explosion,asynchronous circuit specification,efficient formal validation,extended finite state machine,bi-simulation tool
Asynchronous communication,Petri net,Model checking,Programming language,Computer science,Smart card,Finite-state machine,Electronic circuit,Asynchronous circuit,Semantics,Embedded system
Conference
ISBN
Citations 
PageRank 
1-4020-7990-7
2
0.38
References 
Authors
8
5
Name
Order
Citations
PageRank
Dominique Borrione120.38
Dominique Borrione229144.79
Laurent Mounier3118779.54
Antoine Sirianni460.83
Marc Renaudin549849.15