Model Based Design for Cyber-Physical Systems

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

• MB4CP deadline for paper submission has been extended to Mar 15th, 2015
• Andrea Bondavalli and Paulo Esteves Veríssimo have agreed to deliver the MB4CP 2015 keynote speeches

Program

Keynote Speeches:

Andrea Bondavalli (Università degli Studi di Firenze, Italy)

Title: Dependability modeling and analysis methods integrated in model-driven industrial architectural frameworks

Abstract: In the last ten years, model-driven engineering approaches have been extensively used for the analysis of extra-functional properties of complex systems, like safety, dependability, security, predictability, and quality of service. To this end, engineering languages such as UML and AADL have been extended with additional features to model the required non-functional attributes, and transformations have been used to automatically generate the analysis models to be solved by appropriate analysis tools. In this talk, we explore this research direction and describe our activities, presenting dependability modeling and analysis methods integrated in industrial-driven architectural frameworks for the specification, analysis, and verification of extra-functional properties of cyber-physical systems, developed within the past ARTEMIS-JU CHESS project and currently within the ARTEMIS-JU CONCERTO project. We discuss the lessons learned and experience gained from successful application of cyber-physical systems industry standards in software systems.

Paulo Esteves Veríssimo (Université du Luxembourg, Luxembourg)

Title: Resilience of Cyber-Physical Energy Systems: the devil is in the models

Abstract: Electrical utility infrastructures have become largely computerized, remotely/automatically controlled, and interconnected, amongst each other and with other types of critical infrastuctures, and we are witnessing the explosion of new paradigms: distributed generation, smart grids. In this accelerated mutation of power grids to cyber-physical systems, may it be that some things are “lost in translation”? Are we using the right models to represent, design, build and analyze cyber physical energy systems? Especially when what used to be an electrical infrastructure became quite susceptible to computer-borne problems such as digital accidental faults and malicious cyber-attacks? This talk will challenge the audience with some reflections and points for discussion along these topics.

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.