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

ELLAK 2027   “Pacing Worlds: Speed and Literature” 2027 International Conference
IEEE ICARA 2027   IEEE--2027 The 13th International Conference on Automation, Robotics and Applications (ICARA 2027)
REAL CORP 2027   REAL CORP 2027 - FREEDOM OF PLANNING – SOLIDARITY IN ACTION Driving Urban Innovation, Resilience, and Housing Equity
AI-SEC 2027   The 3rd International Workshop on Artificial Intelligence for Cybersecurity
REAL CORP 2027   REAL CORP 2027 - FREEDOM OF PLANNING – SOLIDARITY IN ACTION Driving Urban Innovation, Resilience, and Housing Equity
ICSSS 2027   2027 International Conference on System Safety and Security (ICSSS 2027)
IEEE EEIT 2027   IEEE--2027 The 5th International Conference on Engineering Education and Information Technology (EEIT 2027)
FSOFT 2027   The Second International Conference on Software Lifecycle using Digital and Artificial Intelligence Paradigms
ACM ICBCT 2027   ACM--2027 7th International Conference on Blockchain Technology (ICBCT 2027)
ICEIT 2027   IEEE--2027 the 16th International Conference on Educational and Information Technology (ICEIT 2027)