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

DSML 2024   5th International Conference on Data Science and Machine Learning
IJPLA 2024   International Journal of Programming Languages and Applications
ISORC 2025   International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
RTSS 2024   45th IEEE Real-Time Systems Symposium
OPODIS 2024   International Conference on Principles of Distributed Systems
RTIS 2024   Sixth International Conference on Real-Time Intelligent Systems
SBMF 2024   27th Brazilian Symposium on Formal Methods
SIGEM 2024   10th International Conference on Signal, Image Processing and Embedded Systems
FMAS 2024   Sixth International Workshop on Formal Methods for Autonomous Systems