Call for Papers for the 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'09).
This event is held in conjunction with the 30th IEEE Real-Time Systems Symposium (RTSS'09) and it will take place in Washington, D.C., USA on 1-4 December 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 principles of compositionality: the system-level (global) property can be established from composing component-level (local) properties, and composability: the properties established and validated for components in isolation hold also after the components are assembled into the system.
Paper Submission Deadline : September 15, 2009
For further information please visit http://cps.kaist.ac.kr/crts2009/
|
|
