ScholarlyCommons: Repository

Title

CARTS: A Tool for Compositional Analysis of Real-Time Systems

Author(s)

Linh T.X. Phan, University of PennsylvaniaFollow
Jaewoo Lee, University of PennsylvaniaFollow
Arvind Easwaran, University of PennsylvaniaFollow
Vinay Ramaswamy, University of PennsylvaniaFollow
Sanjian Chen, University of PennsylvaniaFollow
Insup Lee, University of PennsylvaniaFollow
Oleg Sokolsky, University of PennsylvaniaFollow

Document Type

Conference Paper

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