Contributor(s)
John C. Gallagher
Eric T. Matson
Garrison W. Greenwood
Remote Video
Submitted by John Gallagher on December 3rd, 2014
Abstract:
CyberPhysical Systems (CPS) that self-modify to improve performance or repair damage often rewrite the modular relationships that make system modeling or Verification and Validation (V&V) possible. In this project, we are exploring methods to create self- modifying CPS systems that, in addition to self-improving or self-repairing, are also capable of maintaining system models that support the use of V&V techniques.
Submitted by John Gallagher on November 10th, 2014