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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automating System Assembly of Aerospace Systems


    Contributors:


    Publication date :

    2008-04-30


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Automating aerospace assembly

    Emerald Group Publishing | 2009




    Automating Component-Based System Assembly

    Manolios, Panagiotis | AIAA | 2008


    Automating wing assembly

    Emerald Group Publishing | 2001