Subhav Pradhan, William Otte, Abhishek Dubey, Csanad Szabo, Aniruddha Gokhale, Gabor Karsai
2014
Extensible CPS require design approaches supporting resilience without compromising middleware independence. CHARIOT DSL is innovative because it provides unified abstractions for specifying communication heterogeneity, resilience requirements, and configuration space while remaining agnostic to specific platforms. The approach enables designers to address resilience concerns at design time.
This technical report describes CHARIOT DSL, a domain-specific language for extensible cyber-physical systems addressing design-time heterogeneity and resilience challenges. The language enables specification of system objectives, configurations, and deployment constraints through high-level abstractions. The work includes tools for mapping CHARIOT designs to platform-specific implementations.
CHARIOT DSL successfully models imaging satellite clusters and fractional spacecraft architectures with resilience requirements. The language enables generation of deployment specifications and runtime reconfiguration plans. Case studies demonstrate the language's ability to capture complex resilience scenarios including component failures and dynamic resource allocation.
@techreport{Pradhan2014b,
author = {Pradhan, Subhav and Otte, William and Dubey, Abhishek and Szabo, Csanad and Gokhale, Aniruddha and Karsai, Gabor},
institution = {Institute for Software Integrated Systems, Vanderbilt University},
title = {Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems},
year = {2014},
address = {Nashville},
month = {6/2014},
number = {ISIS-14-102},
type = {Technical Report},
abstract = {Multi-module Cyber-Physical Systems (CPSs), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of Unmanned Underwater Vehicles (UUV) are examples of managed distributed real-time systems where mission-critical applications, such as sensor fusion or coordinated flight control, are hosted. These systems are dynamic and reconfigurable, and provide a "CPS cluster-as-a-service{\textquoteright}{\textquoteright} for mission-specific scientific applications that can benefit from the elasticity of the cluster membership and heterogeneity of the cluster members. Distributed and remote nature of these systems often necessitates the use of Deployment and Configuration (D\&C) services to manage lifecycle of software applications. Fluctuating resources, volatile cluster membership and changing environmental conditions require resilience. However, due to the dynamic nature of the system, human intervention is often infeasible. This necessitates a self-adaptive D\&C infrastructure that supports autonomous resilience. Such an infrastructure must have the ability to adapt existing applications on the fly in order to provide application resilience and must itself be able to adapt to account for changes in the system as well as tolerate failures. This paper describes the design and architectural considerations to realize a self-adaptive, D\&C infrastructure for CPSs. Previous efforts in this area have resulted in D\&C infrastructures that support application adaptation via dynamic re-deployment and re-configuration mechanisms. Our work, presented in this paper, improves upon these past efforts by implementing a self-adaptive D\&C infrastructure which itself is resilient. The paper concludes with experimental results that demonstrate the autonomous resilience capabilities of our new D\&C infrastructure.},
attachments = {http://www.isis.vanderbilt.edu/sites/default/files/TechReport2013.pdf},
contribution = {colab},
file = {:Pradhan2014b-Towards_a_self-adaptive_deployment_and_configuration_infrastructure_for_CPS.pdf:PDF},
issn = {ISIS-14-102},
keywords = {domain-specific language, cyber-physical systems, extensible systems, resilience, deployment configuration},
owner = {abhishek},
tag = {platform},
timestamp = {2015.10.16},
url = {http://www.isis.vanderbilt.edu/sites/default/files/Pradhan_SEAMS_TechReport.pdf}
}