posted by user: mpstew || 6507 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

ICNST 2026   2026 the 9th International Conference on Nanoscience and Technology (ICNST 2026)
BDML 2026   7th International Conference on Big Data and Machine Learning
ICMIS 2026   2026 4th International Conference on Management Information System (ICMIS 2026)
IJANS 2026   International Journal on AdHoc Networking Systems
ICISPP 2026   2026 7th International Conference on Information Security and Privacy Protection (ICISPP 2026)
ISPDC 2026   The 25th International Symposium on Parallel and Distributed Computing
IEEE ICSIP 2026   IEEE--2026 11th International Conference on Signal and Image Processing (ICSIP 2026)
IJITCA 2026   International Journal of Information Technology, Control and Automation
DSDE 2026   ACM--2026 The 9th International Conference on Data Storage and Data Engineering (DSDE 2026)
ICBDR 2026   ACM--2026 The 7th International Conference on Big Data Research (ICBDR 2026)