• Video
  • 06-Oct-2017 09:37 EDT

Boeing's GoFly Challenge announcement

ICYMI: View the entire announcement from Boeing on the new GoFly Challenge

Share
HTML for Linking to Page
Page URL
Grade
Rate It
No ratings yet

View More Video

Video
2011-11-17
Given the fast changing market demands, the growing complexity of features, the shorter time to market, and the design/development constraints, the need for efficient and effective verification and validation methods are becoming critical for vehicle manufacturers and suppliers. One such example is fault-tree analysis. While fault-tree analysis is an important hazard analysis/verification activity, the current process of translating design details (e.g., system level and software level) is manual. Current experience indicates that fault tree analysis involves both creative deductive thinking and more mechanical steps, which typically involve instantiating gates and events in fault trees following fixed patterns. Specifically for software fault tree analysis, a number of the development steps typically involve instantiating fixed patterns of gates and events based upon the structure of the code. In this work, we investigate a methodology to translate software programs to fault trees.

Related Items

Training / Education
2018-05-01
Training / Education
2018-07-16
Standard
2016-06-16
Training / Education
2018-06-27
Technical Paper / Journal Article
2011-04-12
Training / Education
1997-05-29