*** Please accept our apologies should you receive multiple copies
of this call from different lists. ***

INVITATION:

Please, consider to contribute to and/or forward to the appropriate
groups the following opportunity to submit and publish original
scientific results to MB4CP 2015.

The submission deadline has been extended to Mar 15th, 2015.

=====================================================================
Call for Papers

- MB4CP 2015 -

1th International Workshop on Model-Based Design
for Cyber-Physical Systems

Satellite event of DSN
June 22th, 2015, Rio de Janeiro, Brasil

http://mb4cp.ipd.kit.edu/mb4cp_2015/

=====================================================================

* Submission deadline: Mar 15th, 2015
* Notification of acceptance: April 15th, 2015

=====================================================================

WORKSHOP AIM
Emerging cyber-physical systems (CPSs) incorporate intelligence into power distribution networks. These CPSs provide the capabilities required for handling the challenges of increasing complexity in the bulk power grid, responding to growing demand, supporting renewable energy sources, and satisfying the requirements for enhanced, adaptive service quality. Achieving these goals requires a framework for cohesively integrating communication and information technologies using complex, real-time control networks for both energy and information. This framework must support the principal properties of smart grids, including self-healing, availability, and responsiveness to variability in demand and supply. CPSs pose new challenges for security and privacy because of the increased exchange of information.

This workshop will focus on understanding and identifying the unique challenges posed by and opportunities associated with modeling and analysis of CPSs, especially as related to the design of large, complex, networked systems. In CPSs, the geographical scale, requirements on real-time performance and reliability, and diversity of application functionality all combine to produce a unique, highly demanding problem domain. The objective of this workshop is to bring together members from the systems, software, power, and other engineering communities to discuss challenges with modeling and model-based design of CPSs and to share experiences, solutions, tools, and techniques.

TOPICS

The MB4CP workshop is interested in submissions on all topics related to identifying and developing appropriate methods, tools, and techniques for modeling and model-based design of cyber-physical systems. Specifically, we will focus on:

* Applications that support power engineering operations. Such applications include, but are not limited to, complex event processing systems for managing and manipulating large amounts of real-time sensor data and systems that provide infrastructure for metering, analysis, decision support, and control applications.
* Software and enterprise architectures tailored to CPSs, given the challenges of CPSs as ultra-large-scale systems.
* Designing applications with advanced computing capabilities. This requires understanding the implications of, for example, exploiting cloud computing and high performance, multi-core computing platforms for computationally intensive cyber-physical functions.
* Designing quantitative modeling and simulation frameworks targeting CPSs. These frameworks can model designs and quantify system properties, such as responsiveness and availability, based on predictive (numerical, simulated) and historical data.
* Methodologies that apply advanced software engineering approaches to analyze and improve the properties of cyber-physical applications. These include model-driven development, self-managing and adaptive software systems, and sound reasoning and evaluation frameworks.
* Employing best practices for requirements engineering, verification, and validation in CPSs. This includes considering the synergy between requirements and architectures in critical, ultra-large-scale systems.
* Standards-based distributed architecture solutions and reference architectures that enable open interfaces with plug-and-play hardware and software components.
* Designing and analyzing robust, scalable security and privacy frameworks for CPSs.
* Approaches to modeling and monitoring system-wide performance, scalability, and other quality properties of the cyber-physical software framework.
* Software engineering approaches for the business and information technology elements of CPSs.
* Integrating cyber-physical system modeling and analysis topics into curricula at academic institutions.
* Novel architectures for software systems supporting energy trading and business decisions in CPSs.
* Lessons learned and experiences from successful applications of cyber-physical industry standards in software systems.

SUBMISSIONS

All papers (i.e. research papers, experience reports, or vision papers) should be submitted through easychair:https://easychair.org/conferences/?conf=mb4cp (http://mb4cp.ipd.kit.edu/mb4cp_2015/%20https:/easychair.org/conferences/?conf=mb4cp)

* Research papers will be thoroughly reviewed for novelty, technical quality, scientific soundness, and relevance. Research papers should not exceed 8 double-column pages, including figures and tables.
* Experience reports cover innovative implementations or novel applications of CPS-related technologies, as well as interesting results and experiences from applying recent research advances to industrial situations in any of the topics of interest. Experience reports should be 6 double-column pages, including figures and tables.
* Vision papers present emerging research challenges and long-term research directions on topics of interest in the CPS domain. Submissions should be 4 double-column pages, including figures and tables.

Submissions must adhere to the IEEE Computer Society camera-ready 8.5″x11″ two-column camera-ready format. The templates are reproduced below for your convenience, and further details can be found here (http://www.ieee.org/conferences_events/conferences/publishing/templates.html).


IMPORTANT DATES

* Submission deadline: Mar 15th, 2015
* Notification of acceptance: April 15th, 2015
* Workshop date: June 22, 2015

PROGRAMME COMMITTEE

* Catia Trubiani, Gran Sasso Science Institute, Italy
* Barbora Buhnova, Masaryk University, Czech Republic
* Tomas Bures, Charles University, Czech Republic
* Erik Burger, Karlsruhe Institute of Technology, Germany
* Anne Remke, University of Twente, Netherlands
* Martin Naedele, ABB Corporate Research, Switzerland
* Boudewijn Haverkort, University of Twente, Netherlands
* Laura Carnevali, University of Florence, Italy
* Enrico Vicario, University of Florence, Italy
* Anne Koziolek, Karlsruhe Institute of Technology, Germany
* Ina Schieferdecker, FU Berlin/Fraunhofer FOKUS, Germany

PC CO-CHAIRS

* Alberto Avritzer, Siemens Corporate Research, USA
* Lucia Happe, Karlsruhe Institute of Technology, Germany
* Kishor S. Trivedi, Duke University, USA
* Daniel Sadoc Menasche, Federal University of Rio de Janeiro, Brazil
* Sahra Sedigh Sarvestani, Missouri University of Science and Technology, USA