Thursday, 09 February 2017

Call for Papers

The International Workshop on Model-Based Design for Cyber-Physical Systems

June 22nd, 2015, Rio de Janeiro, Brasil

Workshop in conjunction with DSN 2015

Return to DSN

Program

TBA

Workshop Goals

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.

Call for Papers

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 of Interest

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.

Important Dates

  • Paper submission : Mar 8th, 2015 Mar 15th, 2015
  • Acceptance notification : April 15th, 2015
  • Workshop : June 22nd, 2014

Paper Submission Details

All papers (i.e. research papers, experience reports, or vision papers) should be submitted through easychair:https://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.