Rockwell Collins

file

Visible to the public Lessons from Twenty Years of Industrial Formal Methods

Submitted by TimTh on Thu, 05/10/2012 - 4:27pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

Over the last two decades formal methods have achieved widespread use by industry in the development of safety and security critical systems. However, these successes often go unacknowledged as evidence of the successful transition of formal methods simply because

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 Formal Methods and DO-178C

Submitted by dcofer on Tue, 05/01/2012 - 5:09pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract: