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

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