Principles and Foundations for Fractionated Networked Cyber-Physical Systems.

摘要

We are exploring a new paradigm for design of high-assurance Networked Cyber-Physical Systems based on the notion of software fractionation with distributed control and optimization aiming at the effective use of resources. The idea of software fractionation is inspired by and complementary to hardware fractionation, which has been proposed for mission-critical space systems. In our approach, software is fractionated by design even beyond the distributed nature of underlying system, with distributed knowledge sharing as the underlying model. In this report we summarize our research on a Stochastic Task Execution Model (STEM) designed to gain insight into design parameters of local decision processes to robustly meet system goals. We also report on our ongoing work on building an NCPS test bed at SRI based on quadricopter hardware.