Workshop descriptionMARTCPS 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 submissionsMARTCPS 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.
More info here>> |
|
Organizing Committee
|
Preliminary Technical Program Committee
|
Paper Submission GuidelinesAll 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
|