CORCS Workshop

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

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 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 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.

Scope of the Workshop:

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
  • architecture description languages for resource-aware systems
  • service-oriented architectures

Analysis Techniques

  • formal techniques for verification and validation of component software: model-checking, abstraction, code synthesis, model-based 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

Workshop Paper Submission

Workshop papers are limited to 6 pages. Up to 2 additional pages (for a total of 8 pages) will be available for $250 per additional page charge. Camera ready submissions of accepted papers must follow the formatting and submission guidelines provided by IEEE Computer Society at

Policy for Authors Submitting Multiple Papers

Main Conference papers:
An author can have at most three accepted papers in the main conference including full (regular) (no more than 2), short and special-session papers, excluding Doctoral Symposium and Poster papers. EACH accepted paper for the Main Conference must be registered separately, by paying one FULL registration fee per accepted paper. In case of multiple authors, each author must pay FULL registration fee to attend the conference with an individual name badge. Discounted student registration fee only applies to Doctoral Symposium papers.

Doctoral Symposium papers:
Each accepted Doctoral Symposium paper must have a student as the sole or first author and pay a discounted student registration fee for a student name badge, perhaps with a reduced set of privileges depending on the overall conference budget conditions. Faculty or senior authors of a Doctoral Symposium paper must also register with FULL fee to obtain a name badge (or have already secured a name badge through registration in other paper categories) in order to attend.

Workshop papers:
Workshops are affiliated, loosely coupled and co-located events. We do not limit the number of accepted workshop papers for workshop authors. However, each accepted Workshop paper must register with FULL fee, and in the case of multiple authors each attending an workshop, the author must register with FULL fee and receive an individual name badge.

Poster papers:
Each Poster paper must register in a discounted registration fee with reduced privileges.

Program Committee (approval pending):

  • Marco Autili (University of L'Aquilla, Italy)
  • Ivica Crnkovic (Mälardalen University, Sweden)
  • Alexandre David (Aalborg University, Denmark)
  • Insup Lee (University of Pennsylvania, USA)
  • Rafaella Mirandola (Politecnico di Milano, Italy)
  • Thomas Nolte (Mälardalen University, Sweden)
  • Marin Orlic (Ericsson Nikola Tesla, Croatia)
  • Heinz Schmidt (RMIT University, Australia)
  • Bernhard Schätz (Technical University Munich, Germany)
  • Dragos Truscan (Åbo Akademi, Finland)
  • Petr Tuma (Charles University, Czech Republic)
  • Wang Yi (Uppsala University, Sweden)

CORCS Program Chairs

  • Cristina Seceleanu, Mälardalen University, Sweden
    Email: cristina.seceleanu (at)
  • Aneta Vulgarakis, ABB Corporate Research, Sweden
    Email: aneta.vulgarakis (at)
  • Tiziana Margaria, University of Potsdam, Germany
    Email: margaria (at)
  • Paul Pettersson, Mälardalen University, Sweden
    Email: paul.pettersson (at) mdh.sebr

Important Dates

  • Camera-ready copy and registration deadline: 16 May

COMPSAC Sponsors

IEEE logo IEEE Computer Society logo IEEE Cloud Computing logo

Technical Co-Sponsors

Information Processing Society of Japan Korean Institute of Information Scientists and Engineers logo China Computer Federation logo

Conference Supporters

City of Västerås

City of Vasteras logo

Malardalen University Sweden logo ABB logo Iowa State logo Missouri logo


Computing Now