IEEE World Forum on Internet of Things
12-14 December 2016 // Reston, VA, USA

Workshop on MARTCPS Models at Runtime & Networked Control for Cyber Physical Systems

Workshop description

MARTCPS is about engineering of cyber physical systems (CPS) through models at runtime and networked control. CPS are distributed, software-intensive smart systems that control—through feedback loops—tightly integrated computational and physical components. To support automated reasoning about dynamic system uncertainty and variability—and assurance in turn, a key strategy is to support continuous validation through models at runtime (MART).

Paper submissions

MARTCPS invites position papers (max. 6 pages) from researchers and practitioners working on cyber physical systems.

Cyber physical systems (CPSs) integrate computing and communication capabilities with the monitoring and control of entities and processes in the physical world, and do so dependably, securely, efficiently and in real-time. This workshop is about the research challenges of engineering CPSs through feedback loops that continuously monitor system performance and the environment and enact adaptations to ensure continuing fulfillment of system requirements. The potential societal impact of CPSs is enormous. That potential has been enabled by a host of new technologies, including the IoT, but also sensing and robotic technologies, and promises to deliver smarter engineered systems for application that include autonomous vehicles, smart power grids, renewable energy, intelligent manufacturing plants, adaptive supply chains, medical robotic devices, urban traffic control and smart buildings.

  • Workshop topics include, but are not limited to:
    Inter-disciplinary approaches for building CPS
  • Runtime models for engineering CPS (e.g., for monitoring and adaptation)
  • Multi-paradigm modeling in CPS (e.g., task models, functional models, dependability models, performance models, big data models, simulation models)
  • Feedback control for engineering CPS
  • Self-adaptation in CPS
  • Adaptive monitoring and sensing for CPS
  • Distributed and hierarchical algorithms for control
  • Smart networking and networked control
  • Timing aspects and timing analysis
  • Dynamic context management for CPS environments
  • Uncertainty management in CPS environments
  • Integrating the human in the loop in CPS
  • Assurances for CPS, Runtime validation and verification (V&V)
  • Security and verification models for CPS

More info here>>

Organizing Committee

 

  • Hausi A. Müller, University of Victoria, Canada
  • Marin Litoiu, York University, Canada
  • John Mylopoulos, University of Trento, Italy
  • Norha Villegas, Icesi University, Colombia

Preliminary Technical Program Committee

  • Shahram Dustdar, TU Wien, Austria
  • Gregor Engels, University of Paderborn, Germany
  • David Garlan, CMU, USA
  • Scott Hissam, SEI, USA
  • Fuyuki Ishikawa, NII, Japan
  • Mark Klein, SEI, USA
  • Latif Ladid, University du Luxembourg, Luxembourg
  • Alberto Leon-Garcia, University of Toronto, Canada
  • Grace Lewis, SEI, USA
  • Marin Litoiu, York University, Canada
  • Sam Malek, University of California, Irvine, USA
  • Serge Mankovskii, CA Technologies, USA
  • Jeff Magee, Imperial College London, UK
  • Rick McGeer, SAP San Francisco, USA
  • Roberto Minerva, Telecom Italia, Italy
  • Hausi A. Müller, University of Victoria, Canada
  • John Mylopoulos, University of Trento, Italy
  • Vio Onut, IBM Canada Ltd, Canada
  • Mary Shaw, Carnegie Mellon University, USA
  • Antonio Skarmeta, University of Mucia, Spain
  • Gabriel Tamura, Universidad Icesi, Colombia
  • Kenji Tei, National Institute of Informatics, Japan
  • Norha Villegas, Universidad Icesi, Colombia
  • Danny Weyns, Linaeus University, Sweden
  • Yijun Yu, The Open University, UK

Paper Submission Guidelines

All final submissions should be written in English with a maximum paper length of six (6) printed pages. See conference web page for instructions here>>

 

Important Dates

  • Paper submission deadline: July 31, 2016 August 25, 2016
  • Acceptance Notification: September 30, 2016
  • Camera-Ready: October 31, 2016