34th Annual IEEE Computer Software and Applications Conference


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

Joint Workshop:

The 3rd Industrial experience in embedded systems design (IEESD 2011)


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

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.


The aim of this joint IEESD and CORCS workshop is to promote current practices and solutions in embedded systems design viewed from an industrial perspective, and, at the same time, to promote the study of both fundamental and practical aspects of resource-restricted systems, via component-based design approaches.


The ongoing embedded revolution has actively influenced industrial activities, in general, and has raised also issues on resource aware systems and component based design.

Automation, distribution, ubiquity are only a few of the modern concerns both in industrial environments, as well as from a user’s perspective. There is a strong trend on increasing the level of interoperability, coupling with enterprise applications, multi-domain software design, applying hardware/software co-design techniques and the demand for software architectures supporting a long lifecycle. Application of new information and communication technologies, validation, protocol definition, horizontal and vertical integration may provide promising and innovative solutions, but also pose significant challenges that need to be addressed.

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

Papers are expected to cover (non-restrictively) one or more of the following topics:
  • Wireless communication protocols and their application in industry;
  • Applications of advanced embedded solutions in industrial automation;
  • Coupling of devices and enterprise applications;
  • Programming languages and frameworks;
  • Modeling and specifying resource-aware systems
    • real-time, safety-critical, embedded, or mobile systems
    • extra-functional properties of components
    • resource models
    • componentization of legacy code
    • certification of components and software architectures
    • service-oriented architectures
  • Analysis techniques
    • model-checking, abstraction, code synthesis, testing, monitoring, debugging, model extraction
    • validation
    • static analysis techniques
    • compositional theories of refinement
    • resource-usage impact on quality of service attributes
  • Platform-aware Design
    • run-time mechanisms and middleware
    • run-time platforms
    • execution models
    • 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
Likely participants include researchers and practitioners in the area of embedded system design, favoring expansion of wireless communication, software development techniques, enterprise applications, and automation.


March 28, 2011 : Workshop paper submission
April 20, 2011   :
Workshop paper author notification (electronic)
May 14, 2011    :
Camera-ready & author registration


Papers must be submitted electronically via the CORCS 2011 Submission Page or the IEESD 2011 Submission Page for CORCS or IEESD, respectively. The format of submitted papers should follow the guidelines for the IEEE conference proceedings. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers http://www.computer.org/portal/web/cscps/submission.  All papers will be carefully reviewed by at least three reviewers. Papers should be no more than 6 pages. Accepted papers will be published in the workshop proceedings of COMPSAC 2011, by the IEEE Computer Society Press. At least one of the authors of each accepted paper must register as a participant of the workshop and present the paper at the workshop, in order to have the paper published in the proceedings.  Each accepted paper must be presented in person by one of its authors.

Workshop Organizers

Tiberiu Seceleanu
ABB Corporate Research, Sweden
tiberiu.seceleanu at se.abb.com

Detlef Streitferdt
Ilmenau University of Technology, Germany
detlef.streitferdt at tu-ilmenau.de

Cristina Seceleanu
Malardalen University, Sweden
cristina.seceleanu at mdh.se

Paul Pettersson

Malardalen University, Sweden
paul.pettersson at mdh.se


Program Committee

Tughrul Arslan (University of Edinburgh, UK)
Ivica Crnkovic (Mälardalen University, Sweden)
Alexandre David (Aalborg University, Denmark)
Jerker Delsing (Luleå University of Technology, Sweden)
Robert Eschbach (Fraunhofer IESE, Germany)
Manal A. Farrag (Prince Sultan University, Saudi Arabia)
Stefan Gerken (Siemens, Germany)
Mikael Gidlund (ABB CRC, Sweden)
Paola Inverardi (University of L'Aquilla, Italy)
Stamatis Karnouskos (SAP, Germany)
Tiziana Margaria (University of Potsdam, Germany)
Rafaella Mirandola (Politecnico di Milano, Italy)
Thomas Nolte (Mälardalen University, Sweden)
Stephan Pietsch TestingTech, Germany
Heinz Schmidt (RMIT University, Australia)
Bernhard Schätz (Technical University Munich, Germany)
Ana Sokolova (University of Salzburg, Austria)
Dragos Truscan (Åbo Akademi, Finland)
Petr Tuma (Charles University, Czech Republic)
Wang Yi (Uppsala University, Sweden)

SAINT IEEE The Computer Society®