Timed Behavioral Specification in Globally Asynchronous Locally Synchronous systems

Yu Tonglan (University of South China)
Liu Jie (University of South China)
Zhang Juan (University of South China)
Wu Qujing (University of South China)

Indonesian Journal of Electrical Engineering and Computer Science
Vol 11, No 9: September 2013

In this paper, we propose a PolGALS language for safety critical GALS(Globally Asynchronous Locally Synchronous) systems. The formal syntax and semantics are given and its compilation and implementation are defined. The language is based on timed CSP(communicating sequential process) style rendezvous between clock domains, aiming at modelling the timed behavioral of safety critical GALS systems. PolGALS is used to design timed behavioral pattern to implement timing requirements, e.g. delay, timeout, deadline, timed interrupt,etc. PolGALS provides a mechanism for implementation of timed behavioral pattern and potential for their formal verification because it is based on a PolGALS model of computation and its formal semantics. DOI: http://dx.doi.org/10.11591/telkomnika.v11i9.3257