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 systemsRef: CISTER-TR-140517 Publication Date: Mar 2011
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.
Published in ACM SIGBED Review, ACM, Volume 8, Issue 1, pp 62-63.