Lookup NU author(s): Professor Alex Yakovlev,
Dr Fei Xia
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Yakovlev A, Xia F
Editor(s): B. Caillaud, P. Darondeau, L. Lavagno and X. Xie
Publication type: Book Chapter
Publication status: Published
Book Title: Synthesis and Control of Discrete Event Systems
Publisher: Kluwer Academic Publishers
Place Published: London
Notes: This chapter (and its ASYNC 2001 conference precursor) pioneers the automatic synthesis of communication mechanisms for real-time networks, previously developed manually with a painstaking process of checking their correctness. The problem originates from an EPSRC project (GR/L93775, assessed as “outstanding”), involving collaboration with MBDA Ltd. This method also improves the performance of buffers for globally asynchronous locally synchronous (GALS) systems (cf. work at Philips Research Labs, Dr. Joep Kessels, email@example.com). The impact of this methodology on industrial and academic research is evident via continued interest in this research from MBDA, investigations in UPC Barcelona, IRISA Rennes.
Library holdings: Search Newcastle University Library for this item