Call for paper 〔OPEN〕

My submissions

〔CLOSED〕
Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

The increasing complexity of real-time embedded systems requires advanced platforms and methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real-time behavior, 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.

Call for paper

Submission Topics

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).
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Dec 02

    2014

    Conference Date

  • Dec 02 2014

    Registration deadline

Sponsored By
IEEE Computer Society
Contact Information
Login to view full contact details
Previous Conferences