CARTS: a tool for compositional analysis of real-time systems

  • Authors:
  • Linh T. X. Phan;Jaewoo Lee;Arvind Easwaran;Vinay Ramaswamy;Sanjian Chen;Insup Lee;Oleg Sokolsky

  • Affiliations:
  • University of Pennsylvania;University of Pennsylvania;University of Pennsylvania;University of Pennsylvania;University of Pennsylvania;University of Pennsylvania;University of Pennsylvania

  • Venue:
  • ACM SIGBED Review
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

As real-time embedded systems are increasingly complex, integration becomes a great challenge in their design and development. Managing complexity of the system design is therefore essential for high-assurance and cost-effective development. Component-based design has consequently been developed and gained its importance over the years as a powerful technique for complexity management. In this design paradigm, a large complex system is first decomposed into smaller and simpler components - which are developed independently - before recomposing them into a complete system using interfaces that abstract away their internal complexities.