Portland State University

file

Visible to the public Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers

Submitted by John Gallagher on Mon, 02/01/2016 - 4:36am. Contributors:

Abstract:

Cyber-Physical Systems (CPS) that modify themselves to improve performance or repair damage often recast the modular relationships among system components that enable Verification and Validation (V&V). We focus on in-flight control adaptation of damaged Flapping-Wing Micro Air Vehicles (FW-MAV).

file

Visible to the public Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers

Submitted by John Gallagher on Mon, 11/10/2014 - 12:43pm. Contributors:

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.

file

Visible to the public Computers Yet to Come

Submitted by Katie Dey on Mon, 03/17/2014 - 11:41am. Contributor:
file

Visible to the public Programatic Development Environment

Submitted by TimTh on Wed, 08/24/2011 - 8:25am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Run-time Systems for High-Assurance Systems

Submitted by TimTh on Tue, 08/16/2011 - 8:18pm. Contributor:

Presented as part of the 2008 HCSS conference.