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

RTAS 2021   27th IEEE Real-Time and Embedded Technology and Applications Symposium
ICDCS 2021   International Conference on Distributed Computing Systems
NG-RES 2021   Workshop on Next Generation Real-Time Embedded Systems
CAV 2021   33rd International Conference on Computer-Aided Verification
IWCPS 2020   7th International Workshop on Cyber-Physical Systems
SPTM 2021   9th International Conference of Security, Privacy and Trust Management
SBESC 2020   X Brazilian Symposium on Computing Systems Engineering
IJDPS 2020   International Journal of Distributed and Parallel systems
Fintech 2020   Sustainaility (Q2): Fintech: Recent Advancements in Modern Techniques, Methods and Real-World Solutions
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core