Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1141.pdf
