CORCS 2014 - 5th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems

ny submission whose content is relevant to the area of resource-aware system design will be considered, but any submission whose subject matter is related to one of the following topics will be particularly welcome:
? Modeling and Specifying Resource-aware Systems
- models for software components and component interaction: real-time, safety-critical, embedded, or mobile systems
- specification of extra-functional properties of components
- resource models
- componentization of legacy code
- certification of components and software architectures
- service-oriented architectures
? Analysis Techniques
- formal techniques for verification and validation of component software: model-checking, abstraction, code synthesis, testing, monitoring, debugging, model extraction
- static analysis techniques
- compositional theories of refinement
- resource-usage impact on quality of service (QoS) attributes
? Platform-aware Design
- run-time mechanisms and middleware
- scheduling and resource management
- component-driven hardware-software co-design
? Tools and Case-studies
- applications, experience reports and case studies in component software
- tools for resource-constrained system development