Topics 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. Component-based design and analysis. Interface models, interface theories, and integration techniques for real-time components. Compositional schedulability analysis, execution time analysis, and performance analysis. Compositional formal methods. Hardware/software architectures for composable systems. Trade-offs 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. Policing of non-CPU resources (e.g. resources in the memory system).