Welcome to CRTS 2009!
Welcome to the second Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS). This workshop (CRTS 2009) provides a forum for researchers and technologists to discuss the state-of-the-art, present their work and contributions, and set future directions in compositional technology for real-time embedded systems. The technical program of CRTS 2009 will consist of invited talks and paper presentations. CRTS 2009 will be held in conjunction with IEEE RTSS 2009 at Washington, D.C., USA, on December 1, 2009.
- Oct 28, 2009: Preliminary program is available
- New Submission deadline is October 2, 2009: final extension
- September 9, 2009: Submission deadline is extended to September 25, 2009
- August 15, 2009: Submission site is now open (Link)
- June 1, 2009: Workshop website is available
Focus of CRTS 2009
The increasing complexity of real-time embedded systems demands advanced methodologies that can facilitate their design and analysis, while assuring correctness, real-time, and performance requirements. Promising is a paradigm of compositional theories and technologies that allows for the decomposition of a complex system into simpler pieces (components), as well as the integration of individual components to achieve system functions collectively, while preserving the principle of compositionality, i.e., the system-level (global) property can be established from composing component-level (local) properties, and/or composability, i.e., the properties established and validated for components in isolation hold also after the components are assembled into the system. Such a composition paradigm calls for new component concepts and composition mechanisms that can support various key characteristics of real-time embedded systems, such as timeliness, safety, security, quality of service, and adaptability.