Date of this Version
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/.
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", . November 2010.
Date Posted: 26 April 2011
This document has been peer reviewed.