@article {4954,
	title = {Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios},
	journal = {IEEE Aerospace and Electronic Systems Magazine},
	year = {2019},
	month = {2019},
	abstract = {Distributed, co-existing applications found in the military and space domains, which operate over managed but shared computing resources at the edge require strong isolation from each other. The state of the art for computation sharing at the edge is traditionally based on Docker and similar pseudo-virtualization features. Our team has been working on an end-to-end architecture that provides strong spatial and temporal isolation similar to what has become standard in avionics communities. In this paper we describe an open-source extension to Linux that we have designed and implemented for our distributed real-time embedded managed systems (DREMS) architecture. The key concepts are the partitioning scheduler, strong security design and a health management interface},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/SYSAES-preprint.pdf},
	author = {Dubey, Abhishek and Emfinger, William and Aniruddha Gokhale and Kumar, Pranav and Dan McDermet and Bapty, Ted and Karsai, Gabor}
}
@proceedings {4831,
	title = {DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems},
	journal = {International Conference on Space Mission Challenges for Information Technology (SMC-IT)},
	year = {2017},
	month = {09/2017},
	edition = {2017},
	abstract = {Distributed real-time and embedded (DRE) systems executing mixed criticality task sets are increasingly being deployed in mobile and embedded cloud computing platforms, including space applications. These DRE systems must not only operate over a range of temporal and spatial scales, but also require stringent assurances for secure interactions between the system{\textquoteright}s tasks without violating their individual timing constraints. To address these challenges, this paper describes a novel distributed operating system focusing on the scheduler design to support the mixed criticality task sets. Empirical results from experiments involving a case study of a cluster of satellites emulated in a laboratory testbed validate our claims.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/main_2.pdf},
	author = {Dubey, Abhishek and Karsai, Gabor and Aniruddha Gokhale and Emfinger, William and Kumar, Pranav Srinivas}
}
@conference {4821,
	title = {Cyber-Physical System Development Environment for Energy Applications},
	booktitle = {ASME Power and Energy Conference 2017},
	year = {2017},
	month = {06/2017},
	address = {Charlotte, USA},
	abstract = {Cyber-physical systems (CPS) are smart systems that include engineered interacting networks of physical and computational components. The tight integration of a wide range of heterogeneous components enables new functionality and quality of life improvements in critical infrastructures such as smart cities, intelligent buildings, and smart energy systems. One approach to study CPS uses both simulations and hardware-in-the-loop (HIL) to test the physical dynamics of hardware in a controlled environment. However, because CPS experiment design may involve domain experts from multiple disciplines who use different simulation tool suites, it can be a challenge to integrate the heterogeneous simulation languages and hardware interfaces into a single experiment. The National Institute of Standards and Technology (NIST) is working on the development of a universal CPS environment for federation (UCEF) that can be used to design and run experiments that incorporate heterogeneous physical and computational resources over a wide geographic area. This development environment uses the High Level Architecture (HLA), which the Department of Defense has advocated for co-simulation in the field of distributed simulations, to enable communication between hardware and different simulation languages such as Simulink and LabVIEW. This paper provides an overview of UCEF and motivates how the environment could be used to develop energy experiments using an illustrative example of an emulated heat pump system.},
	author = {Thomas Roth and Eugene Song and Martin Burns and Neema, Himanshu and Emfinger, William and Janos Szipanovits}
}
@proceedings {4828,
	title = {DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems},
	journal = {Space Mission Challenges for Information Technology (SMC-IT)},
	year = {2017},
	note = {Submitted. Under Review},
	abstract = {Distributed real-time and embedded (DRE) systems executing mixed criticality task sets are increasingly being deployed
in mobile and embedded cloud computing platforms, including space applications. These DRE systems must not only
operate over a range of temporal and spatial scales, but also require stringent assurances for secure interactions between
the system{\textquoteright}s tasks without violating their individual timing constraints. To address these challenges, this paper describes
a novel distributed operating system focusing on the scheduler design to support the mixed criticality task sets. Empirical results
from experiments involving a case study of a cluster of satellites emulated in a laboratory testbed validate our claims.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/paper_5.pdf},
	author = {Dubey, Abhishek and Karsai, Gabor and Aniruddha Gokhale and Emfinger, William and Kumar, Pranav}
}
@conference {4787,
	title = {Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing},
	booktitle = {The First IEEE/ACM Symposium on Edge Computing},
	year = {2016},
	month = {2016},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/PID4355117.pdf},
	author = {Emfinger, William and Dubey, Abhishek and Scott Eisele and Volgyesi, Peter and Sallai, Janos and Karsai, Gabor}
}
@conference {4858,
	title = {A Testbed for Evaluating and Measuring Security and Resilience in CPS (Poster)},
	booktitle = {Science of Security Quarterly Lablet Meeting},
	year = {2016},
	month = {11/2016},
	address = {Laurel, MD},
	author = {Bradley Potteiger and Emfinger, William and Karsai, Gabor and Koutsoukos, Xenofon}
}
@conference {4766,
	title = {A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems},
	booktitle = {3rd International Transactive Energy Systems},
	year = {2016},
	month = {05/2016},
	publisher = {GridWise{\textregistered} Architecture Council },
	organization = {GridWise{\textregistered} Architecture Council },
	address = {Portland, Oregon},
	abstract = {Rapid evolution of energy generation technology and increased used of distributed energy resources (DER) is continually pushing utilities to adapt and evolve business models to align with these changes. Today, more consumers are also producing energy using green generation technologies and energy pricing is becoming rather competitive and transactional, needing utilities to increase flexibility of grid operations and incorporate transactive energy systems (TES). However, a huge bottleneck is to ensure stable grid operations while gaining efficiency. A comprehensive platform is therefore needed for grid-scale multi-aspects integrated evaluations. For instance, cyber-attacks in a road traffic controller{\textquoteright}s communication network can subtly divert electric vehicles in a particular area, causing surge in the grid loads due to increased EV charging and people activity, which can potentially disrupt, an otherwise robust, grid. To evaluate such a scenario, multiple special-purpose simulators (e.g., SUMO, OMNeT++, GridlabD, etc.) must be run in an integrated manner. To support this, we are developing a cloud-deployed web- and model-based simulation integration platform that enables integrated evaluations of transactive energy systems and is highly extensible and customizable for utility-specific custom simulation tools.},
	author = {Neema, Himanshu and Emfinger, William and Dubey, Abhishek}
}
@conference {4757,
	title = {SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience},
	booktitle = {7th International Conference on Cyber-Physical Systems (ICCPS) },
	year = {2016},
	month = {04/2016},
	address = {Vienna, Austria},
	abstract = {In-depth consideration and evaluation of security and resilience is necessary for developing the scientific foundations and technology of Cyber-Physical Systems (CPS). In this demonstration, we present SURE [1], a CPS experimentation and evaluation testbed for security and resilience focusing on transportation networks. The testbed includes (1) a heterogeneous modeling and simulation integration platform, (2) a Web-based tool for modeling CPS in adversarial environments, and (3) a framework for evaluating resilience using attacker-defender games. Users such as CPS designers and operators can interact with the testbed to evaluate monitoring and control schemes that include sensor placement and traffic signal configuration.},
	keywords = {Cyber-Physical Systems, resilience, security, simulation integration},
	author = {Neema, Himanshu and Volgyesi, Peter and Bradley Potteiger and Emfinger, William and Xenofon Kousoukos and Karsai, Gabor and Yevgeniy Vorobeychik and Sztipanovits Janos}
}
@conference {4744,
	title = {ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS},
	booktitle = {Rapid System Prototyping Symposium (ESWEEK)},
	year = {2015},
	address = {Amsterdam, The Netherlands},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/2015--RSP--ROSMOD - A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS.pdf},
	author = {Kumar, Pranav Srinivas and Emfinger, William and Amogh Kulkarni and Karsai, Gabor and Dexter Watkins and Benjamin Gasser and Cameron Ridgewell and Amrutur Anilkumar}
}
@conference {4745,
	title = {A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems},
	booktitle = {Rapid System Prototyping (ESWEEK)},
	year = {2015},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/2015--RSP--A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems.pdf},
	author = {Kumar, Pranav Srinivas and Emfinger, William and Karsai, Gabor}
}
@conference {4647,
	title = {A Rapid Testing Framework for a Mobile Cloud Infrastructure},
	booktitle = {IEEE International Symposium on Rapid System Prototyping (RSP)},
	year = {2014},
	month = {10/2014},
	publisher = {IEEE},
	organization = {IEEE},
	keywords = {f6mdk},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/RSP2014.pdf},
	author = {Balasubramanian, Daniel and Dubey, Abhishek and Otte, William R and Emfinger, William and Kumar, Pranav and Karsai, Gabor}
}
@proceedings {4659,
	title = {Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks},
	journal = {Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems},
	year = {2014},
	pages = {44{\textendash}47},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {f6mdk},
	isbn = {978-1-4503-2871-5},
	doi = {10.1145/2593458.2593459},
	url = {http://doi.acm.org/10.1145/2593458.2593459},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/cyphy - camera ready.pdf},
	author = {Emfinger, William and Karsai, Gabor and Dubey, Abhishek and Aniruddha Gokhale}
}
@article {4599,
	title = {DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems},
	journal = {IEEE Software},
	volume = {99},
	year = {2014},
	publisher = {IEEE Computer Society},
	abstract = {Architecting the software for a cloud computing platform built from mobile and distributed embedded
devices incurs many challenges not present in traditional cloud computing. Effective resource
and application management that guarantee performance and security isolation are required. This paper
describes a practical design and runtime solution incorporating modern software development practices
and technologies along with novel approaches to address these challenges. The patterns and principles
exhibited by our design will serve as guidelines for practitioners in this field.},
	keywords = {f6mdk},
	issn = {0740-7459},
	doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.143},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/f6paper.pdf , https://archive.isis.vanderbilt.edu/sites/default/files/062-069.pdf},
	author = {Levendovszky, Tihamer and Dubey, Abhishek and Otte, William R and Balasubramanian, Daniel and Coglio, Alessandro and Nyako, Sandor and Emfinger, William and Kumar, Pranav and Aniruddha Gokhale and Karsai, Gabor}
}
@conference {4662,
	title = {Establishing secure interactions across distributed applications in satellite clusters},
	booktitle = {SMC-IT},
	year = {2014},
	keywords = {f6mdk},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/smcit-2014.pdf},
	author = {Subhav Pradhan and Emfinger, William and Dubey, Abhishek and William Otte and Coglio, Alessandro and Balasubramanian, Daniel and Aniruddha Gokhale and Karsai, Gabor}
}
@proceedings {4663,
	title = {An application development and deployment platform for satellite clusters},
	journal = {Workshop on Spacecraft Flight Software},
	year = {2013},
	keywords = {f6mdk},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/FSW.pdf},
	author = {Balasubramanian, Daniel and Emfinger, William and Kumar, Pranav Srinivas and William Otte and Dubey, Abhishek and Karsai, Gabor}
}
@proceedings {4664,
	title = {DREMS: A Toolchain and Platform for the Rapid Application Development, Integration and Deployment of Managed Distributed Real-time Embedded Systems},
	journal = {Real-time Systems Symposium},
	year = {2013},
	keywords = {f6mdk},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/RTSS.pdf},
	author = {Emfinger, William and Kumar, Pranav Srinivas and Dubey, Abhishek and William Otte and Aniruddha Gokhale and Karsai, Gabor}
}
@conference {4498,
	title = {A Software Platform for Fractionated Spacecraft},
	booktitle = {2012 IEEE Aerospace Conference},
	year = {2012},
	month = {03/2012},
	address = {Big Sky, Montana},
	abstract = {A fractionated spacecraft is a cluster of independent
modules that interact wirelessly to maintain cluster flight and
realize the functions usually performed by a monolithic satellite.
This spacecraft architecture poses novel software challenges
because the hardware platform is inherently distributed, with
highly fluctuating connectivity among the modules. It is critical
for mission success to support autonomous fault management
and to satisfy real-time performance requirements. It is also
both critical and challenging to support multiple organizations
and users whose diverse software applications have changing demands
for computational and communication resources, while
operating on different levels and in separate domains of security.

The solution proposed in this paper is based on a layered architecture
consisting of a novel operating system, a middleware
layer, and component-structured applications. The operating
system provides primitives for concurrency, synchronization,
and secure information flows; it also enforces application separation
and resource management policies. The middleware
provides higher-level services supporting request/response and
publish/subscribe interactions for distributed software. The
component model facilitates the creation of software applications
from modular and reusable components that are deployed
in the distributed system and interact only through well-defined
mechanisms.

Two cross-cutting aspects - multi-level security and multilayered
fault management - are addressed at all levels of the
architecture. The complexity of creating applications and performing
system integration is mitigated through the use of a
domain-specific model-driven development process that relies
on a dedicated modeling language and its accompanying graphical
modeling tools, software generators for synthesizing infrastructure
code, and the extensive use of model-based analysis for
verification and validation.},
	keywords = {f6mdk},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/aerospace12-1473.pdf},
	author = {Dubey, Abhishek and Emfinger, William and Aniruddha Gokhale and Karsai, Gabor and Otte, William R and Parsons, Jeffrey and Szabo, Csanad and Coglio, Alessandro and Smith, Eric and Bose, Prasanta}
}
