1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS (CORCS 2008)

GOAL OF THE WORKSHOP

The aim of this workshop is to discuss but also advance the state-of-the-art, research and development in the area of resource constrained 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 constrained 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 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 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-constrained systems that fulfill these requirements.

SCOPE OF THE WORKSHOP

Any submission whose content is relevant to the area of resource-constrained system design will be considered, but submission whose subject matter is related to one of the following topics will be particularly welcome:

• Models for software components and component interaction: real-time, safety-critical, embedded, or mobile systems
• Specification of extra-functional properties of components
• Resource models
• Formal techniques for verification and validation of component software: model-checking, abstraction, refinement, code synthesis, testing, monitoring, debugging, model extraction
• Compositional theories
• Execution platform mechanisms
• Scheduling and resource management
• Componentization of legacy code
• Impact analysis
• Service oriented architectures
• Certification of components and software architectures
• Applications, experience reports and case studies in component software
• System-on-Chip (SoC)/Networks-on-Chip (NoC)/Multi-processor System-on-Chip (MPSoC) component-based design 
• Component-driven hardware-software co-design