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/.
Phan, Linh T.X.; Lee, Jaewoo; Easwaran, Arvind; Ramaswamy, Vinay; Chen, Sanjian; Lee, Insup; and Sokolsky, Oleg, "CARTS: A Tool for Compositional Analysis of Real-Time Systems" (2010). Departmental Papers (CIS). Paper 459.
Date Posted: 26 April 2011
This document has been peer reviewed.