CRTS 2013 - 6th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS)

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.
Topics of interest to CRTS include
(but are not limited to):
Composition of single processor, multiprocessor, and distributed systems
Composition of multi‐criticality and multi‐mode systems
Composition of policies, services, and system layers
Composition of validation and verification techniques
Interface models, interface theories, and integration techniques for real‐time components
Compositional schedulability analysis, execution time analysis, and performance analysis
Compositional formal methods
Tradeoffs between optimality, associativity, and complexity in compositional theory
Practical issues in composition including performance penalties and overheads
Experimental and implementation frameworks for compositional theory
Decomposition of requirements for component‐based development