posted by user: mpstew || 5746 views || tracked by 10 users: [display]

CRTS 2011 : 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

FacebookTwitterLinkedInGoogle

Link: https://www.softconf.com/c/crts2011/
 
When Nov 29, 2011 - Nov 29, 2011
Where Vienna, Austria
Submission Deadline Sep 16, 2011
Notification Due Oct 14, 2011
Categories    embedded systems   formal methods   distributed systems   verification
 

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.

Related Resources

RTSS 2025   46th IEEE Real-Time Systems Symposium
RV 2025   25th International Conference on Runtime Verification
IJCTCM 2025   International Journal of Control Theory and Computer Modelling
ISORC 2025   International Symposium on Real-Time Distributed Computing
RTNS 2025   33rd International Conference on Real-Time Networks and Systems
IEEE ICITES 2025   IEEE--2025 5th International Conference on Intelligent Technology and Embedded Systems (ICITES 2025)
DIKW 2025   The 5th IEEE International Conference on Data, Information, Knowledge, and Wisdom
RT-Cloud 2025   Fourth International Workshop on Real-Time and Cyber-Physical Cloud
IEEE ICFSP 2025   IEEE--2025 10th International Conference on Frontiers of Signal Processing (ICFSP 2025)
IEEE RTCSA 2025   The 31st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications