<tt><font size=2>We apologize if you receive multiple copies of this email.<br>
...........................................................<br>
5th IEEE International Workshop on<br>
Component-Based Design of<br>
Resource-Constrained Systems<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
CORCS 2014<br>
<br>
</font></tt><a href=http://compsac.cs.iastate.edu/corcs2014.php><tt><font size=2>http://compsac.cs.iastate.edu/corcs2014.php</font></tt></a><tt><font size=2><br>
<br>
*Deadline for paper submission: March 23, 2014* <br>
<br>
*Paper Submission:*<br>
Papers must be submitted electronically via the COMPSAC Submission Page
(</font></tt><a href="https://www.easychair.org/conferences/?conf=compsac2014"><tt><font size=2>https://www.easychair.org/conferences/?conf=compsac2014</font></tt></a><tt><font size=2>
), and “Track&quot; Component-based Design of Resource-Constrained Systems
should be selected. The paper submission site is open.<br>
<br>
Västerås, Sweden - July 21-25, 2014<br>
(in conjunction with COMPSAC 2014)<br>
..........................................................<br>
<br>
Goal of the Workshop:<br>
<br>
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.<br>
<br>
Theme of the Workshop: <br>
<br>
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. <br>
<br>
Scope of the Workshop (Call-for-Papers):<br>
<br>
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:<br>
<br>
• Modeling and Specifying Resource-aware Systems<br>
- models for software components and component interaction: real-time,
safety-critical, embedded, or mobile systems<br>
- specification of extra-functional properties of components<br>
- resource models<br>
- componentization of legacy code<br>
- certification of components and software architectures<br>
- architecture description languages for resource-aware systems<br>
- service-oriented architectures<br>
<br>
• Analysis Techniques<br>
- formal techniques for verification and validation of component software:
model-checking, abstraction, code synthesis, model-based testing, monitoring,
debugging, model extraction<br>
- static analysis techniques<br>
- compositional theories of refinement<br>
- resource-usage impact on quality of service (QoS) attributes<br>
<br>
• Platform-aware Design<br>
- run-time mechanisms and middleware<br>
- scheduling and resource management<br>
- component-driven hardware-software co-design<br>
<br>
• Tools and Case-studies<br>
- applications, experience reports and case studies in component software<br>
- tools for resource-constrained system development<br>
<br>
<br>
Important Dates:<br>
<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Deadline for paper submission: March 23, 2014 <br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Notification of acceptance: April 20, 2014<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Camera-ready due: April 28, 2014<br>
<br>
Program Commitee: <br>
<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Marco Autili (University of L'Aquilla, Italy)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Ivica Crnkovic (Mälardalen University, Sweden)</font></tt>
<br><tt><font size=2>• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; Insup Lee (University of Pennsylvania, USA)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Rafaella Mirandola (Politecnico di Milano, Italy)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Thomas Nolte (Mälardalen University, Sweden) <br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Marin Orliã (Ericsson Nikola Tesla, Croatia)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Heinz Schmidt (RMIT University, Australia)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Bernhard Schätz (Technical University Munich, Germany)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Dragos Truscan (Åbo Akademi, Finland)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Petr Tuma (Charles University, Czech Republic)<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Wang Yi (Uppsala University, Sweden)<br>
<br>
Paper Submission:<br>
Papers must be submitted electronically via the COMPSAC Submission Page
(</font></tt><a href="https://www.easychair.org/conferences/?conf=compsac2014"><tt><font size=2>https://www.easychair.org/conferences/?conf=compsac2014</font></tt></a><tt><font size=2>
), and “Track&quot; Component-based Design of Resource-Constrained Systems
should be selected. The paper submission site is open. 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
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. Accepted papers
will be published in the workshop proceedings of COMPSAC 2014, 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.
<br>
<br>
Organizers:<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Cristina Seceleanu, Senior Lecturer at Mälardalen University, Sweden<br>
cristina.seceleanu@mdh.se<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Aneta Vulgarakis, Scientist at ABB Corporate Research, Sweden<br>
aneta.vulgarakis@se.abb.com<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Tiziana Margaria, Professor at University of Potsdam, Germany<br>
 margaria@cs.uni-potsdam.de<br>
• &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Paul Pettersson, Professor at Mälardalen University, Sweden<br>
paul.pettersson@mdh.se</font></tt><font size=2 face="sans-serif"><br>
<br>
</font>