Formal Modeling: Actors, Open Systems, Biological Systems.
LNCS Vol. 7000, Springer. pp.110-143.
Menlo Park, California.
November 3-4, 2011.

An emerging generation of mission-critical systems employs distributed, dynamically reconfigurable open architectures. These systems may include a variety of devices that sense and affect their environment and the configuration of the system itself. We call such systems Networked Cyber-Physical Systems (NCPS). NCPS can provide complex, situation-aware, and often critical services in applications such as distributed sensing and surveillance, crisis response, self-assembling structures or systems, networked satellite and unmanned vehicle missions, or distributed critical infrastructure monitoring and control.

In this paper we lay out research directions centered around a new paradigm for the design of NCPS based on a notion of software fractionation that we are currently exploring at SRI International which can serve as the basis for a new generation of runtime assurance techniques. The idea of software fractionation is inspired by and complementary to hardware fractionation --- the basis for the fractionated satellites of DARPA's F6 program. Fractionated software has the potential of leading to software that is more robust, leveraging both diversity and redundancy. It raises the level of abstraction at which assurance techniques are applied. We specifically propose research in just-in-time verification and validation, which are agile --- adapting to changing situations and requirements, and efficient --- focusing on properties of immediate concern in the context of locally reachable states, thus largely avoiding the state space explosion problem. We propose an underlying reflective architecture that maintains models of itself, the environment, and the mission that is key for adaptation, verification, and validation.

@inproceedings{StehrTRLKCP:2011,
  author    = {Mark-Oliver Stehr and
               Carolyn Talcott and
               John Rushby and
               Pat Lincoln and
               Minyoung Kim and
               Steven Cheung and
               Andy Poggio},
  title     = {Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision},
  booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems},
  editor    = {Gul Agha and Olivier Danvy and Jose Meseguer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7000},
  publisher = {Springer},
  month     = nov,
  year      = {2011},
  pages     = {110-143}
}