National HCSS Conference 2012

file

Visible to the public Compositional Verification of Architectural Models

Submitted by TimTh on Tue, 05/01/2012 - 9:44pm. Contributor:

Abstract:

This talk presents a design flow and supporting tools to significantly improve the design and verification of complex cyber-physical systems. We focus on system architecture models composed from libraries of components and complexity-reducing design patterns having formally verified properties. This allows new system designs to be developed rapidly using patterns that have been shown to reduce unnecessary complexity and coupling between components.

file

Visible to the public Tech Transfer of Software Tools

Submitted by TimTh on Tue, 05/01/2012 - 5:34pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

"Invent a better mousetrap and the world will beat a path to your door? Not!"

file

Visible to the public Technology Transfer Challenges with the S&T Community

Submitted by TimTh on Tue, 05/01/2012 - 5:32pm. Contributor:

Presented as part of the 2012 HCSS conference.

Biography:

Ms. Dawn C. Meyerriecks currently serves as the Assistant Director of National Intelligence for Acquisition, Technology & Facilities. In this role, she explores and delivers complex technologies underpinning national missions.