Abstract
We present a toolset for design and verification of Globally Asynchronous Locally Synchronous(GALS) systems. Such systems consist of a network of reactive nodes which have independent clocks and I/O interfaces, and communicate using complex synchronisation mechanisms. GALS systems are gaining prevalence in avionics, embedded systems, and VLSI design. These systems are difficult to design and verify due to the concurrency and complex interaction involved.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Berry, G.: The constructive semantics of pure esterel. In: Book Draft, version 3 (July 1999)
Berry, G., Ramesh, S., Shyamasundar, R.K.: Communicating reactive processes. In: Twentieth Symposium on Principles of Programming Languages (1993)
Ganapathy, V., Ramesh, S.: Slicing synchronous reactive programs. In: Synchronous Languages, Applications, and Programming, Grenoble, France (April 2002)
Holzmann, G.J.: The model checker SPIN. Software Engineering 23(5), 279–295 (1997)
Naveen Chandra, R.: Verification of communicating reactive state machines. M.Tech dissertation, Department of Computer Science and Engineering, IIT Bombay (2002)
Ramesh, S.: Communicating reactive state machines: Design, model and implementation. In: IFAC Workshop on Distributed Computer Control Systems (September 1998)
Ramesh, S.: Implementation of communicating reactive processes. Parallel Computing 25(6), 703–727 (1999)
Ramesh, S., Shetty, C.M.: Impossibility of synchronization in the presence of preemption. Parallel Processing Letters 8(1), 111–120 (1998)
Sonalkar, S.: Compositional verification of communicating reactive state machines. Master’s thesis, Indian Institute of Technology Bombay (January 2004)
Vijayalakshmi, B.: Verification of communicating reactive state machines. M.Tech dissertation, IIT Bombay, School of Information Technology (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramesh, S., Sonalkar, S., D’silva, V., Chandra R., N., Vijayalakshmi, B. (2004). A Toolset for Modelling and Verification of GALS Systems. In: Alur, R., Peled, D.A. (eds) Computer Aided Verification. CAV 2004. Lecture Notes in Computer Science, vol 3114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27813-9_47
Download citation
DOI: https://doi.org/10.1007/978-3-540-27813-9_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22342-9
Online ISBN: 978-3-540-27813-9
eBook Packages: Springer Book Archive