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 2011Abstract:
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.
DOI:10.1145/1967021.1967029.
Record Date: 14, May, 2014
Short links for this page: www.cister.isep.pt/docs/10_1145_1967021_1967029 www.cister.isep.pt/docs/cister_tr_140517 www.cister.isep.pt/docs/888