MB4CP 2015

Date: Jun 22, 2015 5:30 am – Jun 22, 2015 2:30 pm
Location: Rio de Janeiro, Brazil

First International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015)

In Conjunction with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

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.

IMPORTANT DATES

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

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

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
  • CPS Technologies
  • Architectures
  • Systems Engineering
  • Foundations
  • Architectures
  • Control
  • Modeling
  • Resilient Systems
  • Science of Security
  • Simulation
  • Workshop
  • 2015
Submitted by Anonymous on