ICU: A tool for Identifying State Coding Conflicts using STG unfoldings
- Lookup NU author(s)
- Agnes Madalinski
- Dr Alex Bystrov
- Professor Alex Yakovlev
|
|
|
|
| Author(s) | | Madalinski A, Bystrov A, Yakovlev A |
| Publication type | | Report |
| Series Title | | Department of Computing Science Technical Report Series |
| Year | | 2002 |
| Date | | December 2002 |
| Report Number | | 773 |
| Pages | | 20 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| State coding conflict detection is a fundamental part of the synthesis of asynchronous concurrent systems from their Signal Transition Graph (STG) specifications. This paper presents the extension of the method proposed earlier, the identification of state coding conflicts in STGs which is intended to work within a synthesis framework based on STG unfoldings. This approach has been implemented as a software tool using refined algorithms. A necessary condition detects state coding conflicts by using an approximate state covering approach. Being computationally efficient, this algorithm may generate false alarms. Thus a refinement technique is applied based on partial construction of the state space with extra computational cost. The experimental results demonstrating the efficiency of this approach are presented. |
|
|
|
| Institution | | Department of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| URL | | http://www.cs.ncl.ac.uk/publications/trs/papers/773.pdf |
| Actions | |  |
