CORCS 2011 - CORCS 2011: The 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems

Website compsac.cs.iastate.edu | Edit Freely

Category CORCS 2011

Deadline: March 15, 2011 | Date: July 18, 2011-July 22, 2011

Venue/Country: Munich, Germany

Updated: 2011-03-01 18:22:17 (GMT+9)

Call For Papers - CFP

Held in conjunction with COMPSAC, the IEEE Signature Conference on Computers, Software, and Applications. COMPSAC 2011 will be held in Munich, Germany, July 18-22.

GOAL OF THE WORKSHOP

The aim of this workshop is to discuss and advance the state-of-the-art, research and development in the area of resource aware systems, and to promote the study of both fundamental and practical aspects of component based design of such systems. The workshop addresses researchers from different disciplines in academia and industry, as well as practitioners, who share interests in resource aware system design. The focus will be on techniques and experiences drawn from current component-based system design practice, as well as on emergent topics.

THEME AND SCOPE OF THE WORKSHOP

The category of resource-constrained systems encompasses a broad range of systems, from very simple and heavily resource-constrained systems to complex resource-aware distributed systems. Such systems should be customizable, easy to use, upgrade and maintain. A time-tested way to build diverse systems with these desirable attributes at low cost is through componentization and reuse: building systems by integrating configurable and evolvable components in a systematic way. The latter creates the need for models and associated rules to guide componentization, frameworks for system integration, and techniques for verification and validation of component-based design and implementation. The component-based techniques should cover systems having minimal resource requirements, yet be usable on all ranges of resource-aware systems that fulfill these requirements.

Any 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

IMPORTANT DATES

March 15, 2011 : Workshop paper submission

April 8, 2011 : Workshop paper author notification

April 30, 2011 : Camera-ready & author registration