Rockwell Collins

Presented as part of the 2014 HCSS conference.

Abstract:

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

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.

Presented as part of the 2012 HCSS conference.

Abstract: