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).
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
12月12日
2016
12月14日
2016
初稿截稿日期
终稿截稿日期
注册截止日期
留言