| |||||||||||||
CRTS 2011 : 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems | |||||||||||||
Link: https://www.softconf.com/c/crts2011/ | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
In conjunction with RTSS2011 (http://www.rtss.org/)
The 32nd IEEE Real-Time Systems Symposium November 29th - December 2nd, 2011, Vienna, Austria Topics of interest: The increasing complexity of real-time embedded systems requires advanced methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real-time behaviour, and performance are met. Compositional theories and technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity. A system is said to be composable if the properties established and validated for components in isolation hold once the components are integrated to form the system. |
|