posted by organizer: kapova || 1110 views || tracked by 5 users: [display]

MB4CP 2015 : MB4CP@DSN 2015: CfP for 1th International Workshop on Model-Based Design for Cyber-Physical Systems, June 22th, 2015, Rio de Janeiro, Brasil


When Jun 22, 2015 - Jun 22, 2015
Where Rio de Janeiro, Brasil
Submission Deadline Mar 15, 2015
Notification Due Apr 15, 2015
Final Version Due May 15, 2015
Categories    cyber-physical systems   computer science   modeling   software quality

Call For Papers

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


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


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


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.


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.


All papers (i.e. research papers, experience reports, or vision papers) should be submitted through easychair: (

* 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 (


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


* 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


* 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

Related Resources

ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ICML 2017   34th International Conference on Machine Learning
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
ICCV 2017   International Conference on Computer Vision
A-MOST 2017   Advances in Model-Based Software Testing
IJE 2016   International Journal of Education
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems