Compsac 2017 Banner

 

COMPSAC 2017

Building Digital Autonomy for a Sustainable World
Hosted by the Politecnico di Torino, Turin, Italy
July 4-8

CORCS/IEESD 2017: The 6th IEEE International COMPSAC Workshop on Component-Based Design of Resource Constrained Systems (CORCS) and IEEE International COMPSAC Workshop on Industrial Experience in Embedded System Design

Paper submission site

CORCS Workshop Organizer:
Cristina Seceleanu, Mälardalen University, Sweden (cristina.seceleanu@mdh.se)

IEESD Workshop Organizers:
Detlef Streitferdt, Ilmenau University of Technology, Germany (detlef.streitferdt@tu-ilmenau.de)
Tiberiu Seceleanu, ABB Corporate Research, Sweden (tiberiu.seceleanu@se.abb.com)
Philipp Nenninger, ABB Corporate Research, Sweden; University of Applied Sciences, Karlsruhe, Germany (philipp.nenninger@hs-karlsruhe.de; philipp.nenninger@de.abb.com)


Goal of CORCS:
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 is on techniques and experiences drawn from current component-based design practice, as well as on emergent topics.

Theme of CORCS:
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.

Goal of IEESD:
Autonomous systems in the industrial domain are facing a continuously growing importance. The systems range from differently sized embedded devices up to server computers. The integration of such systems into a complex system-of-systems, the defined interaction of these systems with their environment as well as with other autonomous systems are important questions in the design and development of large industrial systems.

Current high end computing platforms enable more functionality to be placed in an autonomous embedded system. In addition, connectivity is enabled by different and very affordable communication modules. Thus, more and more embedded systems are counted among systems in the internet-of-things domain. Such systems gather and deliver many different data elements which in the end are forming a huge data stream. Such massive data amounts need to be addressed with big data tools and methods.

The additional complexity of industrial systems composed of the above mentioned smaller modules is a new challenge in the Industry 4.0 arena. Adapted software development methods/processes with their technologies and accompanying tools need to be analyzed. In addition, the models of such systems, on a higher structural level, need to be adapted and further developed as well. Especially their integration towards simulation models for a complete system test are needed to predict any errors early in the development cycle.

Theme of IEESD:
The theme of this workshop is to continuously gather current requirements of autonomous technical systems which are highly interrelated through defined interfaces and embedded in a complex environment. We need to analyze the autonomous requirements, their implementation and their possible abstractions towards early and accurate simulation models. Different beneficial approaches for assessing and modeling such complex embedded systems are needed and will foster the application and further development of scientific approaches in the domain of autonomous and interrelated technical systems.

Scope of the CORCS-IESSD Joint Workshop (Call-for-Papers):
Any submission whose content is relevant to the area of resource-aware system design and long-lived systems 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

Experience reports with long-living technical systems out of different domains
Model-Driven Development for long-living systems
Product Lines Architectures, Software Architectures for long-living systems
Testing of Long-Living Systems
Evaluation and Analysis of Software Architectures
Adaptable, Evolvable Software and Hardware Architectures, Execution Models and Runtime Platforms
Development Methods, Processes and Tools for Long-living Systems
(Heterogeneous) Networking Environments
Coupling of Devices and Enterprise Applications

 

Program Committee of the Joint Workshop: (approval pending)

Sofia Cassel (Uppsala University, Sweden)
Ivica Crnkovic (Chalmers University, Sweden)
Insup Lee (University of Pennsylvania, USA)
Rafaella Mirandola (Politecnico di Milano, Italy)
Thomas Nolte (Mälardalen University, Sweden)
Marin Orlić (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)
Raluca Marinescu (Mälardalen University, Sweden)
Tughrul Arslan (University of Edinburgh, UK)
Jerker Delsing (Luleå University of Technology, Sweden)
Robert Eschbach (Fraunhofer IESE, Germany)
Manal A. Farrag (Prince Sultan University, Saudi Arabia)
Stefan Gerken (Siemens, Germany)
Nadir Shahab (Bosch Engineering, Germany)
Mikael Gidlund (ABB CRC, Sweden)
Michael Jäger (Siemens, Germany)
Stamatis Karnouskos (SAP, Germany)
Khalid Ebanhesaten (Metro Systems GmbH, Germany)
Felix Beier (Technical University Ilmenau, Germany; IBM Research & Development)
Stephan Pietsch (TestingTech, Germany)
Ghulam Rasool, CIIT Lahore, Pakistan
Christian Zeidler, ABB Corporate Research, Germany

IT Pro - Review of COMPSAC 2016

 

Author Instructions

Authors, please use the IEEE Author Kit to prepare your papers for publication in the COMPSAC proceedings.

Please note COMPSAC C1J2 & J1C2 schemes for journal publication opportunity

Important Dates

May 9, 2017: Main Conference Camera Ready and Registration Due 
May 14, 2017: SRS Camera Ready and Registration Due
May 16, 2017: Workshop and Fast Abstract Camera Ready and Registration Due