Phan, Linh T.X.Lee, JaewooEaswaran, ArvindRamaswamy, VinayChen, SanjianLee, InsupSokolsky, Oleg2023-05-222023-05-222010-11-012011-04-22https://repository.upenn.edu/handle/20.500.14332/6512This 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/.© 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.CPS Real-TimePresentation