Date of this Version
Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, and Oleg Sokolsky, "CARTS: A Tool for Compositional Analysis of Real-Time Systems", ACM SIGBED Review 8(1), 62-63. November 2010. http://dx.doi.org/10.1145/1967021.1967029
This paper demonstrates CARTS, a compositional analysis tool for real-time systems. We presented an overview of the underlying theoretical foundation and the architecture design of the tool. CARTS is open source and available for free download at http://rtg.cis.upenn.edu/carts/.
ACM SIGBED Review
© ACM 2011. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM SIGBED Review, http://dx.doi.org/10.1145/1967021.1967029.
Date Posted: 26 April 2011
This document has been peer reviewed.