Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards Efficient Synthesis of ENL-systems

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta Koutny



An attractive and challenging way of constructing complex computing systems is their automated synthesis from a range of behavioural specifications. In this paper, we explore one particular instance of this approach which aims at constructing a GALS (globally asynchronous locally synchronous) system from its behavioural specification given in terms of a suitable transition system. More precisely, the specification comes in the form of a transition system with arcs labelled by sets of events (steps), and the GALS system is represented by an Elementary Net System with Localities (ENL-system). Our aim here is to provide theoretical support for an efficient synthesis procedure, in particular, when it is not specified at the outset how the events are located. The synthesis procedure is based on the regions of a transition system, and we address the issue of generating a minimal set of such regions during the synthesis procedure. We introduce and study a special class of ENL-systems where there is no conflict between events coming from different localities. It turns out that in such a case the synthesis problem reduces to checking just one way of locating the events.

Publication metadata

Author(s): Koutny M, Pietkiewicz-Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2009

Pages: 18

Print publication date: 01/03/2009

Source Publication Date: March 2009

Report Number: 1141

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne