Departmental Papers (CIS)

Date of this Version

11-2010

Document Type

Conference Paper

Comments

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

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

Subject Area

CPS Real-Time

Publication Title

ACM SIGBED Review

Volume

8

Issue

1

First Page

62

Last Page

63

DOI

10.1145/1967021.1967029

Permission Statement

© ACM 2011. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM SIGBED Review, http://dx.doi.org/10.1145/1967021.1967029.

Share

COinS
 

Date Posted: 26 April 2011

This document has been peer reviewed.