Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Real-Time

Date of this Version

11-2010

Comments

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 http://doi.acm.org/10.1145/1967021.1967029

Abstract

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/.

Share

COinS
 

Date Posted: 26 April 2011

This document has been peer reviewed.