Tue 27 Oct 2015 09:05 - 09:25 at Brighton 4 - Session 1

Wider adoption, availability and ubiquity of wireless networking technologies, integrated sensors, actuators, and edge computing devices is facilitating a paradigm shift by allowing us to transition from traditional statically configured vertical silos of Cyber-Physical Systems (CPS) to next generation CPS that are more open, dynamic and extensible. Fractionated spacecraft, smart cities computing architectures, Unmanned Aerial Vehicle (UAV) clusters, platoon of vehicles on highways are all examples of extensible CPS wherein extensibility is implied by the dynamic aggregation of physical resources, affect of physical dynamics on availability of computing resources, and various multi-domain applications hosted on these systems. However, realization of extensible CPS requires resolving design-time and run-time challenges emanating from properties specific to these systems. In this paper, we first describe different properties of extensible CPS - dynamism, extensibility, remote deployment, security, heterogeneity and resilience. Then we identify different design-time challenges stemming from heterogeneity and resilience requirements. We particularly focus on software heterogeneity arising from availability of various communication middleware. We then present appropriate solutions in the context of a novel domain specific language, which can be used to design resilient systems while remaining agnostic to middleware heterogeneities. We also describe how this language and its features have evolved from our past work. We use a platform of fractionated spacecraft to describe our solution.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 1DSM at Brighton 4
08:30
20m
Day opening
Introduction
DSM

08:50
15m
Talk
Domain Specific Modelling for Clinical Research
DSM
Jim Davies University of Oxford, Jeremy Gibbons University of Oxford, UK, Adam Milward University of Oxford, David Milward , Seyyed Shah University of Oxford, Monika Solanki University of Oxford, James Welch University of Oxford
09:05
20m
Talk
CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
DSM
Subhav Pradhan Vanderbilt University, Abhishek Dubey Vanderbilt University, Aniruddha Gokhale Vanderbilt University, Martin Lehofer Siemens Corporate Technology
09:25
15m
Talk
Experience Report: Constraint-Based Modeling of Autonomous Vehicle Trajectories
DSM
Kennon McKeever The University of Arizona, Yegeta Zeleke University of California Santa Cruz, Matt Bunting The University of Arizona, Jonathan Sprinkle University of Arizona
09:40
20m
Talk
Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures
DSM
Katrin Hölldobler RWTH Aachen University, Pedram Mir Seyed Nazari RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Germany