Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Real-Time

Date of this Version



3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), San Diego, CA, Nov 2010

© ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PACM SIGBED Review Volume 8 Issue 1, March 2011. ACM New York, NY, USA


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



Date Posted: 26 April 2011

This document has been peer reviewed.