One of the major challenges in modern aerospace designs is the integration and assembly of independently developed components. We have formalized this as the system assembly problem: from a sea of available components, which should be selected and how should they be connected, integrated, and assembled so that the overall system requirements are satisfied in a certifiable way? We present a powerful framework for automatically solving the system assembly problem directly from system requirements by using formal verification technology. We also present a case study where we applied our work to large-scale industrial examples from the Boeing Dreamliner.
Automating System Assembly of Aerospace Systems
2008-04-30
Conference paper
No indication
English
Emerald Group Publishing | 2009
DEPARTMENTS - SYSTEMS & SOFTWARE - Automating aerospace system behavior design
Online Contents | 1999
Automating lay-up of composite aerospace components
Emerald Group Publishing | 1999
Automating Component-Based System Assembly
AIAA | 2008
|Emerald Group Publishing | 2001