Login
HomePublicationsJournal Paper

CARTS: a tool for compositional analysis of real-time systems
Ref: CISTER-TR-140517       Publication Date: Mar 2011

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

Ref: CISTER-TR-140517       Publication Date: Mar 2011

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.

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


Published in ACM SIGBED Review, ACM, Volume 8, Issue 1, pp 62-63.

DOI:10.1145/1967021.1967029.



Record Date: 14, May, 2014