Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

ICU: A tool for Identifying State Coding Conflicts using STG unfoldings

Lookup NU author(s): Agnes Madalinski, Dr Alex Bystrov, Professor Alex YakovlevORCiD

Downloads

Abstract

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.

Publication metadata

Author(s): Madalinski A, Bystrov A, Yakovlev A

Publication type: Report

Publication status: Published

Series Title:

Year: 2002

Source Publication Date: 01-12-2002

Report Number: CS-TR-773

Institution: School of Computing Science

Place Published: University of Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/abstract/773

Share