WELCOME to COMPSAC 2009 !
33rd Annual IEEE International Computer Software and Applications Conference


Seattle,Washington, July 20 - July 24, 2009
           Co-located with IPSJ/IEEE SAINT 2009

2nd IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS (CORCS 2009)

2nd IEEE International Workshop on

Component-Based Design of Resource-Constrained Systems
 (CORCS 2009)

IN CONJUNCTION WITH COMPSAC 2009

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 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 resource-aware 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-constrained system design will be considered, but submission whose subject matter is related to one of the following topics will be particularly welcome:

 

 

- Modeling and Specification of 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
  • Service oriented architectures 

 

- Analysis Techniques 

  • Formal techniques for verification and validation of component software: model-checking, abstraction, refinement, code synthesis, testing, monitoring, debugging, model extraction
  • Compositional theories
  • Resource-usage Impact on Quality-of-Service (QoS) attributes
  • Componentization of legacy code
  • Certification of components and software architectures

 

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

 

 

 

PROGRAM COMMITTEE

 

Christo Angelov (Mads Clausen Institute, Denmark)
Tughrul Arslan (University of Edinburgh, UK)
Marius Bozga (CNRS, France)
Ivica Crnkovic (Mälardalen University, Sweden)
Alexandre David (Aalborg University, Denmark)
David Garlan (Carnegie Mellon University, USA)
Paola Inverardi (University of L'Aquila, Italy)
Kim G. Larsen (Aalborg University, Denmark)
Insup Lee (University of Pennsylvania, USA)

Johan Lilius (Äbo Akademi, Finland)
Tiziana Margaria (University of Potsdam, Germany)
Rafaella Mirandola (Politecnico di Milano, Italy)
Thomas Nolte ( Mälardalen University, Sweden)
Heinz Schmidt (RMIT University, Australia)
Bernhard Schätz (Technical University Munich, Germany)
Mikael Sjödin (Mälardalen University, Sweden)
Ana Sokolova (University of Salzburg, Austria)
Bernhard Steffen (University of Dortmund, Germany)
Dragos Truscan (Äbo Akademi, Finland)
Petr Tuma (Charles University, Czech Republic)
Wang Yi (Uppsala University, Sweden)

 

IMPORTANT DATES

 

Mar. 20, 2009

Extended Deadline for paper submission

April 18 , 2009

Notification of acceptance/rejection

April 30, 2009

Camera-ready due

 

SUBMISSION

 

Papers must be submitted electronically via the CORCS 2009 Submission Page. The format of submitted papers should follow the guidelines for the IEEE conference proceedings. 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 2009, 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.

 

 

 

WORKSHOP ORGANIZERS

Program Co-Chairs

Cristina Seceleanu

Mälardalen Real-Time Research Centre (MRTC),

Mälardalen University,
Sweden

 

Paul Pettersson

Mälardalen Real-Time Research Centre (MRTC),

Mälardalen University,
Sweden

GENERAL INQUIRIES

 

For updated information, please contact the Program Co-Chairs: cristina.seceleanu@mdh.se, paul.pettersson@mdh.se