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

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


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 (
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

IJPLA 2022   International Journal of Programming Languages and Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
RTEST 2022   The 4th CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST)
FMCAD 2022   Formal Methods in Computer-Aided Design
RTNS 2022   International Conference on Real-Time Networks and Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
IWCPS 2022   9th International Workshop on Cyber-Physical Systems
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
DS-RT 2022   IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
ECRTS 2022   34th Euromicro Conference on Real-Time Systems